Turso is an in-process SQL database, compatible with SQLite.

A modern static site generator by the Material for MkDocs team

Simple Raycasting Example in Lean4 using SDL3

コード例で学ぶ Lean 言語

WebAssembly System Interface

Collection of legal threats against good faith Security Researchers; vulnerability disclosure gone wrong. A continuation of work started by @attritionorg

Rust library for OpenAI

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

Python client to interact with the lean4 language server.

Lean Theorem Prover MCP

A "code intepreter" for Lean

aider is AI pair programming in your terminal

MCP Server implementation for Ableton Live OSC control

MCP-NixOS - Model Context Protocol Server for NixOS resources

A dependently-typed tables library, written in Lean 4, based on the Brown Benchmark for Table Types (B2T2).

The WebAssembly Binary Toolkit

Your ultimate guide to setting up Zed with Vim mode, tailored settings, and key bindings for a seamless coding experience

A Lean (4) type checker written in RPython

An unnecessarily tiny implementation of GPT-2 in NumPy.

Code for BLT research paper

Generic command-line automation tool

Lean library for working with config files. Similar to the Python configparser library

Framework and Language for Neurosymbolic Programming.

Course materials for Chalmers TPIL25 class