solidsnack Goto Github PK

agda-tutorial

Problems from "Dependently Typed Programming in Agda".

ahab

Docker event handling with Python

alarm

A simple & super fast & responsive Ghost theme

algorithms

A library of algorithms and containers for Ruby.

alice

Monitoring and REST interface to rabbitmq

android-rs-glue

Glue between Rust and Android

annotext

Format-preserving conversion of plaintext to HTML.

ansible

Model-driven configuration management, multi-node deployment/orchestration, and remote task execution system. Uses SSH by default, so there is no special software has to be installed on the nodes you manage. Ansible can be extended in any language. Note: The default branch is the development branch which many people run directly from checkout, if you need a stable version, see the release-XX branches, tags, or ansible.cc/releases.

argh

An argparse wrapper that doesn't make you say "argh" each time you deal with it.

artichoke

💎 Artichoke is a Ruby made with Rust

arx

Bundles code and a job to run for local or remote execution.

awacs

Python library for AWS Access Policy Language creation

aws

Amazon Web Services for Haskell

ballista

bash

bash-remoting

beam

Apache Beam

bert

haskell implementation of BERT[-RPC] (http://bert-rpc.org/)

bikes-on-bart

Determine whether or not bikes can run on BART.

boto

Python interface to Amazon Web Services

brewgramming

Varied formulas

bundler

Manage your application's gem dependencies with less pain

bytestring-nums

Haskell package to convert ByteStrings to numbers.

cadir

CA management utility.

cassava

cfgcc

charts

Bitnami Helm Charts

chronic

Chronic is a pure Ruby natural language date parser.

chronos

Fault tolerant job scheduler that handles dependencies and iso8601 based schedules.

clibpq

Porting libpq to Mac