Lists (16)
Computer Algebra
Computer algebra tools12 repositories
Dependent Types
Dependent type checking2 repositories
E-Graphs
Equality saturation is a technique for building optimizing compilers using e-graphs16 repositories
Geometric Algebra
Geometric algebra is a mathematical framework that unifies and extends vector algebra5 repositories
HEP
High energy particle physics3 repositories
JIT Compilers
JIT compilers are a type of compiler that translates code into machine code at runtime, improving performance by optimizing code15 repositories
Lean
Lean theorem prover29 repositories
MCP
Model Context Protocol11 repositories
MLIR
MLIR (Multi-Level Intermediate Representation) is a unifying software framework for compiler development.15 repositories
Physics
Uncategorized physics projects7 repositories
Quantitative Finance
Study of market structure using quantitative models3 repositories
Reasoning Models
Language models that enumerate stepwise before answering.11 repositories
SMT Solvers
Satisfiability modulo theories19 repositories
Tensor Calculus
Symbolic tensor calculus manipulation tools10 repositories
Term Rewriting
5 repositories
Zero Knowledge Proofs
1 repository
Starred repositories
Financial Information eXchange protocol implemented in Rust
Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards
Safe high-level bindings for the Boolector SMT solver
Symbolic execution of LLVM IR with an engine written in Rust
High-performance Model Context Protocol (MCP) server for Obsidian that provides AI tools with direct vault access through semantic operations and HTTP transport.
A minimal, secure Python interpreter written in Rust for use by AI
Save 30-50%+ of CI time without any effort or cost. Use Magic Nix Cache, a totally free and zero-configuration binary cache for Nix on GitHub Actions.
A certified RISC-V Interpreter with Hoare-logic in Lean
Rust implementation of a codebase context engine that enables AI assistants to search and understand codebases using natural language queries.
Blueprint for the PNT+ Project
Common Expression Language interpreter written in Rust
Tiny, no-nonsense, self-contained, Tensorflow and ONNX inference
Turso is an in-process SQL database, compatible with SQLite.
Glossarium is a simple typst glossary.
A 5-20x faster experimental Homebrew alternative
LaTeX code for a paper on lean's type theory