jneem / pijul
DVCS based on a sound theory of patches
β132Updated 3 years ago
Alternatives and similar repositories for pijul:
Users that are interested in pijul are comparing it to the libraries listed below
- Garbage collected smart pointers for Rustβ268Updated 3 years ago
- π§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§β263Updated last year
- a pragmatic point-free theorem prover assistantβ140Updated last year
- Forth for Rust's trait systemβ229Updated 4 years ago
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combineβ90Updated 3 years ago
- A meta-JIT library for Rust interpretersβ162Updated 2 years ago
- Macros have types!β129Updated 2 years ago
- replacement for std::{Range,RangeInclusive}β36Updated 2 years ago
- A pure functional language for type-level programming in Rustβ326Updated 2 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β¦β99Updated 9 months ago
- β93Updated last year
- GLL parsing framework.β137Updated last year
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.β154Updated 11 months ago
- Monad/MonadIO, Handler, Coroutine/doNotation, Functional Programming features for Rustβ121Updated 3 years ago
- Rust testing framework for compilers and VMsβ51Updated last month
- exhaustive testing libraryβ63Updated 8 months ago
- General-purpose abstractions for incremental computing, in Rustβ356Updated 3 years ago
- Rust bindings for libgccjit.β51Updated 2 years ago
- A library to produce syntax diagrams as Scalable Vector Graphicsβ151Updated 8 months ago
- Rust Lisp expression parser and serializerβ172Updated 7 months ago
- Rust implementation of Β΅Kanren, a featherweight relational programming language.β113Updated 2 years ago
- A language for designing slidesβ116Updated last year
- A framework for processing the output of a pest-generated parserβ47Updated last year
- Prototype extension of the Rust type system towards checking units-of-measureβ115Updated 5 years ago
- β150Updated 5 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.β51Updated 3 weeks ago
- Use regular expressions to generate text.β67Updated 2 years ago
- This is a space where I express my thoughts and opinions on mostly technical thingsβ159Updated 2 weeks ago
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, residesβ100Updated last year
- Rust port of Google's SwissTable hash mapβ55Updated 5 months ago