The Lean Computer Science Library (CSLib)

LiteRT-LM is Google's production-ready, high-performance, open-source inference framework for deploying Large Language Models on edge devices.

A port of GNU Backgammon to the web. Currently hosted at http://xenon.stanford.edu/~hwatheod/gnubg_web/gnubg_web.html

Riichi Score Calculator

Backgammon engine based on neural networks

A little language inspired by Rust that compiles to Go

linear concat language

Property-based testing for Go

🧀 Package Gleam apps into single native executables

AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

An embedded key/value database for Go.

NeoVim dark colorscheme inspired by the colors of the famous painting by Katsushika Hokusai.

Cryptography library for Gleam targeting Erlang and JavaScript

Gleam test runner with random ordering, tagging, and CLI filtering

A Gleam TUI framework. TEA+Erlang

Specification and documentation for the Universal Commerce Protocol (UCP)

A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.

A meta-language for Go that adds Result types, error propagation (?), and pattern matching while maintaining 100% Go ecosystem compatibility

GNU Backgammon 1.08.003 fork with macOS build system improvements

A type-safe 3D game engine for Gleam

A Gleam implementation of the Lox language

Make drawings, animations, and games with Gleam! ⭐🖌️

An open-source AI agent that brings the power of Gemini directly into your terminal.

Generate plain text bridge diagrams

OCaml - Oxidized!

An extremely fast Python package and project manager, written in Rust.

Lua in Erlang