An agent skill for writing Hegel tests

Property-based testing for Rust, built on Hypothesis

Cure language compiling to BEAM with FSM primitives and Dependent types

Sandbox any AI agent in seconds - zero setup, zero latency.

A zero-copy binary parser combinator library for Gleam

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

Antigravity CLI brings the reasoning, execution, and orchestration capabilities of Antigravity agent harness directly into your terminal.

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! ⭐🖌️