jneem / pijul

Related projects ⓘ

Alternatives and complementary repositories for pijul

• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆137Updated last year
• Ashymad / fortraith
  Forth for Rust's trait system
  ☆226Updated 4 years ago
• jethrogb / rust-reduce
  `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
• sidkshatriya / me
  This is a space where I express my thoughts and opinions on mostly technical things
  ☆135Updated 2 weeks ago
• rust-lang / gll
  GLL parsing framework.
  ☆138Updated 8 months ago
• willcrichton / tyrade
  A pure functional language for type-level programming in Rust
  ☆323Updated 2 years ago
• Yoric / yaiouom
  Prototype extension of the Rust type system towards checking units-of-measure
  ☆108Updated 4 years ago
• QuineDot / rust-snags
  Gotchas and warts in Rust Lang
  ☆71Updated last year
• graydon / extent
  replacement for std::{Range,RangeInclusive}
  ☆36Updated last year
• lukaslueg / railroad
  A library to produce syntax diagrams as Scalable Vector Graphics
  ☆140Updated 3 months ago
• Marwes / combine-language
  A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine
  ☆88Updated 3 years ago
• chc4 / lineiform
  A meta-JIT library for Rust interpreters
  ☆159Updated last year
• Adapton / adapton.rust
  General-purpose abstractions for incremental computing, in Rust
  ☆346Updated 2 years ago
• sdleffler / whisper
  Logic programming, for Rust, from inside Rust.
  ☆42Updated 4 years ago
• Others / shredder
  Garbage collected smart pointers for Rust
  ☆266Updated 2 years ago
• josephg / jumprope-rs
  ☆136Updated last year
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆58Updated 3 months ago
• Nadrieril / pest_consume
  A framework for processing the output of a pest-generated parser
  ☆47Updated 8 months ago
• lark-exploration / lark
  A demand-driven compiler with strong IDE support
  ☆195Updated 2 years ago
• Amanieu / hashbrown
  Rust port of Google's SwissTable hash map
  ☆56Updated last week
• anelson / tracers
  Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc
  ☆220Updated 4 years ago
• ekzhang / ukanren-rs
  Rust implementation of µKanren, a featherweight relational programming language.
  ☆111Updated last year
• 0x2a-42 / lelwel
  Resilient LL(1) parser generator for Rust
  ☆124Updated last month
• badboy / makerust
  Rust, but in a Makefile.
  ☆66Updated last year
• plausiblelabs / lens-rs
  Functional lens library for Rust
  ☆104Updated 3 years ago
• fitzgen / bacon-rajan-cc
  ☆91Updated last year
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 2 months ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆55Updated 2 years ago