abnf

Python parser generator for ABNF grammars

allthethings

argo-workflows

Workflow engine for Kubernetes

awesome-pattern-matching

Pattern Matching for Python 3.7+ in a simple, yet powerful, extensible manner.

base32

RFC4648 Base32 encode/decode in plpgsql

bed-and-breakfast

Matrix operations in 100% pure Haskell

bedrock

Utilities for modern java development.

biplan

Byte coded Interpreted Programming language

bitbucket-pipeline-base-docker

A docker image based on the official atlassian pipeline default with AWS CLI v2 and python3 added.

bitcoin

Bitcoin Core integration/staging tree

brainfuck

chatserver

A very simple chat server written in Haskell

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

cordova-skeleton

cpp-build-environment

An ubuntu based docker image providing a build environment to build C++ projects

cpptools

crypto-algorithms

Basic implementations of standard cryptography algorithms, like AES and SHA-1.

dataframe_sql

A Python package that parses SQL and interprets it as methods that act upon existing pandas (or other types of) DataFrames that have been declared and registered

dezimal-python

Arbitrary precision decimal numbers

docker-bitcoin-dev

docker-static-website

A very small Docker image (~154KB) to run any static website

dotfiles-mac

My dot files for working on macOS

dotfiles-ubuntu

ducking-octo-dangerzone

Bridging the Gap between Haskell and Java

dummies

Create Java/Scala mock objects with real content

easypsyco

eta

The Eta Programming Language, a dialect of Haskell on the JVM

exercise

expected

C++11/14/17 std::expected with functional-style extensions

fakeit

C++ mocking made easy. A simple yet very expressive, headers only library for c++ mocking.