☆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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Shiro - a declarative, dataflow programming language for exploring alternatives☆16Oct 14, 2016Updated 9 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 7 years ago
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 3 years ago
- batch eval tool for machine code. eval() but for asm.☆12Dec 31, 2022Updated 3 years ago
- ☆22Apr 1, 2013Updated 13 years ago
- ☆28Dec 29, 2020Updated 5 years ago
- exhaustive testing library☆66Jul 29, 2024Updated last year
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Forward build system with speculation and caching☆114Oct 15, 2023Updated 2 years ago
- 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
- 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
- A Squeak Smalltalk RISC-V ISA implementation, with basic simulation☆26Feb 10, 2021Updated 5 years ago
- 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Convert System View Description (svd) files to Zig headers for baremetal development☆19Feb 6, 2024Updated 2 years ago
- A library for garbage collection in Rust.☆14Apr 23, 2021Updated 5 years ago
- A blazingly-fast, hackable linter☆10Apr 15, 2025Updated last year
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆15Jun 21, 2021Updated 5 years ago
- Browse Links in HackerNews Threads, Fast!☆17Oct 25, 2021Updated 4 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆98May 1, 2015Updated 11 years ago
- Interpreter for a small subset of the Haskell programming language☆17May 9, 2026Updated 2 months ago
- An mtl-style typeclass and transformer for persistent☆11Sep 18, 2018Updated 7 years ago
- ☆27Aug 14, 2015Updated 10 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.
- lazy generators with observation☆14Nov 2, 2023Updated 2 years ago
- A notebook that runs GPT-Neo with low vram (6 gb) and cuda acceleration by loading it into gpu memory in smaller parts.☆13May 25, 2021Updated 5 years ago
- ☆11Aug 6, 2015Updated 10 years ago
- ☆12Feb 12, 2018Updated 8 years ago
- An implementation of strace in Rust, and a library interface☆22Jun 17, 2018Updated 8 years ago
- ☆24Feb 4, 2025Updated last year
- ☆30Jun 21, 2026Updated last month