Alternatives and similar repositories for each

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

• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 9 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 2 months ago
• birkenfeld / ruthenium
  Ack-like search tool written in Rust
  ☆18Updated 9 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• darius / tush
  Literate testing for command-line programs
  ☆57Updated 9 years ago
• cauterize-tools / cauterize
  Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.
  ☆46Updated 8 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• DRMacIver / schroedinteger
  Is this integer dead or alive?
  ☆45Updated 8 years ago
• codahale / nanostat
  A Rust library and CLI tool for evaluating whether two or more sets of measurements are statistically different.
  ☆16Updated 2 years ago
• pascalpoizat / fbpmn
  formal tools for BPMN
  ☆34Updated 4 months ago
• softdevteam / krun
  High fidelity benchmark runner
  ☆90Updated 4 years ago
• tarcieri / ithos
  A cryptographically verifiable access control and directory system for Linux servers
  ☆55Updated 8 years ago
• Nagasaki45 / krihelinator
  "Trendiness of open source software should be assessed by contribution rate, not by stars" - Meir Kriheli
  ☆45Updated 5 years ago
• rescrv / gitswitch
  Hubs operate at layer one; switches operate at layer two.
  ☆13Updated 9 years ago
• jorendorff / talks
  Some talks I've given
  ☆91Updated 2 years ago
• mhagger / diff-slider-tools
  Tools for experimenting diff "slider" heuristics
  ☆55Updated 9 years ago
• jsirois / sapling
  A git porcelain to manage bidirectional subtree syncing with foreign git repositories
  ☆31Updated 7 years ago
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆13Updated 6 years ago
• kurtbrose / ufork
  a small, lightweight pre-forking container
  ☆21Updated 5 years ago
• prg-titech / magritte
  A language for pipe-based programming
  ☆53Updated 2 years ago
• monte-language / monte
  A dynamic language inspired by Python and E.
  ☆78Updated 4 years ago
• kragniz / typejudge
  Automated semver compliance based on type hints
  ☆16Updated 9 years ago
• thomasballinger / rlundo
  undo in any program that uses readline
  ☆164Updated 7 years ago
• androm3da / libfaultinj
  Fault injection library
  ☆51Updated 9 years ago
• llllllllll / phorth
  A small forth-like language that targets the CPython VM.
  ☆52Updated 7 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• iangrunert / git-ratchet
  Iteratively improve software with git-ratchet
  ☆95Updated 5 years ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 3 years ago
• bitgn / fdb-cloud-test
  Packer + Terraform setup to experiment with FDB clusters in the cloud.
  ☆27Updated 5 years ago