larsbergstrom / papers

Related projects ⓘ

Alternatives and complementary repositories for papers

• nrc / callgraph.rs
  Callgraphs for Rust programs
  ☆32Updated 9 years ago
• serde-deprecated / quasi
  No longer maintained
  ☆38Updated 7 years ago
• nikomatsakis / nll-rfc
  Non-lexical lifetimes RFC.
  ☆48Updated 6 years ago
• nikomatsakis / rustypop
  A not-yet-functional Rust parser written in LALRPOP.
  ☆35Updated 7 years ago
• nikomatsakis / rust-redex
  A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
  ☆41Updated 10 years ago
• luser / rust-debugger-tools-info
  ☆29Updated 6 years ago
• asajeffrey / josephine
  JS affine
  ☆66Updated 4 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• graydon / z3-rs
  ☆23Updated 6 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆63Updated 4 years ago
• Gankra / collect-rs
  Miscellaneous Collections
  ☆64Updated 9 years ago
• nox / wg-codegen
  Home of the Rust codegen working group 🥖
  ☆16Updated 6 years ago
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆35Updated last year
• losfair / hexagon-e
  The HexagonE VM
  ☆24Updated 2 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• rust-lang-nursery / wg-verification
  Verification working group
  ☆104Updated 5 years ago
• asajeffrey / parsell
  Parsell: an LL(1) parser combinator library for Rust
  ☆73Updated 4 years ago
• willcrichton / rabbot
  Abstract binding tree code generator
  ☆36Updated 8 years ago
• smowton / llpe
  ☆49Updated 8 months ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 5 years ago
• hawkw / seax
  A VM-based runtime environment for functional programming languages
  ☆45Updated 7 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated 10 months ago
• emberian / lets-build-a-compiler
  abandoned update of jack crenshaw's compilers intro
  ☆115Updated 6 years ago
• Arcterus / lejit
  A simple JIT library in Rust
  ☆19Updated 9 years ago
• cuplv / adapton-lab.rust
  Adapton Lab, written in Rust.
  ☆15Updated 5 years ago
• typesanitizer / bsalc-alt-code
  Code from the paper 'Build Systems à la Carte' translated to Rust-like syntax
  ☆21Updated 6 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆27Updated 10 years ago
• cuplv / iodyn.rust
  Collections Library for Adapton, in Rust
  ☆13Updated 7 years ago