DRMacIver / eachLinks
A small batch processing utlity
☆12Updated 3 years ago
Alternatives and similar repositories for each
Users that are interested in each are comparing it to the libraries listed below
Sorting:
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- A Rust library and CLI tool for evaluating whether two or more sets of measurements are statistically different.☆16Updated 2 years ago
- Proposed documentation for alloytools.org☆71Updated last month
- CrashDB is an ephemeral in-memory NoSQL database for the confident developer.☆22Updated 7 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 9 years ago
- curses based roost, irccloud & zulip client (a snipe is a kind of bird)☆18Updated 5 years ago
- Modeling DNS with Alloy☆37Updated 3 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- A git porcelain to manage bidirectional subtree syncing with foreign git repositories☆31Updated 7 years ago
- Tools for experimenting diff "slider" heuristics☆54Updated 9 years ago
- Structured json log viewer in the browser☆21Updated 8 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 8 years ago
- Is this integer dead or alive?☆45Updated 8 years ago
- a small, lightweight pre-forking container☆21Updated 4 years ago
- A Packer definition for NixOS. It builds a Vagrant box for NixOS 14.04 x86_64.☆30Updated 9 years ago
- formal tools for BPMN☆34Updated 4 months ago
- Wolf is a wrapper around Amazon Simple Workflow Service.☆16Updated 2 years ago
- Repository for my Hypothesis training course☆11Updated 9 years ago
- A cryptographically verifiable access control and directory system for Linux servers☆55Updated 8 years ago
- Generate an authorized_keys file from users stored in AWS IAM☆20Updated 7 years ago
- Some talks I've given☆91Updated 2 years ago
- Ack-like search tool written in Rust☆18Updated 9 years ago
- generate a tree of diverse file names☆50Updated last year
- A language for pipe-based programming☆53Updated 2 years ago
- JSONCDC is now maintained at,☆90Updated 7 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆13Updated 6 years ago
- Fault injection library☆51Updated 9 years ago
- Literate testing for command-line programs☆57Updated 9 years ago
- High fidelity benchmark runner☆90Updated 4 years ago
- a git extension to work with CODEOWNERS files☆20Updated 5 years ago