advancedresearch / lojban
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:
- Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html☆80Updated 4 years ago
- A unique textual notation that can be used as both a data format and a markup language and that has powerful extensibility of both lexica…☆13Updated last year
- ☆11Updated 6 years ago
- More indexing options for Rust slices☆9Updated last year
- A Rust source code parser and explorer☆23Updated last year
- A monotonic solver designed to be easy to use with Rust enum expressions☆47Updated 4 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆15Updated 8 years ago
- A miniKanren implementation in Rust☆37Updated 9 years ago
- Run a function after some data was mutably borrowed☆30Updated 4 years ago
- A macro for defining type operators in Rust.☆65Updated 8 years ago
- A simplistic parsing library in Rust☆20Updated 5 years ago
- Terminal UI for Discourse forums☆11Updated 6 years ago
- 7drl2020☆18Updated 6 months ago
- Abstract binding tree code generator☆37Updated 8 years ago
- Refined Data Description Language (RDDL) specification and parser library.☆9Updated 8 years ago
- GapBuffer data structure in Rust.☆16Updated 10 years ago
- The peano numbers implemented in Rust's type system.☆24Updated 8 years ago
- Tokio / Hyper like IO for the Browser based on the stdweb, futures and http crates.☆22Updated 7 years ago
- Renders interactive fractal-like animations☆19Updated 7 years ago
- Implicit Drop/move protection for Rust (linear types)☆12Updated 9 years ago
- Runtime with fast GC and easy concurrency.☆43Updated 4 years ago
- Compiler plugin calculating const size of string literal and others☆11Updated 8 years ago
- An analysis library for zero-sum games, written in Rust☆16Updated 3 years ago
- Easy UI☆7Updated 9 years ago
- Historic Rust code browsing☆32Updated 4 years ago
- Logic programming, for Rust, from inside Rust.☆42Updated 5 years ago
- Pijul <-> Git proxy☆19Updated 5 years ago
- A general-purpose lens library for Rust.☆29Updated 8 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- A small crate to provide space-efficient Option<_> replacements☆37Updated 2 months ago