SparkyPotato / yamLinks
A low level, expressive language
☆13Updated 5 months ago
Alternatives and similar repositories for yam
Users that are interested in yam are comparing it to the libraries listed below
Sorting:
- Garbage collector library☆23Updated 3 years ago
- ☆19Updated last year
- Simple scheme bytecode VM☆29Updated 3 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆42Updated last year
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!☆31Updated 3 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- ☆32Updated 11 months ago
- Exploring the "expression problem" in Rust☆50Updated 2 years ago
- dependent type theory experiment☆26Updated last year
- hindley-milner algorithm☆61Updated 2 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- A toy incremental computation framework☆15Updated 4 years ago
- a concurrent compiled programming language☆15Updated 2 years ago
- A Rust port of Jane Street's Incremental library.☆26Updated 5 months ago
- Scheme implementation (now maybe working properly)☆18Updated last year
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Macro assembler for Rust☆36Updated last year
- ☆26Updated last year
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆38Updated this week
- The Pulse separation logic DSL for F*☆16Updated this week
- ☆16Updated 11 months ago
- Type-level interfaces for type-level design in Rust☆25Updated 4 months ago
- Rotth is a stack based concatenative language highly inspired by Porth☆16Updated last year
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- A golden file testing library for rust☆33Updated 3 weeks ago
- Rust bindings for libgccjit☆23Updated last month
- An experimental project to create an interactive programming language.☆17Updated this week
- Type-Level Programming in Rust☆27Updated 3 years ago