maplant / scheme-rs
Embedded Scheme for the Async Rust Ecosystem
☆40Updated this week
Alternatives and similar repositories for scheme-rs:
Users that are interested in scheme-rs are comparing it to the libraries listed below
- Minimal Prolog implemented in Rust☆43Updated 4 months ago
- exhaustive testing library☆63Updated 6 months ago
- a reference-counting cycle collection library in rust☆78Updated 2 years ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 3 weeks ago
- Type-level named values with partial dependent type support in Rust☆56Updated 2 years ago
- A playground for thinking about what Rust could be like☆23Updated 5 months ago
- FingerTree implemented in rust☆21Updated last year
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆40Updated 5 months ago
- RRust, a reversible Rust DSL☆40Updated 2 months ago
- Alternative future adapters that provide cancel safety.☆60Updated this week
- WLambda - Embeddable Scripting Language for Rust☆54Updated this week
- Why can't a tree be called Pluplusch?☆25Updated this week
- An experiment in an augmented error handling type for Rust☆38Updated this week
- A memory efficient syntax tree for language developers☆52Updated last week
- Datalog with equality for rust☆67Updated 3 months ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- Propositional logic with types in Rust☆61Updated last year
- Easy-to-use optional function arguments for Rust☆46Updated 9 months ago
- The never type (the true one!) in stable Rust.☆35Updated 3 years ago
- hindley-milner algorithm☆54Updated last year
- A toy incremental computation framework☆15Updated 4 years ago
- Compact sets in rust☆53Updated 2 months ago
- Bounded integers for Rust☆29Updated last week
- PEG trace visualizer☆79Updated last week
- Ultra-compact storage for collections of enums 🌱☆23Updated 2 years ago
- Helps you frob those bits☆35Updated 5 months ago
- Transitive derive macros for Rust☆30Updated 8 months ago
- A simple, id-based arena☆117Updated last year
- An interface for writing a RustTypeChecker.☆42Updated last year