cuplv / adapton-lab.rust

Related projects: ⓘ

• cuplv / iodyn.rust
  Collections Library for Adapton, in Rust
  ☆13Updated 7 years ago
• plum-umd / adapton.rust
  ☆26Updated this week
• cuplv / adapton.rust
  ☆31Updated this week
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆51Updated 7 years ago
• freebroccolo / monad.rs
  ☆10Updated this week
• nagisa / math.rs
  Implementation of libm in rust
  ☆33Updated 7 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
• freebroccolo / morphism.rs
  ☆11Updated this week
• huonw / llvmint
  ☆25Updated 9 years ago
• nikomatsakis / dogged
  Experimental persistent collections in Rust
  ☆44Updated 6 years ago
• willcrichton / rabbot
  Abstract binding tree code generator
  ☆36Updated 7 years ago
• GSam / rust-refactor
  Rust refactoring project
  ☆19Updated 7 years ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆93Updated 8 years ago
• advancedresearch / linear_solver
  A linear solver designed to be easy to use with Rust enums.
  ☆32Updated 3 years ago
• Manishearth / humpty_dumpty
  Implicit Drop/move protection for Rust (linear types)
  ☆12Updated 9 years ago
• fitzgen / dwprod
  ☆17Updated 2 years ago
• codahale / pcg.rs
  A Rust implementation of the PCG PRNG.
  ☆23Updated 7 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆66Updated 4 years ago
• nikomatsakis / rusty-peg
  ☆17Updated 8 years ago
• graydon / z3-rs
  ☆23Updated 6 years ago
• pcwalton / multilist
  Safe, intrusive doubly-linked lists for Rust
  ☆17Updated 9 years ago
• serde-deprecated / quasi
  No longer maintained
  ☆38Updated 7 years ago
• pczarn / gearley
  An Earley parser engine in Rust.
  ☆32Updated 2 months ago
• mAarnos / Serkr
  An automated theorem prover for first order logic.
  ☆28Updated 7 years ago
• AtheMathmo / rugrads
  A proof of concept automatic differentiation library for Rust
  ☆23Updated 6 years ago
• fitzgen / scrapmetal
  Scrap Your Rust Boilerplate
  ☆54Updated 6 years ago
• pthariensflame / refraction
  A general-purpose lens library for Rust.
  ☆29Updated 7 years ago
• brendanzab / moniker
  Automagical variable binding library for Rust
  ☆68Updated 4 years ago
• kerinin / cfrp-rs
  Concurrent Functional Reactive Programming for Rust
  ☆16Updated 8 years ago