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
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• SupraSummus / dhall-python
  Work in progress pure python dhall interpreter
  ☆27Updated 6 years ago
• gunnihinn / crashdb
  CrashDB is an ephemeral in-memory NoSQL database for the confident developer.
  ☆22Updated 6 years ago
• birkenfeld / ruthenium
  Ack-like search tool written in Rust
  ☆18Updated 9 years ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 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
• kennknowles / python-either
  Maybe and Either data structures for Python
  ☆17Updated 12 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• kurtbrose / ufork
  a small, lightweight pre-forking container
  ☆21Updated 4 years ago
• radix / sumtypes
  Sum Types, aka Tagged Unions, for Python
  ☆43Updated 3 years ago
• softprops / git-codeowners
  a git extension to work with CODEOWNERS files
  ☆20Updated 5 years ago
• Fordi / how-to-c
  An update of "How to C in 2016", based on the original and on Keith Thompson's commentary.
  ☆10Updated 9 years ago
• DRMacIver / schroedinteger
  Is this integer dead or alive?
  ☆45Updated 8 years ago
• 1ts-org / snipe
  curses based roost, irccloud & zulip client (a snipe is a kind of bird)
  ☆18Updated 5 years ago
• imbal / vex
  ☆16Updated 6 years ago
• prg-titech / magritte
  A language for pipe-based programming
  ☆52Updated 2 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• llllllllll / adt
  Algebraic data types for python
  ☆22Updated 8 years ago
• mohd-akram / compilers
  A list of compilers with some metadata.
  ☆12Updated 10 months ago
• silentbicycle / skel
  tiny command-line skeleton/snippet thing
  ☆21Updated 6 years ago
• glyph / lancer
  Easily provision certificates for whatever hostnames you need, without having to expose them to the Internet.
  ☆21Updated 3 years ago
• honeycombio / buildevents-orb
  Orb for CircleCI to instrument builds with Honeycomb
  ☆13Updated 6 months ago
• di / divspl
  Dustin Ingram's Very Special Programming Language
  ☆55Updated 7 years ago
• kragniz / typejudge
  Automated semver compliance based on type hints
  ☆16Updated 8 years ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 3 years ago
• chingjun / rustybox
  Rustybox is something like busybox, but written in Rust language.
  ☆11Updated 11 years ago
• slott56 / PyLit-3
  Literate Programming in Python3
  ☆17Updated 6 years ago
• ryneeverett / mkcodes
  A command-line utility for pulling code blocks out of markdown files.
  ☆14Updated 3 years ago
• jmillikin / anansi
  ☆10Updated 2 years ago