Alternatives and similar repositories for lltz:

Users that are interested in lltz are comparing it to the libraries listed below

• apllodb / apllodb
  A RDBMS with Immutable Schema feature
  ☆33Updated 3 years ago
• coord-e / ccc
  optimizing compiler for a subset of C language
  ☆34Updated 5 years ago
• tugawa / ejs-new
  ☆17Updated 3 years ago
• denzp / rustc-llvm-proxy
  Proxy LLVM calls into Rust own shared library in runtime
  ☆33Updated 10 months ago
• imasahiro / wasmbox
  WasmBox is an embeddable WebAssembly runtime, with a focus on portability, compact footprint, and performance.
  ☆9Updated 3 years ago
• togatoga / screwsat
  A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
  ☆37Updated 7 months ago
• google / coq-bpf
  Coq BPF interpreter
  ☆19Updated 7 years ago
• onion-lang / onion
  Onion - statically typed object-oriented programming language
  ☆26Updated 2 weeks ago
• qnighy / logic-solver-rs
  ☆45Updated 2 years ago
• fujita / rust-nvme
  ☆15Updated 2 years ago
• fetburner / type-infer
  A Formal Verification of Algorithm W
  ☆17Updated 3 years ago
• r1ru / WasmOS
  A proof-of-concept microkernel that runs WebAssembly natively.
  ☆64Updated 11 months ago
• aigarashi / copl-tools
  tools for the book "Concepts of Programming Languages"
  ☆19Updated 3 years ago
• hatsugai / SyncStitch
  A Refinement Checker based on CSP
  ☆28Updated 2 years ago
• lemolatoon / toy-shakyo
  ☆14Updated last year
• koba-e964 / min-caml-rust
  A min-caml port to Rust
  ☆25Updated last month
• herumi / simdgen
  A library to generate a SIMD code for AVX-512/SVE from a given function string.
  ☆21Updated 3 years ago
• naoki9911 / quic-zig
  Toy QUIC implementation in Zig
  ☆12Updated 4 months ago
• bytecodealliance / wasm-score
  A benchmark for standalone WebAssembly
  ☆30Updated 5 months ago
• ahalbert / ted
  A tool for editing files according to the rules of a provided Turing Machine
  ☆30Updated this week
• kearch / kearch
  Distributed search engine
  ☆55Updated 5 years ago
• sisshiki1969 / monocc
  c compiler
  ☆15Updated 4 years ago
• akawashiro / ros3fs
  ros3fs is a Linux FUSE adapter for AWS S3 and S3 compatible object storages.
  ☆14Updated last year
• rutgers-apl / rlibm-all
  RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…
  ☆14Updated last year
• faasm / faasmjs
  Serverless browser offloading with Faasm and WebAssembly
  ☆16Updated 2 years ago
• coord-e / mlml
  self-hosted compiler for a subset of OCaml
  ☆50Updated 5 years ago
• 0918nobita / mylang
  Programming language implementation for learning purposes
  ☆16Updated this week
• hopv / hoice
  An ICE-based predicate synthesizer for Horn clauses.
  ☆49Updated 9 months ago
• YouyouCong / ppl-summer-school-2022
  ☆24Updated 2 years ago