advancedresearch / lojbanLinks
A Lojban parser in Piston-Meta
☆24Updated 4 years ago
Alternatives and similar repositories for lojban
Users that are interested in lojban are comparing it to the libraries listed below
Sorting:
- ☆11Updated 6 years ago
- A miniKanren implementation in Rust☆37Updated 9 years ago
- Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html☆82Updated 4 years ago
- An immutable singly-linked list, as seen in basically every functional language☆29Updated 2 years ago
- Refined Data Description Language (RDDL) specification and parser library.☆9Updated 8 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Abstract binding tree code generator☆37Updated 8 years ago
- Easy UI☆7Updated 9 years ago
- Pijul <-> Git proxy☆21Updated 6 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆15Updated 8 years ago
- A monotonic solver designed to be easy to use with Rust enum expressions☆47Updated 4 years ago
- Run a function after some data was mutably borrowed☆30Updated 4 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆52Updated 8 years ago
- Implicit Drop/move protection for Rust (linear types)☆12Updated 10 years ago
- Dynamic packet parsing within trees 🌲🌳🌴☆24Updated 7 years ago
- A simplistic parsing library in Rust☆20Updated 5 years ago
- A fuzzing tool for incremental compilation that walks git history☆33Updated 7 years ago
- Reustmann is a Von Neumann architecture☆8Updated 4 years ago
- 7drl2020☆18Updated 7 months ago
- The peano numbers implemented in Rust's type system.☆24Updated 8 years ago
- A Rust source code parser and explorer☆23Updated last year
- Scheme Interpreter in Rust☆28Updated 7 years ago
- Logic programming, for Rust, from inside Rust.☆42Updated 5 years ago
- A small crate to provide space-efficient Option<_> replacements☆37Updated 3 months ago
- Haskell's language-c ported to Rust.☆32Updated 7 years ago
- ☆23Updated 6 years ago
- Concatenate and print files in a Rust byte slice compatible format.☆12Updated 2 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- REPL-like interactive code editor☆29Updated 7 years ago