Lightweight alternative to Discourse written in Nim
Lightweight Ruby
Programming Language Theory
Lean 4 programming language and theorem prover
A general-purpose, mutliparadigm language.
The Python programming language
Bootstrapping LISP in a Boot Sector
Expert System Tool
Starlark in Go: the Starlark configuration language, implemented in Go
Literate Programming can be Quick and Dirty
A TypeScript-like language for WebAssembly
A time travelling programming language
Simple DirectMedia Layer
Lightweight, robust, elegant syntax highlighting
Library for the numerical simulation of closed as well as open quantum
Provides an extension of the Spring programming model
(Alpha stage software) fastn - Full-stack Web Development Made Easy
Free Google Translate API PHP Package
An updated version of the classic "Basic Computer Games" book
An open source Valkey client library that supports Valkey and Redis
A framework for applied category theory in the Julia language
Grails - the Web Application Framework
Object-functional library that runs with Java 8+
Codam's own fixed, functioning alternative of the miniLibX
Symbolic expressions, rewriting and simplification