Alternatives and similar repositories for zit

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

• gs0510 / rustrace
  Strace in Rust
  ☆48Updated 3 years ago
• jaseemabid / inc
  An incremental approach to compiler construction
  ☆84Updated 5 years ago
• clintonmead / haskell_bits
  ☆54Updated 5 years ago
• lynn / aoc-2018
  Advent of Code 2018 solutions in 25 different languages!
  ☆23Updated 7 years ago
• plaidfinch / myxine
  Get a GUI fast in any language under the sea!
  ☆47Updated 2 years ago
• ruuda / blog
  My personal site
  ☆137Updated 2 months ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆72Updated 8 years ago
• haze / pill
  the ill programming language & interpreter
  ☆13Updated 7 years ago
• codewaterlabs / vimtris
  ☆25Updated 7 years ago
• JDemler / BidirectionalTypechecking
  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
  ☆118Updated 6 years ago
• jorendorff / talks
  Some talks I've given
  ☆91Updated 2 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆71Updated 6 years ago
• WesleyAC / plotty-bird
  Flappy Bird implemented on the HP7440A pen plotter
  ☆177Updated 6 years ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆30Updated 2 years ago
• cronokirby / ludus
  A pluggable NES emulator
  ☆31Updated 6 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 11 months ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆51Updated 8 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• brendanzab / moniker
  Automagical variable binding library for Rust
  ☆68Updated 6 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 6 years ago
• Manishearth / oreutils
  Installer for various Rust reimaginations of coreutils. These are not drop-in replacements.
  ☆94Updated 2 years ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆125Updated 6 years ago
• snoyberg / validation-rs
  A Result-like type that can collect multiple Errs
  ☆12Updated 5 years ago
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 5 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆48Updated 4 years ago
• Bike / mother
  what is the soul of man when soul and body seperates body dies soul lives fear not man which can only destroy the body, but fear him whic…
  ☆22Updated 12 years ago
• harpocrates / language-rust
  Parser and pretty-printer for the Rust language
  ☆86Updated 2 years ago
• nikomatsakis / rustc-on-demand-incremental-design-doc
  A draft design document / RFC describing the plan for incremental and "on-demand"
  ☆14Updated 8 years ago
• mirage / awa-ssh
  Purely functional SSH library in ocaml.
  ☆104Updated 6 months ago