sldty / kitbagLinks
Kitbag is a content-addressed versioned tree-structured graph-based datastore.
☆14Updated 4 years ago
Alternatives and similar repositories for kitbag
Users that are interested in kitbag are comparing it to the libraries listed below
Sorting:
- a BOCU-1 encoder/decoder library in rust☆18Updated 2 years ago
- An experimental programming language for ergonomic software verification☆16Updated 3 months ago
- Passerine's package manager.☆22Updated 3 years ago
- A general purpose relational language☆19Updated 5 years ago
- Copying Garbage Collector☆13Updated 5 years ago
- Generates random SVG faces☆12Updated 4 years ago
- dom-like layout for terminal applications☆13Updated 4 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 5 years ago
- Inert lets you use non-Sync values in Sync context☆16Updated 6 years ago
- Terminal UI for Discourse forums☆12Updated 6 years ago
- Type-Level Programming in Rust☆28Updated 3 years ago
- The next-generation Olin runtime, made with love☆66Updated 3 years ago
- Experimenting with ergonomic dyn types☆29Updated 3 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆14Updated 4 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 3 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆27Updated 3 years ago
- miniserde minus the dependencies☆20Updated 4 years ago
- A recursive file-system digest (hash)☆13Updated 2 years ago
- ☆20Updated 7 years ago
- An implementation of "Regular Expression Matching: the Virtual Machine Approach"☆22Updated last year
- Case-preserving, ASCII case-insensitive `no_std` string types for Rust.☆13Updated last year
- ☆11Updated 3 years ago
- To futures-lite as futures-lite is to futures: smaller.☆54Updated 8 months ago
- Rust-based Scheme Compiler, written in the Nanopass style☆11Updated 7 years ago
- Efficient sampling with uniform probability☆31Updated 3 years ago
- wrap errors with automatic backtrace capture and print-on-result-unwrap☆33Updated last year
- Library for writing tests for utilities that read text files and produce text output☆22Updated 5 years ago
- A GitHub action that allows users to subscribe to a label and automatically get @'d when the label is applied☆12Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- A statically structurally typed JIT-compiled programming language, mainly for embedding in other programs.☆64Updated 6 years ago