Alternatives and similar repositories for each

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

• DRMacIver / schroedinteger
  Is this integer dead or alive?
  ☆45Updated 8 years ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 9 years ago
• gunnihinn / crashdb
  CrashDB is an ephemeral in-memory NoSQL database for the confident developer.
  ☆22Updated 7 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• slott56 / PyLit-3
  Literate Programming in Python3
  ☆18Updated 6 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• sinopiaolive / package-manager
  The package manager.
  ☆36Updated 2 years ago
• llllllllll / adt
  Algebraic data types for python
  ☆22Updated 8 years ago
• 1ts-org / snipe
  curses based roost, irccloud & zulip client (a snipe is a kind of bird)
  ☆18Updated 5 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated last month
• deadpixi / dpdb
  A Python DB-API abstraction module.
  ☆27Updated 8 years ago
• mhagger / diff-slider-tools
  Tools for experimenting diff "slider" heuristics
  ☆52Updated 9 years ago
• pkamenarsky / sherlock
  Structured json log viewer in the browser
  ☆21Updated 8 years ago
• glyph / lancer
  Easily provision certificates for whatever hostnames you need, without having to expose them to the Internet.
  ☆21Updated 4 years ago
• di / divspl
  Dustin Ingram's Very Special Programming Language
  ☆56Updated 8 years ago
• kurtbrose / ufork
  a small, lightweight pre-forking container
  ☆21Updated 4 years ago
• cstrahan / nix-packer
  A Packer definition for NixOS. It builds a Vagrant box for NixOS 14.04 x86_64.
  ☆30Updated 9 years ago
• pascalpoizat / fbpmn
  formal tools for BPMN
  ☆34Updated 3 months ago
• birkenfeld / ruthenium
  Ack-like search tool written in Rust
  ☆18Updated 9 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• DRMacIver / hecate
  A terrible way of testing terminal applications
  ☆45Updated 5 years ago
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 6 years ago
• ncolony / ncolony
  A colony of interacting processes
  ☆23Updated last year
• travisbrown / octocrabby
  Tools for managing GitHub block lists
  ☆99Updated 2 years ago
• jsirois / sapling
  A git porcelain to manage bidirectional subtree syncing with foreign git repositories
  ☆31Updated 7 years ago
• brthor / lambdazen
  A better python lambda syntax (`a = (x) > x`) based on runtime source rewriting
  ☆46Updated 8 years ago
• williame / obiwan
  a function parameter type checker; a json validator
  ☆81Updated 10 years ago
• jneen / parsy
  301 moved permanently https://github.com/python-parsy/parsy
  ☆42Updated 8 years ago
• killercup / english-lint
  Find common stylistic problems in english texts. Works well for technical or scientific documents.
  ☆33Updated 9 years ago
• thomasballinger / rlundo
  undo in any program that uses readline
  ☆162Updated 7 years ago