vaibhawvipul / concurrent-sat-solver-rs

Related projects ⓘ

Alternatives and complementary repositories for concurrent-sat-solver-rs

• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆52Updated 3 months ago
• verse-lab / bythos
  Compositional Verification of Composite Byzantine Protocols
  ☆11Updated 2 months ago
• TiarkRompf / reachability
  ☆37Updated 6 months ago
• yywe / yoursql
  Your SQL database for learning purpose
  ☆75Updated 5 months ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆23Updated 10 months ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆48Updated 4 months ago
• dylibso / wasmstore
  A content-addressable datastore for WebAssembly modules
  ☆53Updated last month
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆60Updated last week
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆100Updated 3 weeks ago
• informalsystems / modelator
  Model-based testing tool
  ☆53Updated 5 months ago
• eatonphil / raft-rs
  Another minimal Raft implementation in Rust.
  ☆175Updated 9 months ago
• LAC-Tech / interlog
  A local first persistent log
  ☆32Updated this week
• egraphs-good / eggcc
  ☆51Updated this week
• redixhumayun / async-rust
  ☆20Updated last month
• spacewalkhq / raft-rs
  An understandable, fast and scalable Raft Consensus implementation
  ☆129Updated last month
• tidwall / bgen
  B-tree generator for C
  ☆99Updated last week
• acorrenson / WiSE
  A formally verified bug finder
  ☆14Updated last year
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆48Updated 3 weeks ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆53Updated 3 months ago
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆145Updated 2 months ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆100Updated this week
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆80Updated last year
• awslabs / s2n-bignum
  ☆126Updated this week
• git-bruh / vmm
  Small KVM-based hypervisor, boots Linux (WIP)
  ☆11Updated 6 months ago
• Gifted-s / velarixdb
  An LSM storage engine designed to significantly reduce I/O amplification written in safe rust (Under active development)
  ☆16Updated this week
• vaivaswatha / pliron
  Programming Languages Intermediate Representation
  ☆87Updated 2 weeks ago
• harp-lab / gdlog
  ☆75Updated 3 weeks ago
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆23Updated 2 months ago
• conradludgate / arc-discharge
  Fast and correct async IO runtime in a small amount of readable code. Inspired by tokio
  ☆70Updated 6 months ago