Simple Math Proof Tool for Simple Math Expressions
☆38Jul 10, 2025Updated 7 months ago
Alternatives and similar repositories for croof
Users that are interested in croof are comparing it to the libraries listed below
Sorting:
- Parallel Build Strategy Experiments☆17Aug 21, 2025Updated 6 months ago
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 8 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- First-order automated theorem prover based on the tableau method☆18Jan 3, 2026Updated 2 months ago
- Contains code from Youtube Tutorials or Videos.☆14Nov 24, 2025Updated 3 months ago
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated 2 years ago
- HoTT Book formalisations in Rzk.☆20Dec 15, 2023Updated 2 years ago
- ☆28Aug 8, 2025Updated 6 months ago
- Modern low level programming language designed for kernel development☆134Feb 21, 2026Updated last week
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆43Feb 25, 2026Updated last week
- Modular Inventory Storage and Crafting☆26Feb 8, 2026Updated 3 weeks ago
- Awesome Geometric Algebra☆29Jul 11, 2020Updated 5 years ago
- Interaction net resources☆45Jan 29, 2026Updated last month
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆35Updated this week
- Rhyme is an Expressive Data-Centric Query Language☆30Updated this week
- An easy-to-use, simple command-line tool for calculating the Finite Fourier Transform☆27Feb 25, 2018Updated 8 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Feb 11, 2026Updated 3 weeks ago
- 📚 A collection of resources about supercompilation☆128Updated this week
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- A blazing-fast Rust rule engine with RETE algorithm, backward chaining inference, and GRL (Grule Rule Language) syntax. Features: forward…☆36Updated this week
- ☆19Nov 23, 2025Updated 3 months ago
- IO for Gallina☆34Dec 17, 2025Updated 2 months ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆83Feb 17, 2026Updated 2 weeks ago
- R package for the United Nations World Population Prospects 2024☆18Jun 24, 2025Updated 8 months ago
- A MQTT Client for ComputerCraft☆10Jan 27, 2024Updated 2 years ago
- bayesPop R package☆11Feb 23, 2026Updated last week
- My personal site.☆10Feb 23, 2026Updated last week
- Open source game engine☆11Jan 26, 2026Updated last month
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Jun 13, 2024Updated last year
- Install AMD FSR 4.0.2 on RX 6000 and RX 7000 GPUs without RDNA 3 support. Step-by-step guide with required drivers, DLL replacement proce…☆21Oct 14, 2025Updated 4 months ago
- Boost.org conversion module☆14Feb 25, 2026Updated last week
- A general purpose gpu computation library in odin☆12May 9, 2025Updated 9 months ago
- Boost.org logic module☆12Dec 10, 2025Updated 2 months ago
- Sources of the EuroProofNet web site.☆13Updated this week
- CMake dependency tracking library☆13Feb 22, 2026Updated last week
- A Serialization and Deserialization Library☆10Dec 16, 2022Updated 3 years ago