Alternatives and similar repositories for homeworld:

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

• emeryberger / COMPSCI-630
  Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
  ☆21Updated last year
• cucapra / styleguide
  rules for writing and typesetting
  ☆24Updated 3 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 2 years ago
• barnowl / barnowl
  A multi-protocol curses IM client.
  ☆49Updated 5 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 5 years ago
• softdevteam / krun
  High fidelity benchmark runner
  ☆86Updated 3 years ago
• Ealdwulf / BBChop
  bisection algorithm which works on intermittent bugs
  ☆47Updated last year
• anishathalye / notary
  Notary: A Device for Secure Transaction Approval 📟
  ☆28Updated last year
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆36Updated 10 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated 10 months ago
• dzamlo / treeify
  ☆21Updated 4 years ago
• regehr / rb_tree_demo
  code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
  ☆18Updated 6 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆47Updated 2 years ago
• KittyCAD / cli
  The Zoo command line tool.
  ☆17Updated this week
• mricon / patatt
  Patch attestation utility
  ☆27Updated 11 months ago
• achernya / hesiod
  Hesiod name service library
  ☆19Updated 6 years ago
• kushti / flp
  Formalization of FLP Impossibility Theorem
  ☆18Updated 9 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆49Updated 2 weeks ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆30Updated 4 years ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 8 years ago
• 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
• google / capsicum-test
  Test suite for Capsicum
  ☆46Updated 3 months ago
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated last year
• alexcourouble / email2git
  Matching Commits with Their Mailing List Discussions
  ☆39Updated 6 years ago
• GumTreeDiff / cgum
  The C parser for GumTree
  ☆13Updated 4 years ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆18Updated last year
• bloomberg / userchroot
  A tool to allow controlled access to 'chroot' functionality by users without root permissions
  ☆21Updated 4 years ago