☆12Feb 15, 2024Updated 2 years ago
Alternatives and similar repositories for proof-generation
Users that are interested in proof-generation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Feb 27, 2026Updated 7 months ago
- ☆19Oct 7, 2026Updated last week
- A statically and flexibly type-inferred scripting language with just-in-time compilation☆57Oct 12, 2026Updated last week
- uf — the unified toolchain for flow & react. the most easy way to build your app with flow type.☆70Updated this week
- ☆22Dec 3, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A compiler for Coq☆26Feb 22, 2013Updated 13 years ago
- ☆14Dec 12, 2023Updated 2 years ago
- ☆18Mar 1, 2025Updated last year
- clone from myJIT(a fork of GNU lightning)☆11Mar 17, 2015Updated 11 years ago
- ☆41Updated this week
- Compose provider plugin: docker compose up pulls secrets from AWS, Vault, 1Password and 30+ backends via helmfile/vals. No .env files.☆38Jul 20, 2026Updated 2 months ago
- guarded interaction trees☆14Jul 6, 2026Updated 3 months ago
- Template for Lean<->Rust FFI☆17Feb 11, 2024Updated 2 years ago
- The Ynot Project source code.☆25May 5, 2014Updated 12 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A c-style toy language, Implemented with llvm.☆10Apr 2, 2015Updated 11 years ago
- ☆13Jul 8, 2024Updated 2 years ago
- Formally Verified X.509 Certificate Validation☆18Nov 19, 2025Updated 10 months ago
- Repo collects Homework code for DSCI552/INF552 @USC 20Fall Semester.☆14Nov 27, 2020Updated 5 years ago
- Partial Commutative Monoids☆35Aug 6, 2026Updated 2 months ago
- Typed task runner with Bazel-style incremental caching, configured in Pkl.☆53Oct 3, 2026Updated 2 weeks ago
- `async-ctrlc` is an async wrapper of the `ctrlc` crate in Rust☆16May 30, 2020Updated 6 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- A toy linker written in Rust☆13Jul 19, 2026Updated 2 months 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.
- Odinson development webapp☆11Sep 14, 2021Updated 5 years ago
- A Ehuoyan's YHY523U RFID module python driver for Linux☆15May 16, 2025Updated last year
- the cardboard keyboard☆35Sep 7, 2026Updated last month
- Formalisation of the theory of real closed fields in Lean 4.☆15Updated this week
- An implementation of the ASPIC+ framework for structured argumentation.☆14Updated this week
- The (very) small kernel of the LaTTe proof assistant☆12May 29, 2026Updated 4 months ago
- All you need to build and run SystemC and AccessNoxim on your system; SystemC and AccessNoxim are tools to emulate and test network-on-ch…☆14Dec 17, 2017Updated 8 years ago
- Symbolic and Automatic Differentiation of Languages in Lean☆10May 9, 2025Updated last year
- A python wrapper for Stanford CoreNLP, simple and customizable.☆13Oct 26, 2021Updated 4 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.
- Verifying the ZX Calculus☆21Jan 16, 2026Updated 9 months ago
- Bash on Balls☆13Dec 19, 2025Updated 9 months ago
- ☆14Jun 25, 2026Updated 3 months ago
- Computational Public Opinion Research☆13Jan 25, 2024Updated 2 years ago
- ush is modern sh☆17Sep 5, 2026Updated last month
- gh extension to review pull request☆47Apr 7, 2026Updated 6 months ago
- can you clone this? (It's better not to do it, probably...)☆11Sep 4, 2025Updated last year