y-isono

y-isono's Stars

• o8vm/octox

  Unix-like OS in Rust inspired by xv6-riscv

  Language:Rust1.5k241264

• mskashi/kv

  kv - a C++ Library for Verified Numerical Computation

  Language:C++861056