advancedresearch / lojban
A Lojban parser in Piston-Meta
☆23Updated 3 years ago
Alternatives and similar repositories for lojban:
Users that are interested in lojban are comparing it to the libraries listed below
- Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html☆80Updated 4 years ago
- ☆11Updated 5 years ago
- Implicit Drop/move protection for Rust (linear types)☆12Updated 9 years ago
- A monotonic solver designed to be easy to use with Rust enum expressions☆46Updated 3 years ago
- Pijul <-> Git proxy☆19Updated 5 years ago
- A collection of lexers for various languages, written in Rust.☆12Updated 8 years ago
- Easy UI☆7Updated 9 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆15Updated 8 years ago
- Haskell's language-c ported to Rust.☆31Updated 6 years ago
- Terrible, terrible voxel thing, written in Rust.☆12Updated last year
- Abstract binding tree code generator☆36Updated 8 years ago
- A fuzzing tool for incremental compilation that walks git history☆32Updated 6 years ago
- A Lisp made for easy integration with Rust.☆9Updated 8 years ago
- Run a function after some data was mutably borrowed☆30Updated 4 years ago
- ☆33Updated 2 years ago
- Concatenate and print files in a Rust byte slice compatible format.☆12Updated last year
- A toy Lisp compiler targeting x86-64☆40Updated 4 years ago
- Psyche Toolset☆22Updated 5 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Updated 7 years ago
- An easy to use dice rolling library for Rust☆18Updated 2 years ago
- Runtime with fast GC and easy concurrency.☆44Updated 3 years ago
- An analysis library for zero-sum games, written in Rust☆16Updated 3 years ago
- A miniKanren implementation in Rust☆36Updated 8 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 6 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last week
- A no_std, zero-dependency crate for the creation and management of NaN-boxed types with Box-like semantics, tagged pointers and a macro i…☆19Updated 4 years ago
- Faster, more flexible and more correct alternative to core::fmt☆39Updated 4 years ago
- Refined Data Description Language (RDDL) specification and parser library.☆9Updated 7 years ago