jneem / pijul
DVCS based on a sound theory of patches
☆123Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for pijul
- Forth for Rust's trait system☆226Updated 4 years ago
- a pragmatic point-free theorem prover assistant☆137Updated last year
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine☆88Updated 3 years ago
- exhaustive testing library☆58Updated 3 months ago
- A pure functional language for type-level programming in Rust☆322Updated 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…☆98Updated 4 months ago
- replacement for std::{Range,RangeInclusive}☆36Updated last year
- Rust Lisp expression parser and serializer☆164Updated 2 months ago
- Macros have types!☆130Updated last year
- General-purpose abstractions for incremental computing, in Rust☆345Updated 2 years ago
- An interpreted language written in Rust inspired by the Lisp family of languages.☆60Updated 2 years ago
- Garbage collected smart pointers for Rust☆266Updated 2 years ago
- This is a space where I express my thoughts and opinions on mostly technical things☆134Updated last week
- A library to produce syntax diagrams as Scalable Vector Graphics☆140Updated 3 months ago
- GLL parsing framework.☆138Updated 7 months ago
- Scripting language focused on processing tabular data.☆172Updated last year
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆147Updated 6 months ago
- ☆134Updated 2 years ago
- ☆310Updated 2 weeks ago
- garbage collection☆319Updated 5 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- A demand-driven compiler with strong IDE support☆195Updated 2 years ago
- Gotchas and warts in Rust Lang☆71Updated last year
- Rust bindings for libgccjit.☆48Updated last year
- REGex in Rust with EcmaScript Syntax☆176Updated 3 weeks ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆252Updated 2 years ago
- hindley-milner algorithm☆53Updated last year
- A meta-JIT library for Rust interpreters☆159Updated last year