Lists (13)
Starred repositories
Restate is the platform for building resilient applications that tolerate all infrastructure faults w/o the need for a PhD.
🤖 Autonomous agent framework for Elixir. Built for distributed, autonomous behavior and dynamic workflows.
SHErrLoc constraint solver and error localizer
📚 A collection of resources about normalization-by-evaluation
29
Updated Jul 29, 2025
Tactics for discharging Lean goals into SMT solvers.
AI-powered reverse engineering assistant that bridges IDA Pro with language models through MCP.
Lean 4 formalization of arXiv:2603.21852 — All elementary functions from a single binary operator eml(x,y) = exp(x) - ln(y)
Lean4 library for substitution inspired by autosubst
A Lean4 Formalization of Principles of Mathematical Analysis.
Terminal based IDE & text editor: easy, powerful and fast
Lean 4 formalization of De Giorgi-Nash-Moser theory
Transforms complex documents like PDFs and Office docs into LLM-ready markdown/JSON for your Agentic workflows.
Lean theorem proving interface which feels like pen-and-paper proofs.
MathCode: A Frontier Mathematical Coding Agent
A Textual widget for beautiful diffs in the terminal
Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.
The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential types, higher kinded types (no partial a…
Typed CSS AST, parser, pretty-printer, and optimiser for OCaml