☆11Nov 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
Sorting:
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- (Hopefully) a compiler for my first language named "Pie"☆22Feb 7, 2026Updated 3 weeks ago
- Shiro - a declarative, dataflow programming language for exploring alternatives☆16Oct 14, 2016Updated 9 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- `boxy` - declarative box-drawing characters☆13May 15, 2023Updated 2 years ago
- Small powerful micro scripting language <1K SLOC☆62Oct 5, 2025Updated 5 months ago
- The unexec hack. Hideous and useless, but fun to write.☆14Feb 25, 2017Updated 9 years ago
- 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
- Library for writing tests for utilities that read text files and produce text output☆23Jun 26, 2020Updated 5 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- ☆22Apr 1, 2013Updated 12 years ago
- Self-hosted ion compiler. Based on ion here: https://github.com/pervognsen/bitwise☆20Jul 27, 2018Updated 7 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Apr 13, 2022Updated 3 years ago
- LabVIEW NXG plugin for Rebar, a graphical dataflow language with ownership.☆18Aug 4, 2021Updated 4 years ago
- ☆24Feb 4, 2025Updated last year
- A Binary File Markup Language☆24Dec 2, 2022Updated 3 years ago
- Arbitrary precision integers library.☆27Mar 25, 2021Updated 4 years ago
- Code from the paper 'Build Systems à la Carte' translated to Rust-like syntax☆21Oct 14, 2018Updated 7 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
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆23Dec 14, 2016Updated 9 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆98May 1, 2015Updated 10 years ago
- ☆28Dec 29, 2020Updated 5 years ago
- A Squeak Smalltalk RISC-V ISA implementation, with basic simulation☆26Feb 10, 2021Updated 5 years ago
- Forward build system with speculation and caching☆110Oct 15, 2023Updated 2 years ago
- A small C compiler☆33Jun 24, 2025Updated 8 months ago
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated 11 months ago
- memory-mapped registers for x86_64 systems☆37May 18, 2021Updated 4 years ago
- exhaustive testing library☆66Jul 29, 2024Updated last year
- Awk on the GPU☆28Apr 2, 2024Updated last year
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Jun 18, 2022Updated 3 years ago
- Macro-rules-style syntax matching for procedural macros☆53Nov 7, 2023Updated 2 years ago
- yaxdis, a small and naive disassembler using yaxpeax decoders☆34Apr 14, 2025Updated 10 months ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Nov 21, 2025Updated 3 months ago
- A from-scratch neural network and transformers library, with speeds rivaling PyTorch☆10Mar 16, 2025Updated 11 months ago
- A simple implementation for pretty, Rust-style error diagnostics.☆27Sep 16, 2020Updated 5 years ago
- A DSL and command-line tool for generating binary files.☆36Apr 29, 2021Updated 4 years ago
- A Rust library for runtime-checked linearish types☆38Jul 24, 2023Updated 2 years ago
- yk packages☆39Updated this week