☆12Nov 16, 2021Updated 4 years ago
Alternatives and similar repositories for exhaustigen
Users that are interested in exhaustigen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Algorithm for locating anagrams and evaluating their quality☆13May 11, 2017Updated 9 years ago
- wrap errors with automatic backtrace capture and print-on-result-unwrap☆32Apr 29, 2024Updated 2 years ago
- Hassle-free asynchronous programming for Rust☆34Apr 20, 2025Updated last year
- Zig bindings for Lean4☆13Jan 18, 2024Updated 2 years ago
- Halite provides a LISP-like constraint expression language built on top of open source formal modelling tools such as the Choco constrain…☆11Sep 27, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- `boxy` - declarative box-drawing characters☆13May 15, 2023Updated 3 years ago
- a fucking reasonable chat system at last☆14Apr 29, 2017Updated 9 years ago
- Maybe the open-source community can write Donald Knuth's O Calculus book?☆11Aug 24, 2018Updated 8 years ago
- A CPS transforming scheme compiler, Cheney on the MTA, etc☆14Dec 18, 2020Updated 5 years ago
- Metamath in C++☆15Jun 4, 2019Updated 7 years ago
- Experiments with META II☆14Jan 9, 2018Updated 8 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆23Feb 4, 2022Updated 4 years ago
- code for redblue consistency☆10Mar 14, 2016Updated 10 years ago
- Shiro - a declarative, dataflow programming language for exploring alternatives☆16Oct 14, 2016Updated 10 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 TODO list feature for DrRacket, like to Agda's goal list but for any language.☆33Jul 1, 2023Updated 3 years ago
- A Binary File Markup Language☆24Dec 2, 2022Updated 3 years ago
- ☆28Dec 29, 2020Updated 5 years ago
- A simple S-expression parser (and evaluator) in Rust☆14Jan 16, 2014Updated 12 years ago
- batch eval tool for machine code. eval() but for asm.☆12Dec 31, 2022Updated 3 years ago
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 3 years ago
- Ensō - an alternative python compiler written in Zig☆11Aug 27, 2026Updated 2 months ago
- exhaustive testing library☆66Jul 29, 2024Updated 2 years ago
- Tools to manage a Nix-based project☆14Oct 24, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆22Apr 1, 2013Updated 13 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Forward build system with speculation and caching☆116Oct 15, 2023Updated 3 years ago
- Barry Jay's (bond-eye) pattern language☆12Mar 16, 2011Updated 15 years ago
- A Squeak Smalltalk RISC-V ISA implementation, with basic simulation☆26Feb 10, 2021Updated 5 years ago
- Do you ever get tired of all the noise on HN?☆13Aug 4, 2016Updated 10 years ago
- Library for writing tests for utilities that read text files and produce text output☆23Jun 26, 2020Updated 6 years ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.☆61Oct 7, 2020Updated 6 years ago
- SFI verifier of Wasm binaries☆86Mar 22, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- rf is a command-line tool capable of refactoring C and C++ source code.☆26Apr 6, 2023Updated 3 years ago
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 15 years ago
- Convert System View Description (svd) files to Zig headers for baremetal development☆21Feb 6, 2024Updated 2 years ago
- You Need A Transaction Manager (for Ethereum)☆22Jan 24, 2023Updated 3 years ago
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆11Jul 12, 2022Updated 4 years ago
- Elliptic Curve Multiset Hash☆22Oct 27, 2018Updated 8 years ago
- Code and book for the RustConf 2023 workshop☆11Oct 18, 2023Updated 3 years ago