Starred repositories
Development repo for translating Software Foundations to Lean
Leansi is a Lean Library for terminal formatting.
Lean 4 programming language and theorem prover
Reverse-engineered system prompt and skill library that turns an LLM into an opinionated, accessibility-aware, AI-slop-resistant design collaborator.
DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm
A vector search SQLite extension that runs anywhere!
The best-benchmarked open-source AI memory system. And it's free.
A framework for writing terminal user interfaces in Elixir
Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C
A Common Lisp kernel for Jupyter along with a library for building Jupyter kernels.
c-api for imgui (https://github.com/ocornut/imgui) Look at: https://github.com/cimgui for other widgets
Disable temporal dithering on your Mac with this lightweight menu bar app. Designed for Apple silicon Macs.
A Common Lisp framework for the creation of electronic art, visual design, game prototyping, game making, computer graphics, exploration of human-computer interaction, and more.
A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.
Org-babel backend for running GPTel queries
40ANTS-MCP is a framework for building Model Context Protocol servers in Common Lisp
An OCI-based ASDF system distribution and management tool for Common Lisp
Sento - Actor framework featuring actors and agents for easy access to state and asynchronous operations.
Software synthesizer based on the SoundFont 2 specifications
Oboe is a C++ library that makes it easy to build high-performance audio apps on Android.
A simple audio mixing and processing library based on libmixed.
High performance Transactional Memory for Common Lisp
jank is the native Clojure dialect with seamless C++ interop.
Ergonomic, efficient data processing for Emacs Lisp.