A purely functional programming language with first class types

The list of awesome programming languages that you might be interested in.

Hand-written bindings to Raylib for Common Lisp.

Simple DirectMedia Layer

Slides on Binary Decision Diagrams (BDDs) covering their basics, advanced techniques, and applications in digital system design and beyond.

A symbolic model checker for Dynamic Epistemic Logic.

Reinforcement Learning / AI Bots in Card (Poker) Games - Blackjack, Leduc, Texas, DouDizhu, Mahjong, UNO.

Accelerated computing with HIP

OpenCL is the most powerful programming language ever created. Yet the OpenCL C++ bindings are cumbersome and the code overhead prevents many people from getting started. I created this lightweight…

A post-apocalyptic actionRPG. Now on Steam!

Thread-agnostic Actors in Common Lisp

A course on aligning smol models.

Fine-tuning & Reinforcement Learning for LLMs. 🦥 Train OpenAI gpt-oss, DeepSeek-R1, Qwen3, Gemma 3, TTS 2x faster with 70% less VRAM.

cl-opengl is a set of CFFI bindings to the OpenGL, GLU and GLUT APIs.

The fastest and most memory efficient lattice Boltzmann CFD software, running on all GPUs and CPUs via OpenCL. Free for non-commercial use.

Dactyl-ManuForm, a parameterized ergonomic keyboard

C++ bindings for the Godot script API

Infrastructure for scripting in Common Lisp

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

Common Lisp and CXX interoperation with JIT

Test the performance of some array mapping methods, in comparison with the slow displaced array

It is a simple app that launches Simple REPL (common lisp).

SDL2 Example for Android, C/C++ template build tree

Fork of git://git.0pointer.net/mutrace.git

🦀 Small exercises to get you used to reading and writing Rust code!

An easy-to-use but flexible game framework based on Raylib for Common Lisp.

A model-checker for Inquisitive Logic written in Haskell for the course 'Functional Programming for Logicians' at the UvA.

Awesome Frida - A curated list of Frida resources http://www.frida.re/ (https://github.com/frida/frida)

Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.

C to Common Lisp compiler