☆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 8 years ago
- wrap errors with automatic backtrace capture and print-on-result-unwrap☆32Apr 29, 2024Updated last year
- 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 2 years ago
- `boxy` - declarative box-drawing characters☆13May 15, 2023Updated 2 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- Maybe the open-source community can write Donald Knuth's O Calculus book?☆11Aug 24, 2018Updated 7 years ago
- Metamath in C++☆14Jun 4, 2019Updated 6 years ago
- Shiro - a declarative, dataflow programming language for exploring alternatives☆16Oct 14, 2016Updated 9 years ago
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 2 years ago
- Small powerful micro scripting language <1K SLOC☆62Oct 5, 2025Updated 5 months ago
- ☆22Apr 1, 2013Updated 12 years ago
- (Hopefully) a compiler for my first language named "Pie"☆24Mar 13, 2026Updated last week
- ☆28Dec 29, 2020Updated 5 years ago
- exhaustive testing library☆66Jul 29, 2024Updated last year
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 3 months ago
- Forward build system with speculation and caching☆111Oct 15, 2023Updated 2 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- SFI verifier of Wasm binaries☆83Mar 22, 2023Updated 3 years ago
- Library for writing tests for utilities that read text files and produce text output☆23Jun 26, 2020Updated 5 years ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.☆59Oct 7, 2020Updated 5 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 9 years ago
- Convert System View Description (svd) files to Zig headers for baremetal development☆19Feb 6, 2024Updated 2 years ago
- Elliptic Curve Multiset Hash☆19Oct 27, 2018Updated 7 years ago
- You Need A Transaction Manager (for Ethereum)☆22Jan 24, 2023Updated 3 years ago
- The unexec hack. Hideous and useless, but fun to write.☆14Feb 25, 2017Updated 9 years ago
- exploration of reflective architectures in Scheme☆21May 20, 2022Updated 3 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆15Jun 21, 2021Updated 4 years ago
- A blazingly-fast, hackable linter☆10Apr 15, 2025Updated 11 months ago
- Experimental modular probabilistic programming language in Rust, with modeling and inference separated by a generative function trait int…☆13Mar 18, 2026Updated last week
- lazy generators with observation☆14Nov 2, 2023Updated 2 years ago
- Browse Links in HackerNews Threads, Fast!☆16Oct 25, 2021Updated 4 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆98May 1, 2015Updated 10 years ago
- ☆11Aug 6, 2015Updated 10 years ago
- ☆12Feb 12, 2018Updated 8 years ago
- An mtl-style typeclass and transformer for persistent☆11Sep 18, 2018Updated 7 years ago
- A variable length record, checksumming, append only rotating log implementation with graceful recovery☆56Jun 5, 2020Updated 5 years ago
- Guess sentences from initial letters of each word☆23Aug 22, 2022Updated 3 years ago
- Hacks related to dissertation☆13Dec 24, 2019Updated 6 years ago