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.
Bootstrapping LISP in a Boot Sector
Expert System Tool
Starlark in Go: the Starlark configuration language, implemented in Go
A TypeScript-like language for WebAssembly
Library for the numerical simulation of closed as well as open quantum
A data interchange format
(Alpha stage software) fastn - Full-stack Web Development Made Easy
A framework for applied category theory in the Julia language
Lightweight Ruby
Dynamic, functional language designed for building scalable apps
Object-functional library that runs with Java 8+
Lightweight alternative to Discourse written in Nim
Grails - the Web Application Framework
A Julia framework for invertible neural networks
Go library for Datalog-style logical reasoning and domain modeling
A Python library for quantum programming using Quil
An open source Valkey client library that supports Valkey and Redis