Alternatives and similar repositories for homeworld:

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

• kushti / flp
  Formalization of FLP Impossibility Theorem
  ☆18Updated 9 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• google / coq-bpf
  Coq BPF interpreter
  ☆19Updated 7 years ago
• emeryberger / COMPSCI-630
  Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
  ☆21Updated last year
• Ealdwulf / BBChop
  bisection algorithm which works on intermittent bugs
  ☆47Updated last year
• SHA-mbles / SHA-mbles.github.io
  Chosen-Prefix Collision Attack Against SHA-1 Hash Function
  ☆17Updated 5 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆206Updated 4 years ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 10 years ago
• mozilla / symbol-scrapers
  A bunch of scripts to scrape symbols from Linux distributions
  ☆19Updated 2 weeks ago
• 1ts-org / snipe
  curses based roost, irccloud & zulip client (a snipe is a kind of bird)
  ☆18Updated 4 years ago
• JohnCremona / ecdata
  Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…
  ☆20Updated last year
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 5 years ago
• davidmalcolm / coconut
  An experimental method JIT for CPython 3
  ☆29Updated 8 years ago
• facebookincubator / antlir
  ANoTher Linux Image buildeR
  ☆84Updated this week
• msaroufim / C-compiler-optimizations
  Description of commonly done compiler optimizations in C
  ☆44Updated 2 years ago
• compserv / hknweb
  The new HKN website (using Django, hopefully at hkn.eecs.berkeley.edu soon)
  ☆20Updated this week
• google / capsicum-test
  Test suite for Capsicum
  ☆46Updated 5 months ago
• barnowl / barnowl
  A multi-protocol curses IM client.
  ☆49Updated 6 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆118Updated 2 years ago
• elivepatch / elivepatch-client
  Flexible Distributed Linux Kernel Live Patching
  ☆26Updated 5 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated last week
• anishathalye / notary
  Notary: A Device for Secure Transaction Approval 📟
  ☆28Updated 2 months ago
• facebook / netconsd
  Receive and process logs from the Linux kernel.
  ☆53Updated last month
• digama0 / lean-rs
  High level Lean 4 FFI for Rust
  ☆13Updated last year
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• g2p / vido
  wrap commands in throwaway virtual machines — easy kernel debugging and regression testing
  ☆44Updated 8 months ago
• agl / dnscurve
  Tools for DNS curve implementation
  ☆24Updated 16 years ago
• danluu / fs-errors
  Reproducing resuts from old papers on modern filesystems
  ☆22Updated 7 years ago