Development Platform for building robust type-safe distributed systems with declarative infrastructure

A lightweight and colourful test framework

An embedded scheme interpreter in Rust

The core OCaml system: compilers, runtime system, base libraries

High performance self-hosted photo and video management solution.

A comprehensive roadmap for aspiring Embedded Systems Engineers, featuring a curated list of learning resources.

Kagi Small Web

Probabilistic language based on pattern matching and constraint propagation, 153 examples

Common Lisp editor/IDE with high expansibility

Infrastructure for scripting in Common Lisp

image manipulation library for Common Lisp

Tiny Common Lisp library to detect mime types in files.

Percent Encoding (aka URL Encoding) library

clasp Common Lisp environment

🎥 Command line video player

HTML5 parser for Common Lisp

A cooperative multitasking library for Common Lisp that provides generators and coroutines.

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, cl…

Truly independent web browser

Fine-grained parallelism with sub-nanosecond overhead in Zig

Database independent interface for Common Lisp

An SQL generator for Common Lisp.

An OCI-based ASDF system distribution and management tool for Common Lisp

Common Lisp binding for SQLite

Asynchronous IO library for Common Lisp.

Nyxt - the hacker's browser.

Portable shared-state concurrency for Common Lisp

C language syntax in Common Lisp

A portable and extensible floating point base conversion and string library

Reference implementation of the Ogg Vorbis audio format.