twolodzko / prolog-rsLinks
Minimal Prolog implemented in Rust
☆45Updated 2 weeks ago
Alternatives and similar repositories for prolog-rs
Users that are interested in prolog-rs are comparing it to the libraries listed below
Sorting:
- The miniature, embeddable R7RS Scheme implementation in Rust☆106Updated last week
- Embedded Scheme for the Async Rust Ecosystem☆224Updated this week
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆122Updated last year
- Simple live calculator in tree-sitter + cranelift jit☆75Updated 10 months ago
- Finally, a shell for all seasons!☆122Updated 9 months ago
- hindley-milner algorithm☆62Updated 2 years ago
- Datalog with equality for rust☆71Updated last week
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- What do you call a pointer we stole the high bits off? An ointer.☆88Updated 2 years ago
- ☆212Updated last year
- Functional language with a powerful type system.☆172Updated last year
- 🎶 Choreographic programming in Rust 🎶☆59Updated 7 months ago
- ☆174Updated last month
- A playground for thinking about what Rust could be like☆23Updated last year
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 8 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆45Updated last year
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆226Updated 11 months ago
- 👌 A smol functional language that targets other languages☆64Updated last year
- Why can't a tree be called Pluplusch?☆28Updated 5 months ago
- Resilient LL(1) parser generator for Rust☆174Updated last month
- c'est le marché☆40Updated 2 years ago
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆105Updated 5 months ago
- An experiment in an augmented error handling type for Rust☆40Updated last month
- exhaustive testing library☆65Updated last year
- A Lisp interpreter written fully in rust macros.☆281Updated last year
- A programming language that is a minimal subset of Rust☆277Updated last week
- Rust, but in a Makefile.☆66Updated 2 years ago
- An interpreter for the 1991 Oriel scripting language☆58Updated last year
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆53Updated 7 months ago
- Rust implementation of µKanren, a featherweight relational programming language.☆115Updated 2 years ago