Alternatives and similar repositories for each

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

• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 9 years ago
• codahale / ministat
  A small tool to do the statistics legwork on benchmarks etc.
  ☆76Updated 9 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
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 7 years ago
• kurtbrose / ufork
  a small, lightweight pre-forking container
  ☆21Updated 5 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆32Updated 7 years ago
• birkenfeld / ruthenium
  Ack-like search tool written in Rust
  ☆18Updated 9 years ago
• deadpixi / dpdb
  A Python DB-API abstraction module.
  ☆27Updated 8 years ago
• qltysh-archive / popeye
  Generate an authorized_keys file from users stored in AWS IAM
  ☆20Updated 8 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
• hausdorff / pyli
  A Python 3 compiler that anyone can understand.
  ☆67Updated 11 years ago
• slott56 / PyLit-3
  Literate Programming in Python3
  ☆18Updated 6 years ago
• pushcx / shenzhen
  Solver for Shenzen Solitaire
  ☆16Updated 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
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 4 months ago
• androm3da / libfaultinj
  Fault injection library
  ☆51Updated 9 years ago
• pkamenarsky / sherlock
  Structured json log viewer in the browser
  ☆21Updated 9 years ago
• llllllllll / adt
  Algebraic data types for python
  ☆21Updated 8 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• cauterize-tools / cauterize
  Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.
  ☆46Updated 8 years ago
• strangeloop / StrangeLoop2017
  Strange Loop 2017
  ☆77Updated 8 years ago
• prg-titech / magritte
  A language for pipe-based programming
  ☆53Updated 3 years ago
• simonsj / bt.sh
  bt.sh: timechart-like tracing with bash
  ☆96Updated 3 years ago
• sinopiaolive / package-manager
  The package manager.
  ☆36Updated 2 years ago
• SupraSummus / dhall-python
  Work in progress pure python dhall interpreter
  ☆27Updated 7 years ago
• llllllllll / phorth
  A small forth-like language that targets the CPython VM.
  ☆52Updated 7 years ago
• ramadis / slang
  📟 Encoding/Decoding tool for Martin David's theoretical S language programs.
  ☆16Updated 9 years ago
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 7 years ago