jamii / jamsLinks
☆183Updated 4 months ago
Alternatives and similar repositories for jams
Users that are interested in jams are comparing it to the libraries listed below
Sorting:
- A text editor with an sort-of-unusual undo/redo algorithm☆222Updated 7 months ago
- An experiment in controlling the size of a thread pool using a PID controller.☆118Updated 2 years ago
- tar creator+extractor in ~100 lines of prolog☆262Updated 2 years ago
- A lisp rosetta stone to demonstrate modern language features☆169Updated 3 years ago
- Simple live calculator in tree-sitter + cranelift jit☆75Updated 10 months ago
- Stevan Apter-style trees in C++17☆374Updated last year
- Prolog Home Page☆73Updated 4 months ago
- The secure data format for a modern world☆271Updated 2 years ago
- A static analysis file format checker.☆266Updated 5 years ago
- ☆174Updated last month
- Integer Map Data Structure☆131Updated 2 years ago
- Minify CSS files through refactoring☆260Updated last year
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆88Updated 5 years ago
- Brzozowski derivative python sketch☆85Updated 6 months ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- What if Git worked with Programming Languages?☆100Updated 4 years ago
- An ngn/k tutorial.☆207Updated last year
- Investigates optimizing 'wc', the Unix word count program☆257Updated last year
- Zig library for HyperLogLog estimation☆89Updated last year
- Synthesize CRDTs from classic data types with verified lifting!☆149Updated last year
- A hash array-mapped trie implementation in C☆316Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- Implementing 20+ binary search trees to compare balancing strategies☆47Updated 2 months ago
- A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.☆208Updated 3 years ago
- A x86_64 Linux debugger 🐛🐛🐛☆237Updated last year
- Differential dataflow for mere mortals☆525Updated 3 years ago
- Context-based code search tool☆392Updated 4 months ago
- Cryptanalysis of the Enigma machine in Rust.☆125Updated 4 years ago
- ☆59Updated 3 years ago
- Converts images into textual line art.☆146Updated 3 years ago