zv / sexprLinks
An encoding, decoding & utility library for S-expressions in Rust
☆37Updated 8 years ago
Alternatives and similar repositories for sexpr
Users that are interested in sexpr are comparing it to the libraries listed below
Sorting:
- Macros have types!☆134Updated 2 years ago
- FingerTree implemented in rust☆27Updated 2 years ago
- A miniKanren implementation in Rust☆37Updated 9 years ago
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆105Updated 6 months ago
- Scheme Interpreter in Rust☆29Updated 7 years ago
- Logic programming, for Rust, from inside Rust.☆43Updated 5 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆54Updated 8 months ago
- Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, …☆51Updated 10 years ago
- ☆94Updated 2 years ago
- A Hindley-Milner polymorphic typing system☆60Updated last year
- A statically-typed compiled language defined by a simple grammar☆24Updated 3 years ago
- A library for deadlock-free session-typed communication in Rust.☆47Updated 4 years ago
- Embeddable TCL Interpreter for Rust applications☆116Updated 3 years ago
- Fungi: Typed incremental computation with names☆70Updated 6 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆25Updated 6 years ago
- A Rust implementation of the Lean kernel☆11Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Rust Lisp expression parser and serializer☆193Updated last year
- Rust to F* toolchain☆43Updated 6 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Compiler for a toy Lisp language☆65Updated 5 years ago
- A VM-based runtime environment for functional programming languages☆51Updated 8 years ago
- Session Type EDSL for Rust☆103Updated 3 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html☆82Updated 5 years ago
- a simple yet comprehensive scheme interpreter in rust☆79Updated 5 years ago
- Rust implementation of µKanren, a featherweight relational programming language.☆115Updated 2 years ago
- Scheme implementation (now maybe working properly)☆19Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- ☆19Updated 2 years ago