cgswords / rsc
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
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- 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
- Experimental persistent collections in Rust☆45Updated 7 years ago
- An experimental columnar arena☆43Updated 4 months ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Build a rustc sysroot with custom flags☆17Updated 6 months ago
- An ordered map and set based on a trie.☆29Updated 4 years ago
- An implementation of @phil_eaton compilers basic notes in Rust☆35Updated 5 years ago
- Libraries for declaring and using type-level values.☆11Updated 6 years ago
- Inert lets you use non-Sync values in Sync context☆16Updated 5 years ago
- SML The Living Language☆11Updated 11 years ago
- Collections Library for Adapton, in Rust☆13Updated 7 years ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- A Red-Black tree implemented in rust....for science!☆10Updated 4 years ago
- Error return tracing in Rust. Still WIP☆11Updated 3 years ago
- Efficient sized chunk datatypes for immutable.rs☆25Updated 2 years ago
- [DEPRECATED] Non-blocking TCP or Unix connect☆14Updated 3 years ago
- dom-like layout for terminal applications☆13Updated 4 years ago
- ☆19Updated 2 years ago
- A set of tools for working with datafrog☆22Updated 5 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- A syn targetting PEG parser generator☆20Updated last year
- Greenspunning Rust's macro_rules!☆32Updated 6 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- Library for building stateful property tests using the proptest crate☆23Updated 10 months ago
- Scheme Interpreter in Rust☆27Updated 7 years ago