cgswords / rscLinks
Rust-based Scheme Compiler, written in the Nanopass style
☆12Updated 6 years ago
Alternatives and similar repositories for rsc
Users that are interested in rsc are comparing it to the libraries listed below
Sorting:
- Type-Level Programming in Rust☆27Updated 3 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Scheme Interpreter in Rust☆28Updated 7 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- SML The Living Language☆11Updated 11 years ago
- dom-like layout for terminal applications☆13Updated 4 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- Inert lets you use non-Sync values in Sync context☆16Updated 5 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- An immutable singly-linked list, as seen in basically every functional language☆29Updated 2 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 5 years ago
- Experimental persistent collections in Rust☆45Updated 7 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- A Red-Black tree implemented in rust....for science!☆10Updated 4 years ago
- ☆35Updated 5 years ago
- A set of tools for working with datafrog☆22Updated 5 years ago
- An ordered map and set based on a trie.☆28Updated 5 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- A deque implemented as a hybrid linked-list-of-arrays☆9Updated 9 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- Library for writing tests for utilities that read text files and produce text output☆22Updated 4 years ago
- A general purpose relational language☆19Updated 5 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- Platform-independent space-efficient tagged pointers in Rust☆18Updated 5 months ago
- A rust crate for creating concurrent pipelines☆9Updated 7 years ago
- A VM-based runtime environment for functional programming languages☆47Updated 8 years ago
- A transducer library for Rust☆10Updated 9 years ago
- Build a rustc sysroot with custom flags☆17Updated 2 weeks ago