An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

NOF0 - 开源的 AI 交易竞技场

Nix overlay for Lean 4, and lake2nix

Catalog Of Math Problems Formalized In Lean

A Machine-to-Machine Interaction System for Lean 4.

Python client to interact with the lean4 language server.

Lean Theorem Prover MCP

A Lean library for Computer Science

gpt-oss-120b and gpt-oss-20b are two open-weight language models by OpenAI

Best Claude Code framework that actually save time. Built by a dev tired of typing "please act like a senior engineer" in every conversation.

Your Command-Line Research Paper Manager

A simple interface to GPIO devices with Raspberry Pi

An interactive theorem prover for string diagrams

Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.

Collections of awesome neovim plugins.

autopairs for neovim written in lua

RustBoyAdvance-NG is a Nintendo™ Game Boy Advance emulator and debugger, written in the rust programming language.

A tool for inverting and color correcting scanned film negatives, achieved by simulating the process of analog enlargement..

Towards richer dependent types for DOT

Friendly fork of Scala.js, target stand-alone Wasm leveraging WASI and Component Model

Branch of the spec repo scoped to discussion of GC integration in WebAssembly

List of all links you can try with ULX3S

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

White-box automation for Lean 4

Development repository for the Triton language and compiler

Various Futhark benchmark programs

💥💻💥 A data-parallel functional programming language

An attempt at safe imperative GPU programming.