Alternatives and similar repositories for homeworld:

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

• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 2 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• achernya / hesiod
  Hesiod name service library
  ☆19Updated 6 years ago
• fedora-infra / the-new-hotness
  A fedora messaging consumer that files bugzilla bugs for upstream releases
  ☆44Updated 3 weeks ago
• sorear / smm
  sorear's Metamath system engine
  ☆13Updated 8 years ago
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 5 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated last year
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 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 11 months ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 2 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated last week
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆120Updated 2 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆54Updated 10 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆44Updated 3 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  Updated 5 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• grahamc / r13y.com
  NixOS Reproducibility Checker
  ☆97Updated 2 years ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆117Updated 2 years ago
• subgraph / pH
  Subgraph pH
  ☆11Updated 2 years ago
• vi / syscall_limiter
  Start Linux programs with only selected syscalls enabled (libseccomp-based)
  ☆23Updated 8 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated 11 months ago
• woodruffw / procmaps.rs
  A small Rust library for reading process maps from procfs
  ☆14Updated 7 months ago
• emeryberger / COMPSCI-630
  Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
  ☆21Updated last year
• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆30Updated 3 years ago
• robbertkrebbers / ch2o
  ☆88Updated 3 years ago
• mit-plv / riscv-coq
  RISC-V Specification in Coq
  ☆111Updated 3 weeks ago
• mAarnos / Serkr
  An automated theorem prover for first order logic.
  ☆28Updated 7 years ago