meithecatte / rustc-sat

Related projects ⓘ

Alternatives and complementary repositories for rustc-sat

• graydon / bocu1
  a BOCU-1 encoder/decoder library in rust
  ☆18Updated last year
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆26Updated 2 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆63Updated 4 years ago
• nikomatsakis / rust-name-resolution-algorithm
  A prototype of my proposed name resolution algorithm for Rust.
  ☆12Updated 8 years ago
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated 2 years ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆30Updated 3 years ago
• katef / kye
  Kye
  ☆22Updated 2 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆24Updated 6 years ago
• playXE / garbage-collector
  Garbage collector implementation in Rust for Rust
  ☆13Updated 4 years ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆15Updated 2 weeks ago
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆20Updated 6 years ago
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆12Updated 3 years ago
• tosc-rs / mnemos-alloc
  An async allocator with Fun™️ unsafe Rust
  ☆18Updated last year
• sunfishcode / ambient-authority
  Ambient Authority
  ☆19Updated last year
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 3 years ago
• nikomatsakis / pliss-2019
  Slides for PLISS 2019
  ☆10Updated 5 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 3 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆23Updated 2 years ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆28Updated last year
• vrtbl / aspen
  Passerine's package manager.
  ☆22Updated 2 years ago
• fitzgen / fast-bernoulli
  Efficient sampling with uniform probability
  ☆32Updated 2 years ago
• yvt / svgbobdoc
  Rust procedural macro that renders ASCII diagrams in doc comments as SVG images.
  ☆19Updated last year
• fitzgen / shuffling-allocator
  ☆24Updated 3 years ago
• dtolnay / serde-stacker
  Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack
  ☆33Updated this week
• gnzlbg / is_sorted
  Is an Iterator sorted?
  ☆20Updated last year
• JoshMcguigan / nerve
  ☆17Updated 4 years ago