Simple Math Proof Tool for Simple Math Expressions
☆38Jul 10, 2025Updated 11 months ago
Alternatives and similar repositories for croof
Users that are interested in croof are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Contains code from Youtube Tutorials or Videos.☆14Nov 24, 2025Updated 7 months ago
- ot-coq☆17Sep 5, 2023Updated 2 years ago
- Easy Polynomial Fitting for Rust☆57Apr 10, 2026Updated 2 months ago
- A simple induction and BMC engine.☆25May 16, 2022Updated 4 years ago
- 🏃 Go SDK for making Firefly Zero games☆18Jun 28, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Coq library for tactics, basic definitions, sets, maps☆52Jun 19, 2026Updated 2 weeks ago
- Parallel Build Strategy Experiments☆17Aug 21, 2025Updated 10 months ago
- ☆19Dec 2, 2025Updated 7 months ago
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 9 years ago
- Interactive installation script for CRUX☆11Aug 17, 2019Updated 6 years ago
- Haskell bindings for libNVVM☆20Apr 1, 2014Updated 12 years ago
- First-order automated theorem prover based on the tableau method☆19Jun 26, 2026Updated last week
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated 2 years ago
- Makes any ReactPHP based library run on top of the Revolt event loop.☆18Oct 15, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- MeghaOS is a 32 bit, protected mode Operating System for the Intel x86 architecture.☆26Mar 14, 2026Updated 3 months ago
- 64 bit fasm tutorials.☆13Oct 13, 2015Updated 10 years ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆86Jun 15, 2026Updated 2 weeks ago
- Modular Inventory Storage and Crafting☆26Feb 8, 2026Updated 4 months ago
- Sapphire is a hybrid programming language developed with a focus on high performance, simplicity, and a complete "out-of-the-box" experie…☆32Jun 22, 2026Updated last week
- Modern low level programming language designed for kernel development☆144Apr 4, 2026Updated 3 months ago
- Syntax extensions to LuaJIT for scientific computing☆17Apr 28, 2020Updated 6 years ago
- A REPL for SolidJS☆16Jul 20, 2021Updated 4 years ago
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- htmxjs is the server-side js framework for HTMX☆20Oct 22, 2023Updated 2 years ago
- 🌳 Generate a fresh bonsai in your terminal☆33Oct 4, 2021Updated 4 years ago
- A general purpose gpu computation library in odin☆12May 9, 2025Updated last year
- An implementation of libc, attempting to be compliant with C89, C99 and C11 standards☆15May 11, 2026Updated last month
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆16Jun 13, 2026Updated 3 weeks ago
- Minecraft Redstone Compiler☆16Jun 19, 2026Updated 2 weeks ago
- fixes hyperthreading for windows 2003 when running on newer cpus☆12Jun 19, 2019Updated 7 years ago
- fork of esprima, with full ES2022 support☆21Mar 13, 2024Updated 2 years ago
- The Resurgence VM, a register virtual machine designed for simplicity and ease of use, based on the old Rendor VM☆16Jun 5, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Boost.org logic module☆12Apr 22, 2026Updated 2 months ago
- CLI utilty to work out proper constants for vpternlogic instruction☆13Jan 22, 2023Updated 3 years ago
- ☆85Sep 4, 2025Updated 10 months ago
- An attempt to decompile the Bedrock edition redstone system☆12Oct 6, 2022Updated 3 years ago
- A systems programming language with no hidden behavior.☆120Updated this week
- A MQTT Client for ComputerCraft☆11Jan 27, 2024Updated 2 years ago
- Test application exposing bad application behavior☆12Oct 27, 2023Updated 2 years ago