jamii / jams
☆182Updated 3 weeks ago
Alternatives and similar repositories for jams
Users that are interested in jams are comparing it to the libraries listed below
Sorting:
- A lisp rosetta stone to demonstrate modern language features☆169Updated 2 years ago
- Stevan Apter-style trees in C++17☆369Updated last year
- A static analysis file format checker.☆239Updated 4 years ago
- A text editor with an sort-of-unusual undo/redo algorithm☆221Updated 2 months ago
- Integer Map Data Structure☆129Updated last year
- Prolog Home Page☆71Updated 2 months ago
- Simple live calculator in tree-sitter + cranelift jit☆74Updated 5 months ago
- A hash array-mapped trie implementation in C☆291Updated last year
- Minify CSS files through refactoring☆261Updated last year
- The secure data format for a modern world☆268Updated last year
- An experiment in controlling the size of a thread pool using a PID controller.☆117Updated last year
- Brzozowski derivative python sketch☆85Updated last month
- Exploring the design space of binary search trees☆45Updated 2 months ago
- An ngn/k tutorial.☆202Updated 11 months ago
- PostgreSQL Prolog language handler☆133Updated last year
- ☆172Updated 6 months ago
- Investigates optimizing 'wc', the Unix word count program☆253Updated 10 months ago
- tar creator+extractor in ~100 lines of prolog☆262Updated 2 years ago
- A small language that compiles to WebAssembly Text format☆74Updated last year
- A x86_64 Linux debugger 🐛🐛🐛☆234Updated last year
- Tools for a compilers course☆120Updated last month
- Shrinkray is a modern multi-format test-case reducer☆268Updated 2 months ago
- Differential dataflow for mere mortals☆521Updated 3 years ago
- Zig library for HyperLogLog estimation☆89Updated 9 months ago
- ☆58Updated 3 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆147Updated last year
- A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.☆199Updated 2 years ago
- Translations of a simple C program to Rust.☆140Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- A static web application to explore and animate a TLA+ state graph.☆199Updated last year