Alternatives and similar repositories for each:

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

• npryce / python-factcheck
  A simple but extensible implementation of QuickCheck for Python 2.7 and Python 3 that works well with Pytest.
  ☆18Updated 11 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 3 years ago
• codahale / ministat
  A small tool to do the statistics legwork on benchmarks etc.
  ☆75Updated 8 years ago
• silentbicycle / skel
  tiny command-line skeleton/snippet thing
  ☆21Updated 6 years ago
• inanna-malick / detect
  ☆29Updated 2 weeks ago
• kennknowles / python-either
  Maybe and Either data structures for Python
  ☆17Updated 12 years ago
• kurtbrose / ufork
  a small, lightweight pre-forking container
  ☆21Updated 4 years ago
• llllllllll / adt
  Algebraic data types for python
  ☆22Updated 7 years ago
• getsentry / calm
  A meta lint tool experiment
  ☆15Updated 7 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
• pkamenarsky / sherlock
  Structured json log viewer in the browser
  ☆21Updated 8 years ago
• cstrahan / nix-packer
  A Packer definition for NixOS. It builds a Vagrant box for NixOS 14.04 x86_64.
  ☆30Updated 8 years ago
• fsaintjacques / recordlite
  ☆22Updated 2 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• birkenfeld / ruthenium
  Ack-like search tool written in Rust
  ☆18Updated 8 years ago
• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆30Updated 3 years ago
• jgbyrne / jann
  jann - configuration deployment tool for *nix
  ☆36Updated 5 years ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 8 years ago
• glyph / lancer
  Easily provision certificates for whatever hostnames you need, without having to expose them to the Internet.
  ☆21Updated 3 years ago
• slott56 / PyLit-3
  Literate Programming in Python3
  ☆17Updated 5 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• abe-winter / pg13-py
  fast(er) SQL mocking for python
  ☆15Updated 4 years ago
• softdevteam / libkalibera
  libkalibera
  ☆16Updated 2 years ago
• valpackett / soad
  SOcket Activator/Deactivator: like inetd but not really | now on https://codeberg.org/valpackett/soad
  ☆17Updated 2 years ago
• gunnihinn / crashdb
  CrashDB is an ephemeral in-memory NoSQL database for the confident developer.
  ☆22Updated 6 years ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 3 years ago
• gquintard / libvmod-pupa
  A toy vmod written in Rust
  ☆10Updated last year
• 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