Marwes / nanbox

Related projects ⓘ

Alternatives and complementary repositories for nanbox

• sdleffler / whisper
  Logic programming, for Rust, from inside Rust.
  ☆42Updated 4 years ago
• nikomatsakis / bidir-type-infer
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆45Updated 8 years ago
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆19Updated 6 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• fitzgen / bacon-rajan-cc
  ☆91Updated last year
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆106Updated 2 years ago
• jorendorff / cell-gc
  A very small GC in Rust, with a safe API
  ☆61Updated 4 months ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆31Updated 7 months ago
• softdevteam / lang_tester
  Rust testing framework for compilers and VMs
  ☆49Updated 2 months ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated last month
• rust-hosted-langs / runtimes-WG
  Working group focused on language runtimes - implementing GC and concurrency in safe Rust APIs
  ☆33Updated 6 years ago
• jazz-lang / WaffleLink
  Runtime with fast GC and easy concurrency.
  ☆42Updated 3 years ago
• gsingh93 / llvm
  Safe LLVM bindings for Rust
  ☆21Updated 10 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
• WeirdConstructor / WLambda
  WLambda - Embeddable Scripting Language for Rust
  ☆51Updated this week
• tcr / parser-c
  Haskell's language-c ported to Rust.
  ☆31Updated 6 years ago
• jDomantas / plank
  ☆59Updated 3 years ago
• kevinmehall / codemap
  A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.
  ☆50Updated 3 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆51Updated 7 years ago
• nikomatsakis / rustypop
  A not-yet-functional Rust parser written in LALRPOP.
  ☆35Updated 7 years ago
• playXE / cgc
  Copying Garbage Collector
  ☆13Updated 4 years ago
• rust-bakery / nom-peg
  PEG parser generator built on top of nom
  ☆69Updated 5 years ago
• Manishearth / humpty_dumpty
  Implicit Drop/move protection for Rust (linear types)
  ☆12Updated 9 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆23Updated 2 years ago
• kmcallister / azurescens
  Renders interactive fractal-like animations
  ☆18Updated 7 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆130Updated last year
• repnop / bismite
  ☆16Updated 3 years ago
• pvdrz / sire
  A symbolic evaluator for MIR
  ☆19Updated 4 years ago
• adam-mcdaniel / maroon-lang
  A (nearly) pure functional programming language.
  ☆24Updated 5 years ago