jneem / pijul
DVCS based on a sound theory of patches
☆127Updated 3 years ago
Alternatives and similar repositories for pijul:
Users that are interested in pijul are comparing it to the libraries listed below
- a pragmatic point-free theorem prover assistant☆137Updated last year
- exhaustive testing library☆63Updated 6 months ago
- This is a space where I express my thoughts and opinions on mostly technical things☆136Updated 3 months ago
- Forth for Rust's trait system☆229Updated 4 years ago
- Garbage collected smart pointers for Rust☆267Updated 3 years ago
- `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…☆98Updated 7 months ago
- General-purpose abstractions for incremental computing, in Rust☆353Updated 2 years ago
- ☆314Updated 3 months ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- A pure functional language for type-level programming in Rust☆324Updated 2 years ago
- A meta-JIT library for Rust interpreters☆162Updated 2 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 2 years ago
- Ninja-compatible build system for high-level programming languages written in Rust☆85Updated this week
- Resilient LL(1) parser generator for Rust☆128Updated last month
- Gotchas and warts in Rust Lang☆72Updated 2 years ago
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine☆90Updated 3 years ago
- A library to produce syntax diagrams as Scalable Vector Graphics☆145Updated 6 months ago
- PEG trace visualizer☆81Updated last month
- A library for generating Graphviz DOT language files for graphs.☆74Updated 2 years ago
- A language for designing slides☆116Updated last year
- Rust Lisp expression parser and serializer☆169Updated 5 months ago
- Brief implementation of Trees that Grow in Rust☆39Updated 2 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- Embeddable TCL Interpreter for Rust applications☆107Updated 2 years ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆119Updated last year
- A webrender-based UI framework with a moxie frontend☆129Updated 2 years ago
- An asynchronous, runtime data feedable terminal paging library for Rust☆329Updated 7 months ago
- A clean, efficient parser combinator☆124Updated 3 years ago
- Functional lens library for Rust☆105Updated 4 years ago
- Skill-tree rendering☆152Updated last year