arazabishov / pvec-rsLinks
A persistent, RRB-Tree based vector for Rust
☆14Updated last month
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
- An attempt at writing C libraries in Rust that can be called from Idris☆22Updated 9 years ago
- ☆35Updated 5 years ago
- A miniKanren implementation in Rust☆37Updated 9 years ago
- A set of tools for working with datafrog☆25Updated 5 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- racket scheme peg-parser☆23Updated 3 years ago
- Scheme Interpreter in Rust☆28Updated 7 years ago
- Clojure's Transducers in Haskell☆40Updated 9 years ago
- Fungi: Typed incremental computation with names☆68Updated 5 years ago
- Very incomplete Scheme interpreter, written in Rust☆23Updated 8 years ago
- Scheme in Rust☆15Updated 3 years ago
- An EDN (Extensible Data Notation) parser in Rust.☆49Updated 5 years ago
- Experimental persistent collections in Rust☆45Updated 7 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- An encoding, decoding & utility library for S-expressions in Rust☆35Updated 8 years ago
- Macros have types!☆129Updated 2 years ago
- A safe and efficient target language for functional compilers☆20Updated 7 years ago
- A toy Lisp compiler targeting x86-64☆40Updated 5 years ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated last year
- An experimental language server for SomewhatML☆24Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 2 months ago
- Synless is a language-agnostic tree editor.☆21Updated last month
- ☆20Updated 2 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
- Shen KLambda to KLVM translator.☆30Updated 9 years ago