64bits / tabletop-ambulatorLinks
☆14Updated 3 years ago
Alternatives and similar repositories for tabletop-ambulator
Users that are interested in tabletop-ambulator are comparing it to the libraries listed below
Sorting:
- Jimbo's Big Naturals (Balatro mod)☆48Updated last year
- Programming Language Foundations in Lean☆48Updated 6 months ago
- Lean 4 port of Megaparsec☆34Updated 2 years ago
- The mighty meowing synthesizer!☆34Updated 7 years ago
- A formal consistency proof of Quine's set theory New Foundations☆79Updated 7 months ago
- An online Pictochat spiritual successor - Draw and chat in real time!☆13Updated 2 weeks ago
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Updated last year
- weather prediction tool for Animal Crossing: New Horizons☆299Updated 3 years ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆38Updated this week
- Typst Package to typeset inference rule☆56Updated last month
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆153Updated 7 months ago
- The glitch-soc/Mastodon fork running on types.pl☆26Updated last week
- Proof assistant based on first-order logic and set theory☆64Updated last week
- Basic Unicode support for Lean 4☆15Updated this week
- Raylib bindings for Lean4☆27Updated 9 months ago
- Alternative launcher for single-board computers☆149Updated 4 years ago
- AST export from Lean 4☆17Updated last year
- A personal API☆18Updated 3 years ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- ☆42Updated 5 months ago
- Bot library for cohost.org☆41Updated 2 years ago
- High level commands to declare a hierarchy based on packed classes☆104Updated last week
- Document Generator for Lean 4☆122Updated this week
- Demo for dependent types + runtime code generation☆72Updated 11 months ago
- Unfinished Godot 2 port for the nintendo 3DS☆68Updated last year
- Formalising the WASM spec in Lean☆27Updated 2 months ago
- Tool for compiling Lean to WASM☆23Updated last year
- Linearizability Hoare Logic☆17Updated 10 months ago
- A Rust GDNative project to provide GGRS to the Godot Engine☆23Updated 3 years ago
- a proof-of-concept programming language based on call-by-push-value☆61Updated 2 weeks ago