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 6 months ago
- ot-coq☆17Sep 5, 2023Updated 2 years ago
- Coq plugin for extracting Rust code☆20Apr 20, 2026Updated last month
- A curated list of Uiua modules you can use in your projects☆15Aug 14, 2025Updated 10 months ago
- Coq library for tactics, basic definitions, sets, maps☆52May 26, 2026Updated 2 weeks 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.
- Bioinformatics in Rust monthly☆22May 5, 2026Updated last month
- ☆19Dec 2, 2025Updated 6 months ago
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆38Apr 27, 2023Updated 3 years ago
- IO for Gallina☆35Jun 3, 2026Updated last week
- This repository contains my new OS implementation written in zig language☆41Updated this week
- 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
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated 2 years ago
- MeghaOS is a 32 bit, protected mode Operating System for the Intel x86 architecture.☆26Mar 14, 2026Updated 3 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 64 bit fasm tutorials.☆13Oct 13, 2015Updated 10 years ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆87Jun 1, 2026Updated last week
- Various and sundry shell scripts used on my system☆21Updated this week
- Modular Inventory Storage and Crafting☆26Feb 8, 2026Updated 4 months ago
- Modern low level programming language designed for kernel development☆144Apr 4, 2026Updated 2 months ago
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- Library containing safer alternatives/wrappers for insecure C APIs.☆24Apr 28, 2026Updated last month
- Generic modeling of object relations in OOP☆14Jan 20, 2024Updated 2 years ago
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 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.
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated 2 years ago
- 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
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆36Jan 23, 2024Updated 2 years ago
- A formalisation of the Calculus of Constructions☆71Jul 24, 2024Updated last year
- 🌳 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 easy-to-use, simple command-line tool for calculating the Finite Fourier Transform☆27Feb 25, 2018Updated 8 years ago
- A game of life🔬 simulator on an infinite♾️ plane☆16Oct 15, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Create sound waves using c++ and sfml☆15Sep 8, 2016Updated 9 years ago
- HoTT Book formalisations in Rzk.☆22Dec 15, 2023Updated 2 years ago
- An implementation of libc, attempting to be compliant with C89, C99 and C11 standards☆14May 11, 2026Updated last month
- Used with https://archive.org/details/TempleOS_ISO_Archive☆18Feb 24, 2020Updated 6 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
- The idea hub for the Ledger-cli Rust port☆12Dec 22, 2022Updated 3 years ago
- CBukkit & Spigot bindings for WE☆15Mar 20, 2022Updated 4 years ago