Alternatives and similar repositories for blog

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

• lifthrasiir / hexf
  Hexadecimal float support for Rust
  ☆42Updated 2 months ago
• devcat-studio / kailua
  🌴 Type Checker and IDE Support for Lua
  ☆169Updated 3 years ago
• nikomatsakis / bidir-type-infer
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆46Updated 9 years ago
• bruceg / cdb-rs
  Pure Rust CDB library
  ☆17Updated 6 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆43Updated 5 years ago
• spoqa / adventure
  Helps your great adventure for the various type of requests.
  ☆11Updated 5 years ago
• kaist-cp / circ
  CIRC: Concurrent Immediate Reference Counting
  ☆53Updated 11 months ago
• klutzy / aheui-llvm
  [INACTIVE] WIP Aheui frontend for llvm, implemented in Rust
  ☆23Updated 10 years ago
• bytecodealliance / wasmparser
  A simple event-driven library for parsing WebAssembly binary files
  ☆180Updated 5 years ago
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆105Updated 3 years ago
• comex / namedarg
  Named arguments for Rust
  ☆38Updated 8 years ago
• haskell-kr / haskell-kr
  하스켈 모임 웹사이트 소스 코드
  ☆17Updated 3 years ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 9 years ago
• nrc / darkly
  ☆40Updated 6 years ago
• snu-sf / promising-coq
  The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
  ☆41Updated last year
• asajeffrey / josephine
  JS affine
  ☆69Updated 5 years ago
• lifthrasiir / wah
  WebAssembly interpreter in a Header (WAH)
  ☆24Updated 3 weeks ago
• Marwes / nanbox
  A rust crate which implements nanboxing
  ☆21Updated 8 years ago
• nikhilm / ninja-rs
  An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.
  ☆57Updated 5 years ago
• jethrogb / rust-reduce
  `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…
  ☆102Updated last year
• nikomatsakis / rustypop
  A not-yet-functional Rust parser written in LALRPOP.
  ☆35Updated 8 years ago
• kennytm / omgwtf8
  Optimized-Matching-Generalized Wobbly Transformation Format — 8-bit
  ☆38Updated 7 years ago
• luser / rust-debugger-tools-info
  ☆29Updated 7 years ago
• emilk / drop-merge-sort
  A novel adaptive sorting algorithm
  ☆177Updated 3 years ago
• willcrichton / rustc-type-metaprogramming
  ☆24Updated 7 years ago
• sdleffler / type-operators-rs
  A macro for defining type operators in Rust.
  ☆65Updated 8 years ago
• uwplse / crust
  A compiler from Rust to C, and a checker for unsafe code
  ☆84Updated 6 years ago
• bluss / defmac
  A macro to define lambda-like macros inline.
  ☆16Updated 6 years ago
• servo / heapsize
  In support of measuring heap allocations in Rust programs.
  ☆102Updated 6 years ago