SparkyPotato / yamLinks
A low level, expressive language
☆13Updated last year
Alternatives and similar repositories for yam
Users that are interested in yam are comparing it to the libraries listed below
Sorting:
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!☆31Updated 4 years ago
- Simple scheme bytecode VM☆29Updated 3 years ago
- Garbage collector library☆24Updated 3 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- A simple prolog implementation in Rust☆26Updated 5 years ago
- dependent type theory experiment☆26Updated last year
- Scheme implementation (now maybe working properly)☆19Updated 2 years ago
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- hindley-milner algorithm☆62Updated 2 years ago
- A minimal language inspired by Lisp and Haskell☆20Updated 5 years ago
- Macros have types!☆134Updated 2 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 3 years ago
- ☆16Updated 3 years ago
- 👌 A smol functional language that targets other languages☆66Updated last year
- Performance comparisons between various virtual interpreter implementation strategies☆46Updated last year
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆25Updated 6 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆54Updated 9 months ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆36Updated last week
- A Djot implementation in Prolog☆26Updated last week
- Rust implementation of µKanren, a featherweight relational programming language.☆116Updated 3 years ago
- A newborn programming language for extensible software☆16Updated 4 years ago
- Implementation of Immix Mark-Region Garbage collector written in Rust Programming Language.☆37Updated 4 years ago
- regexes for trees; grep for s-exprs☆18Updated last year
- Rust-based Scheme Compiler, written in the Nanopass style☆12Updated 7 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- A golden file testing library for rust☆38Updated 3 months ago
- A Rust implementation of the Lean kernel☆11Updated 3 years ago