Alternatives and similar repositories for each

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

• birkenfeld / ruthenium
  Ack-like search tool written in Rust
  ☆18Updated 9 years ago
• gunnihinn / crashdb
  CrashDB is an ephemeral in-memory NoSQL database for the confident developer.
  ☆22Updated 7 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 7 years ago
• cauterize-tools / cauterize
  Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.
  ☆46Updated 8 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 3 years ago
• 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
• Nagasaki45 / krihelinator
  "Trendiness of open source software should be assessed by contribution rate, not by stars" - Meir Kriheli
  ☆45Updated 5 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 5 months ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 4 years ago
• lukegb / yourdatafitsinram
  ☆28Updated 5 years ago
• mhagger / diff-slider-tools
  Tools for experimenting diff "slider" heuristics
  ☆55Updated 9 years ago
• killercup / english-lint
  Find common stylistic problems in english texts. Works well for technical or scientific documents.
  ☆33Updated 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
• 1ts-org / snipe
  curses based roost, irccloud & zulip client (a snipe is a kind of bird)
  ☆18Updated 5 years ago
• tarcieri / ithos
  A cryptographically verifiable access control and directory system for Linux servers
  ☆55Updated 8 years ago
• androm3da / libfaultinj
  Fault injection library
  ☆52Updated 9 years ago
• valpackett / soad
  SOcket Activator/Deactivator: like inetd but not really | now on https://codeberg.org/valpackett/soad
  ☆17Updated 3 years ago
• bootzin / bloc
  bloc is a better locate tool for finding files in your system
  ☆19Updated 7 years ago
• inanna-malick / detect
  ☆55Updated 2 months ago
• prg-titech / magritte
  A language for pipe-based programming
  ☆53Updated 3 years ago
• codahale / sketchy
  A small set of useful probabilistic data structures.
  ☆69Updated 7 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 8 months ago
• nabijaczleweli / tweetr
  tweetr is a platform that allows you to create and queue tweets to be shared when YOU want. You create content when you have time and the…
  ☆18Updated 7 years ago
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆14Updated 6 years ago
• yaybu / yay
  yay ain't YAML
  ☆15Updated 11 years ago
• jacwah / oak
  A recursive directory listing utility for the modern age (experimental)
  ☆22Updated 7 years ago
• jorendorff / talks
  Some talks I've given
  ☆91Updated 3 years ago