☆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
- 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 3 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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 7 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☆24May 31, 2023Updated 3 years ago
- Small powerful micro scripting language <1K SLOC☆65Oct 5, 2025Updated 8 months ago
- ☆22Apr 1, 2013Updated 13 years ago
- (Hopefully) a compiler for my first language named "Pie"☆29Jun 19, 2026Updated 2 weeks ago
- ☆28Dec 29, 2020Updated 5 years ago
- exhaustive testing library☆66Jul 29, 2024Updated last year
- 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.
- Interpreter for a small subset of the Haskell programming language☆17May 9, 2026Updated last month
- Forward build system with speculation and caching☆113Oct 15, 2023Updated 2 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- SFI verifier of Wasm binaries☆87Mar 22, 2023Updated 3 years ago
- Library for writing tests for utilities that read text files and produce text output☆23Jun 26, 2020Updated 6 years ago
- A Squeak Smalltalk RISC-V ISA implementation, with basic simulation☆26Feb 10, 2021Updated 5 years ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.☆61Oct 7, 2020Updated 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
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Elliptic Curve Multiset Hash☆22Oct 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 4 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆15Jun 21, 2021Updated 5 years ago
- A blazingly-fast, hackable linter☆10Apr 15, 2025Updated last year
- Experimental modular probabilistic programming language in Rust, with modeling and inference separated by a generative function trait int…☆13Apr 26, 2026Updated 2 months ago
- lazy generators with observation☆14Nov 2, 2023Updated 2 years ago
- Browse Links in HackerNews Threads, Fast!☆17Oct 25, 2021Updated 4 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.
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆98May 1, 2015Updated 11 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
- Guess sentences from initial letters of each word☆24Aug 22, 2022Updated 3 years ago
- A variable length record, checksumming, append only rotating log implementation with graceful recovery☆57Jun 5, 2020Updated 6 years ago
- Hacks related to dissertation☆13Dec 24, 2019Updated 6 years ago