jamii / jams
☆182Updated last year
Alternatives and similar repositories for jams:
Users that are interested in jams are comparing it to the libraries listed below
- A text editor with an sort-of-unusual undo/redo algorithm☆220Updated last month
- A x86_64 Linux debugger 🐛🐛🐛☆233Updated last year
- Simple live calculator in tree-sitter + cranelift jit☆71Updated 4 months ago
- An experiment in controlling the size of a thread pool using a PID controller.☆117Updated last year
- Stevan Apter-style trees in C++17☆370Updated last year
- An ngn/k tutorial.☆200Updated 9 months ago
- Exploring the design space of binary search trees☆45Updated last month
- Integer Map Data Structure☆130Updated last year
- tar creator+extractor in ~100 lines of prolog☆261Updated 2 years ago
- A lisp rosetta stone to demonstrate modern language features☆169Updated 2 years ago
- A hash array-mapped trie implementation in C☆291Updated last year
- Differential dataflow for mere mortals☆520Updated 2 years ago
- A static analysis file format checker.☆239Updated 4 years ago
- Prolog Home Page☆71Updated 3 weeks ago
- Zig library for HyperLogLog estimation☆89Updated 8 months ago
- ☆172Updated 5 months ago
- Shrinkray is a modern multi-format test-case reducer☆261Updated 3 weeks ago
- Investigates optimizing 'wc', the Unix word count program☆253Updated 8 months ago
- Lamport's Bakery Algorithm Demonstrated in Python☆96Updated last year
- A simple C coroutine library.☆226Updated last year
- The no-framework framework for building component-based purely-functional UIs.☆124Updated 2 months ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- Synthesize CRDTs from classic data types with verified lifting!☆145Updated 11 months ago
- Minify CSS files through refactoring☆261Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- text editor experiment☆204Updated 4 months ago
- PostgreSQL Prolog language handler☆132Updated last year
- Brzozowski derivative python sketch☆85Updated 11 months ago
- A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.☆199Updated 2 years ago
- Fleur implements a Bloom Filter library in C that is fully compatible with DCSO's Go and python implementations.☆117Updated 2 years ago