An updated version of the classic "Basic Computer Games" book
A collection of learning resources for curious software engineers
ADP is a script language designed for Web database prgramming.
Lean 4 programming language and theorem prover
Programming Language Theory
The Python programming language
A general-purpose, mutliparadigm language.
Expert System Tool
A TypeScript-like language for WebAssembly
Starlark in Go: the Starlark configuration language, implemented in Go
Library for the numerical simulation of closed as well as open quantum
(Alpha stage software) fastn - Full-stack Web Development Made Easy
A framework for applied category theory in the Julia language
A data interchange format
Lightweight alternative to Discourse written in Nim
Dynamic, functional language designed for building scalable apps
Object-functional library that runs with Java 8+
Lightweight Ruby
A Julia framework for invertible neural networks
Grails - the Web Application Framework
An open source Valkey client library that supports Valkey and Redis
Go library for Datalog-style logical reasoning and domain modeling
A blazing fast multi-language serialization framework
Symbolic expressions, rewriting and simplification