pvdrz / pijama_legacy

Related projects ⓘ

Alternatives and complementary repositories for pijama_legacy

• zesterer / parze
  A clean, efficient parser combinator
  ☆124Updated 2 years ago
• jDomantas / plank
  ☆59Updated 3 years ago
• JDemler / BidirectionalTypechecking
  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
  ☆110Updated 5 years ago
• Marwes / combine-language
  A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine
  ☆88Updated 3 years ago
• zesterer / broom
  An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection
  ☆252Updated 2 years ago
• llogiq / compact_arena
  A crate with indexed arenas with small memory footprint
  ☆76Updated 2 months ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆53Updated last year
• wvanlit / rust-monkey
  A rust version of the Monkey Interpreter from "Writing an Interpreter in Go"
  ☆38Updated 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
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆55Updated 2 years ago
• graydon / extent
  replacement for std::{Range,RangeInclusive}
  ☆36Updated last year
• Yoric / yaiouom
  Prototype extension of the Rust type system towards checking units-of-measure
  ☆108Updated 4 years ago
• Manishearth / mitosis
  Spawn processes with arbitrary closures in rust
  ☆109Updated 3 years ago
• jswrenn / typic
  Type-safe transmutations between layout-compatible types.
  ☆120Updated 4 years ago
• Piripant / Lystem
  L-Systems in Rust, with a turtle interpreter
  ☆26Updated 5 years ago
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆137Updated last year
• myrrlyn / calm_io
  Calm I/O operations for Rust
  ☆76Updated 3 years ago
• jackmott / rust-lexer
  A port of Rob Pike's Go lexer to Rust
  ☆48Updated 4 years ago
• Kixiron / crunch-lang
  A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.
  ☆52Updated 3 years ago
• willcrichton / tyrade
  A pure functional language for type-level programming in Rust
  ☆323Updated 2 years ago
• Pebaz / LambdaCore
  An interpreted language written in Rust inspired by the Lisp family of languages.
  ☆60Updated 2 years ago
• gtestault / primitive-recursive-functions
  Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
  ☆38Updated 5 years ago
• vorner / vorner.github.io
  ☆81Updated last year
• harryfei / sugar-rs
  Rust syntax sugar collections.
  ☆130Updated 5 years ago
• itsybitesyspider / retriever
  Retriever stores ordinary rust data types in a similar manner as a NoSQL database.
  ☆48Updated last year
• luminalang / lumina
  Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…
  ☆81Updated last week
• samrat / rug
  A stripped-down version of Git, implemented in Rust
  ☆132Updated 6 months ago
• lark-exploration / lark
  A demand-driven compiler with strong IDE support
  ☆195Updated 2 years ago
• samrat / rusl
  A toy Lisp compiler targeting x86-64
  ☆40Updated 4 years ago