jneem / pijulLinks
DVCS based on a sound theory of patches
☆133Updated 3 years ago
Alternatives and similar repositories for pijul
Users that are interested in pijul are comparing it to the libraries listed below
Sorting:
- Forth for Rust's trait system☆230Updated 4 years ago
- a pragmatic point-free theorem prover assistant☆140Updated 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 10 months ago
- Rust Lisp expression parser and serializer☆175Updated 9 months ago
- This is a space where I express my thoughts and opinions on mostly technical things☆162Updated last week
- A pure functional language for type-level programming in Rust☆330Updated 2 years ago
- exhaustive testing library☆63Updated 10 months ago
- Tool for running Rust snippets☆148Updated last year
- Implementation of the Lemon parser generator as a Rust procedural macro☆51Updated 3 weeks ago
- A library to produce syntax diagrams as Scalable Vector Graphics☆153Updated 10 months ago
- Prototype extension of the Rust type system towards checking units-of-measure☆115Updated 5 years ago
- ☆136Updated 3 years ago
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine☆90Updated 3 years ago
- PEG trace visualizer☆86Updated 4 months ago
- Rust implementation of µKanren, a featherweight relational programming language.☆113Updated 2 years ago
- Rust port of Google's SwissTable hash map☆56Updated last month
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- The miniature, embeddable R7RS Scheme implementation in Rust☆91Updated this week
- ☆60Updated 5 years ago
- Garbage collected smart pointers for Rust☆269Updated 3 years ago
- Rust, but in a Makefile.☆66Updated 2 years ago
- garbage collection☆321Updated 5 years ago
- Resilient LL(1) parser generator for Rust☆158Updated this week
- Functional lens library for Rust☆107Updated 4 years ago
- A framework for processing the output of a pest-generated parser☆47Updated last year
- REGex in Rust with EcmaScript Syntax☆189Updated 4 months ago
- Pure functional Lisp implemented in Rust☆208Updated 3 years ago
- PEG parser generator built on top of nom☆70Updated 5 years ago
- A demand-driven compiler with strong IDE support☆196Updated 3 years ago
- Macros have types!☆129Updated 2 years ago