jneem / pijul
DVCS based on a sound theory of patches
☆130Updated 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☆138Updated last year
- `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 8 months ago
- Forth for Rust's trait system☆229Updated 4 years ago
- exhaustive testing library☆63Updated 8 months ago
- A pure functional language for type-level programming in Rust☆326Updated 2 years ago
- Monad/MonadIO, Handler, Coroutine/doNotation, Functional Programming features for Rust☆121Updated 3 years ago
- A demand-driven compiler with strong IDE support☆196Updated 2 years ago
- Rust port of Google's SwissTable hash map☆55Updated 4 months ago
- This is a space where I express my thoughts and opinions on mostly technical things☆139Updated this week
- Garbage collected smart pointers for Rust☆268Updated 3 years ago
- GLL parsing framework.☆137Updated last year
- ☆135Updated 2 years ago
- garbage collection☆321Updated 5 years ago
- Rust Lisp expression parser and serializer☆171Updated 7 months ago
- D-inspired contract programming in Rust using macros☆54Updated 3 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆153Updated 10 months ago
- A macro for defining type operators in Rust.☆65Updated 8 years ago
- Your favourite Haskell type classes for Rust☆224Updated last year
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides☆100Updated 11 months ago
- A meta-JIT library for Rust interpreters☆162Updated 2 years ago
- A fast pure-rust no-unsafe implementation of LZ4 compression and decompression☆109Updated last year
- Logic programming, for Rust, from inside Rust.☆42Updated 5 years ago
- A language for designing slides☆116Updated last year
- A stripped-down version of Git, implemented in Rust☆135Updated 11 months ago
- Concrete Syntax Tree library☆93Updated last week
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆111Updated 5 years ago
- Partial function application macro for Rust☆47Updated 4 years ago
- Pure functional Lisp implemented in Rust☆207Updated 3 years ago
- Rust implementation of µKanren, a featherweight relational programming language.☆113Updated 2 years ago