fredreichbier

black

The uncompromising Python code formatter

profile-summary-for-github

Tool for visualizing GitHub profiles

hey

HTTP load generator, ApacheBench (ab) replacement

gollum

A simple, Git-powered wiki with a local frontend and support for many kinds of markup and content.

python-prompt-toolkit

Library for building powerful interactive command line applications in Python

penrose

Create beautiful diagrams just by typing notation in plain text.

Modlishka

Modlishka. Reverse Proxy.

wger

Self hosted FLOSS fitness/workout, nutrition and weight tracker

glauth

A lightweight LDAP server for development, home use, or CI

mido

MIDI Objects for Python

FACT_core

Firmware Analysis and Comparison Tool

OpenLogic

An open-source, customizable intermediate logic textbook

memo

📓 Memo Life For You

quickcheck

Automatic testing of Haskell programs.

pip-chill

A more relaxed `pip freeze`

practical-fm

A gently curated list of companies using verification formal methods in industry

crypto

Reference implementations of AES & SHA cryptographic functions in JavaScript

pubs

Your bibliography on the command line

quickspec

Equational laws for free

ldaptor

LDAP server, client and utilities, using Twisted Python

pdfpc-latex-notes

Latex Package that allows creating a pdfpc compatible notes file directly from your latex presentation \notes.

SOMns

SOMns: A Newspeak for Concurrency Research

privacyidea-credential-provider

Credential Provider to enchance the Windows login with a second factor

privacyIDEA-ADFSProvider

A Microsoft Active Directory Federation Service provider for the open source authentication system privacyIDEA.

privacyidea-authenticator

Android OTP Authenticator App for privacyIDEA Authentication Server

math-logic-ebbinghaus

Notes and exercises from Mathematical Logic, 2nd ed. by Ebbinghaus

vagrant-galera-mariadb

MariaDB Galera cluster using vagrant

type-pragmatics

test-ca

Scripts to create a test certificate authority

type-pragmatics