arazabishov / pvec-rs
A persistent, RRB-Tree based vector for Rust
☆14Updated 3 weeks ago
Alternatives and similar repositories for pvec-rs
Users that are interested in pvec-rs are comparing it to the libraries listed below
Sorting:
- FingerTree implemented in rust☆23Updated last year
- ☆35Updated 5 years ago
- An attempt at writing C libraries in Rust that can be called from Idris☆22Updated 9 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Very incomplete Scheme interpreter, written in Rust☆23Updated 8 years ago
- A miniKanren implementation in Rust☆37Updated 9 years ago
- Let's (possibly) build a JIT!☆29Updated last year
- Experimental persistent collections in Rust☆45Updated 7 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- A crate to provide anonymous row type, which fields can be access by lens-rs☆14Updated 3 years ago
- An interpreted language written in Rust inspired by the Lisp family of languages.☆61Updated 3 years ago
- OCaml runtime and FFI bindings directly in Rust☆79Updated 7 years ago
- Exploring the "expression problem" in Rust☆48Updated 2 years ago
- A toy Lisp compiler targeting x86-64☆40Updated 5 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- Scheme Interpreter in Rust☆28Updated 7 years ago
- Generate Purescript types from your Rust types. (unmaintained)☆42Updated 6 years ago
- A set of tools for working with datafrog☆22Updated 5 years ago
- Simple scheme bytecode VM☆29Updated 3 years ago
- A safe and efficient target language for functional compilers☆20Updated 7 years ago
- a simple yet comprehensive scheme interpreter in rust☆78Updated 4 years ago
- An encoding, decoding & utility library for S-expressions in Rust☆35Updated 7 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 5 years ago
- A minimal example of the Idris C FFI☆14Updated 9 years ago
- Fungi: Typed incremental computation with names☆67Updated 5 years ago
- Purely functional data structures in Koka☆10Updated 3 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- racket scheme peg-parser☆23Updated 3 years ago
- An implementation of the "rose tree" data structure for Rust.☆24Updated 3 years ago
- Macros have types!☆129Updated 2 years ago