Stars
A small collection of formally verified junk theorems provable in Lean4 + Mathlib.
Lean Companion to the Category Theory in Context textbook by Emily Riehl
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
A Rust based utilty toolbox for developers. Inspired from https://it-tools.tech
isingLenzMC: Monte Carlo for Classical Ising Model (with core C library)
A Tour of Standard ML (in the style of A Tour of Go)
🚀 A very efficient Texas Holdem GTO solver
gaearon / analysis-solutions
Forked from teorth/analysisMy solutions to Tao's Analysis I, formalized in Lean
A native Rust library for Delta Lake, with bindings into Python
A tree-sitter based AST difftool to get meaningful semantic diffs
A GitHub action to create a pull request for changes to your repository in the actions workspace
Find, verify, and analyze leaked credentials
This is a repository on the formalization of Monsky's theorem by the UvA lean community.
Feather🪶: A Rust web framework that does not use async
Open-source graph database, tuned for dynamic analytics environments. Easy to adopt, scale and own.
kntrl is an eBPF based runtime agent that monitors and prevents anomalous behaviour defined by you on your pipeline. kntrl achieves this by monitoring kernel calls, and denying access as soon as yo…
This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."
DeepSeek-VL2: Mixture-of-Experts Vision-Language Models for Advanced Multimodal Understanding