Alternatives and similar repositories for homeworld

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

• anishathalye / unblock
  A tiny utility to make shell pipes behave as if they have unlimited buffering ♾
  ☆9Updated 4 months ago
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 5 years ago
• Ealdwulf / BBChop
  bisection algorithm which works on intermittent bugs
  ☆48Updated last year
• ocf / puppet
  Puppet config for OCF servers and lab machines
  ☆33Updated last month
• digama0 / lean-rs
  High level Lean 4 FFI for Rust
  ☆14Updated last year
• emeryberger / COMPSCI-630
  Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
  ☆21Updated 2 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• msaroufim / C-compiler-optimizations
  Description of commonly done compiler optimizations in C
  ☆45Updated 2 years ago
• google / coq-bpf
  Coq BPF interpreter
  ☆19Updated 7 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• mit-pdos / what
  An improved version of `w`
  ☆13Updated 8 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• google / mt
  Modern, minimalist, minty-fresh terminal
  ☆52Updated 7 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆1Updated 5 years ago
• apptainer / sif
  Singularity Image Format (SIF) reference implementation
  ☆46Updated last week
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆118Updated 2 years ago
• stratis-storage / stratis-docs
  Stratis Documentation
  ☆26Updated 3 weeks ago
• barnowl / barnowl
  A multi-protocol curses IM client.
  ☆50Updated 6 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆206Updated 5 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 11 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated 2 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆21Updated last year
• google / capsicum-test
  Test suite for Capsicum
  ☆44Updated 8 months ago
• achernya / hesiod
  Hesiod name service library
  ☆19Updated 7 years ago
• cucapra / styleguide
  rules for writing and typesetting
  ☆24Updated 3 years ago
• rocq-archive / algebra
  Basics notions of algebra
  ☆8Updated 4 years ago
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆17Updated 7 years ago
• NVIDIA / nvidia-persistenced
  NVIDIA driver persistence daemon
  ☆59Updated last week