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:
- Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html☆82Updated 4 years ago
- 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☆16Updated 8 years ago
- ☆11Updated 6 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆52Updated 8 years ago
- A miniKanren implementation in Rust☆37Updated 9 years ago
- Refined Data Description Language (RDDL) specification and parser library.☆9Updated 8 years ago
- Pijul <-> Git proxy☆21Updated 6 years ago
- Dynamic packet parsing within trees 🌲🌳🌴☆24Updated 7 years ago
- A not-yet-functional Rust parser written in LALRPOP.☆35Updated 8 years ago
- Renders interactive fractal-like animations☆19Updated 8 years ago
- Abstract binding tree code generator☆37Updated 8 years ago
- A functional systems programming language with compile-time memory management☆31Updated 3 years ago
- tweetr is a platform that allows you to create and queue tweets to be shared when YOU want. You create content when you have time and the…☆18Updated 6 years ago
- Rust language game programming library☆19Updated 6 years ago
- A Rust library providing a stack-like memory allocator with double-ended allocation support.☆22Updated 4 years ago
- Run a function after some data was mutably borrowed☆30Updated 4 years ago
- An immutable singly-linked list, as seen in basically every functional language☆29Updated 2 years ago
- [WIP] Molten - Style-preserving TOML parser.☆39Updated 7 years ago
- GapBuffer data structure in Rust.☆16Updated 10 years ago
- ☆15Updated 6 years ago
- 7drl2020☆18Updated 8 months ago
- An analysis library for zero-sum games, written in Rust☆16Updated 3 years ago
- Haskell's language-c ported to Rust.☆32Updated 7 years ago
- Beautiful generative geometric images from a string, based on @jasonlong's geo_pattern, with a WASM demo☆45Updated 4 years ago
- Logic programming, for Rust, from inside Rust.☆42Updated 5 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections