jneem / pijulLinks
DVCS based on a sound theory of patches
☆137Updated 3 years ago
Alternatives and similar repositories for pijul
Users that are interested in pijul are comparing it to the libraries listed below
Sorting:
- a pragmatic point-free theorem prover assistant☆142Updated last week
- `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…☆101Updated last year
- A language for designing slides☆116Updated last year
- This is a space where I express my thoughts and opinions on mostly technical things☆167Updated 4 months ago
- Rust implementation of µKanren, a featherweight relational programming language.☆115Updated 2 years ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆264Updated 2 years ago
- Forth for Rust's trait system☆230Updated 5 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 6 months ago
- exhaustive testing library☆65Updated last year
- Logic programming, for Rust, from inside Rust.☆42Updated 5 years ago
- The Ergex Regular Expression Library☆123Updated 3 years ago
- A demand-driven compiler with strong IDE support☆195Updated 3 years ago
- A library to produce syntax diagrams as Scalable Vector Graphics☆164Updated 3 months ago
- A stripped-down version of Git, implemented in Rust☆135Updated last year
- Monad/MonadIO, Handler, Coroutine/doNotation, Functional Programming features for Rust☆122Updated 4 years ago
- ☆94Updated last year
- Prototype extension of the Rust type system towards checking units-of-measure☆115Updated 5 years ago
- GLL parsing framework.☆137Updated last year
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides☆102Updated last year
- Benchmarks for the nom, the Rust parser combinators library☆128Updated last year
- A command line tool to generate Unicode tables as source code.☆111Updated last year
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine☆90Updated 4 years ago
- ☆138Updated 3 years ago
- A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.☆238Updated 8 years ago
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆40Updated 6 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆86Updated last year
- 🐍 The Mamba programming language, because we care about safety☆89Updated 2 months ago
- Implementation of the Lemon parser generator as a Rust procedural macro☆52Updated last week
- Rust Lisp expression parser and serializer☆184Updated last year
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago