Simple Math Proof Tool for Simple Math Expressions
☆38Jul 10, 2025Updated 9 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.☆15Nov 24, 2025Updated 4 months ago
- ot-coq☆17Sep 5, 2023Updated 2 years ago
- Coq library for tactics, basic definitions, sets, maps☆51Mar 20, 2026Updated 3 weeks ago
- ☆18Dec 2, 2025Updated 4 months ago
- Parallel Build Strategy Experiments☆17Aug 21, 2025Updated 7 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- This repository contains my new OS implementation written in zig language☆39Apr 2, 2026Updated last week
- ☆31Aug 8, 2025Updated 8 months ago
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 8 years ago
- Interactive installation script for CRUX☆11Aug 17, 2019Updated 6 years ago
- A simple not so accurate simulation of a water surface but looks convincing nontheless in mygame☆13Apr 27, 2025Updated 11 months ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year
- Makes any ReactPHP based library run on top of the Revolt event loop.☆17Oct 15, 2023Updated 2 years ago
- MeghaOS is a 32 bit, protected mode Operating System for the Intel x86 architecture.☆26Mar 14, 2026Updated last month
- Modular Inventory Storage and Crafting☆27Feb 8, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Seamless, Interactive Tactic Learner and Prover for Coq☆84Apr 3, 2026Updated last week
- Various and sundry shell scripts used on my system☆21Apr 3, 2026Updated last week
- A minimal language for Isabelle/HOL, designed for easing machine learning.☆25Jan 13, 2026Updated 3 months ago
- ☆12Sep 25, 2016Updated 9 years ago
- Modern low level programming language designed for kernel development☆138Apr 4, 2026Updated last week
- Library containing safer alternatives/wrappers for insecure C APIs.☆24Apr 6, 2026Updated last week
- Syntax extensions to LuaJIT for scientific computing☆17Apr 28, 2020Updated 5 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
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A formalisation of the Calculus of Constructions☆70Jul 24, 2024Updated last year
- A collection of algorithms to reverse using partial information various hashes used by Minecraft to seed its ChunkRandom PRNG.☆10Mar 7, 2024Updated 2 years ago
- htmxjs is the server-side js framework for HTMX☆20Oct 22, 2023Updated 2 years ago
- 🌳 Generate a fresh bonsai in your terminal☆32Oct 4, 2021Updated 4 years ago
- A general purpose gpu computation library in odin☆12May 9, 2025Updated 11 months ago
- A game of life🔬 simulator on an infinite♾️ plane☆16Oct 15, 2021Updated 4 years ago
- Create sound waves using c++ and sfml☆15Sep 8, 2016Updated 9 years ago
- HoTT Book formalisations in Rzk.☆20Dec 15, 2023Updated 2 years ago
- A simple spell checker written in rust. Includes CLI and lib.☆23Mar 16, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆75Sep 4, 2025Updated 7 months ago
- fixes hyperthreading for windows 2003 when running on newer cpus☆12Jun 19, 2019Updated 6 years ago
- Used with https://archive.org/details/TempleOS_ISO_Archive☆16Feb 24, 2020Updated 6 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆15Mar 23, 2026Updated 3 weeks ago
- CLI utilty to work out proper constants for vpternlogic instruction☆13Jan 22, 2023Updated 3 years ago
- Boost.org logic module☆12Mar 11, 2026Updated last month
- Tree-sitter grammar for the Fennel programming language☆19Jan 21, 2026Updated 2 months ago