peterhorne / rrb-treeLinks
Typescript implementation of Relaxed Radix Balanced Trees
☆18Updated 11 months ago
Alternatives and similar repositories for rrb-tree
Users that are interested in rrb-tree are comparing it to the libraries listed below
Sorting:
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- ☆50Updated 3 months ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆68Updated 2 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆85Updated 5 years ago
- Run erlang as a WASI http server (vapourware)☆27Updated 9 months ago
- Multi-Array Queue program codes☆75Updated 2 months ago
- Idol, an IDL and binary encoding for zero-copy local IPC☆50Updated 10 months ago
- An interactive Datalog☆47Updated last week
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 8 months ago
- ISBL - Information Systems Base Language☆20Updated 10 years ago
- An introduction to the J programming language that gets to the point.☆64Updated last month
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆58Updated last year
- Dogma: A modernized metalanguage with better expressiveness and binary grammar support☆65Updated 2 years ago
- Zig library for HyperLogLog estimation☆89Updated last year
- SOM - Simple Object Machine (plain Java implementation)☆19Updated last month
- A simple Web Assembly Interpreter☆16Updated last year
- ☆22Updated 11 months ago
- A distributed hash table with unusually strong security properties☆64Updated 5 years ago
- GitHub copy of the NTS/TeX source code from 2001☆31Updated 4 years ago
- Topological sort library in Zig☆93Updated 4 months ago
- HypergraphZ - A Hypergraph Implementation in Zig☆106Updated last month
- Convert an EBNF grammar to the tree-sitter dsl☆28Updated last year
- Lossy compression of CSS for fun and loss (or profit)☆34Updated last year
- Render, select coordinates, export to video and more.☆14Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Run the rr debugger in a Linux VM on apple silicon macOS or in the cloud. Use the rr debugger without HW performance counters on x86-64 a…☆83Updated 2 weeks ago
- Various implementation of byte matrix multiplication☆26Updated 7 months ago