P-bibs / skiffLinks
A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!
☆31Updated 3 years ago
Alternatives and similar repositories for skiff
Users that are interested in skiff are comparing it to the libraries listed below
Sorting:
- Garbage collector library☆23Updated 3 years ago
- hindley-milner algorithm☆61Updated 2 years ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- 👌 A smol functional language that targets other languages☆62Updated last year
- A WIP little dependently-typed systems language☆41Updated 10 months ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- Exploring the "expression problem" in Rust☆50Updated 2 years ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- ☆19Updated last year
- LR-style Parser Generator☆19Updated 3 weeks ago
- Program analysis playground for a simple, imperative language☆36Updated 3 years ago
- A golden file testing library for rust☆33Updated last month
- A highly experiment portable runtime☆19Updated last year
- A toy incremental computation framework☆15Updated 4 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Macro assembler for Rust☆36Updated last year
- Haskell-style monads in Rust.☆23Updated 2 years ago
- Session types for asynchronous communication between multiple parties.☆41Updated 11 months ago
- Macros have types!☆129Updated 2 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- A MinCaml compiler implemented in Rust☆43Updated 2 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆42Updated last year
- An implementation of strace in Rust, and a library interface☆22Updated 7 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 11 months ago
- A low level, expressive language☆13Updated 6 months ago
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 8 years ago
- Propositional logic with types in Rust☆62Updated last year
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated 3 weeks ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 3 months ago