Lists (32)
ai assisted
130 repositories
backend frameworks
3 repositories
Benchmark and profiling
2 repositories
clojure
57 repositories
concurrency
3 repositories
conventions
1 repository
domain modelling
20 repositories
dsls
22 repositories
E2E and browser automation
4 repositories
ecosystems research
2 repositories
effects
9 repositories
formal methods
33 repositories
functional
14 repositories
functional web
17 repositories
gamedev
3 repositories
games
1 repository
golang
25 repositories
iaac
5 repositories
interesting ai
7 repositories
language agnostic
4 repositories
lean
51 repositories
Linux and cli
19 repositories
logic
47 repositories
metaprogramming
5 repositories
misc consumer software
78 repositories
misc web
5 repositories
New languages
51 repositories
nlp
2 repositories
static analysis and lint
17 repositories
statistics
3 repositories
system design
2 repositories
ui libraries
2 repositories
Starred repositories
A tiny, verifiable agent library in Lean 4 that compiles to C — LLM agents with tools, provable policies, for embedded Linux, iOS and Android
A synchronous HTTP client for Lean 4 backed by libcurl
Lean 4 JSON Schema library — types, validation, correctness proofs, and deriving handlers
Local memory for Codex. Reuse work across chats without LLM calls to organize it.
All your AI providers, machines, and agent harnesses in one place. Free & native
Lean 4 language server plugin for Claude Code — diagnostics, hover, go-to-definition, and completions for .lean files
A Machine-to-Machine Interaction System for Lean 4.
A simple REPL for Lean 4, returning information about errors and sorries.
Lean 4 theorem proving skill and workflow pack for AI coding agents
LLMs as Copilots for Theorem Proving in Lean
Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.
A reactive dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification
Lisp Object Notation - an advanced data format built on JSON capable of representing arbitrary computations
assembly-level instruction-set semantics in Lean
A verification toolchain for Rust programs
See the invisible structure of your code. Multi-language code quality and architecture analyzer (Go, PHP, Python, Rust...)
Tactics for discharging Lean goals into SMT solvers.
Getting typst to render verso style lean code blocks with doc tooltips and proof state bubbles
A functional programming language with typed Japanese particle calls, checked effects, and lexical closures.
Experimental bootstrapped Scala3-inspired compiler into portable C with memory management via algebraic effects with handlers and protocols.
gwilliams-lab / lysn
Forked from alisartazkhan/annotation-toolBrowser-based speech annotation and TextGrid editing tool with automatic transcription and forced alignment.
Blazing-fast native notes app and rich-text editor for macOS, Windows, and Linux. Built with Rust + GPUI. Local-first and beautifully designed.
A Claude Code skill that turns any machine into a 3D simulator you can take apart
Model and reason on processes through (Scryer) Prolog, directly in your browser
See how your app actually fits together. An interactive, plain-English map of your codebase, drawn by Claude or Codex.