mkallmayer's Stars
jgm/pandoc
Universal markup converter
PHPMailer/PHPMailer
The classic email sending library for PHP
marceloprates/prettymaps
A small set of Python functions to draw pretty maps from OpenStreetMap data. Based on osmnx, matplotlib and shapely libraries.
benawad/dogehouse
Taking voice conversations to the moon 🚀
mailcow/mailcow-dockerized
mailcow: dockerized - 🐮 + 🐋 = 💕
anvaka/city-roads
Visualization of all roads within any city
varkor/quiver
A modern commutative diagram editor for the web.
jozefg/learn-tt
A collection of resources for learning type theory and type theory adjacent fields.
pjsip/pjproject
PJSIP project
AbsInt/CompCert
The CompCert formally-verified C compiler
vitling/acid-banger
The Endless Acid Banger
emikulic/darkhttpd
When you need a web server in a hurry.
tweag/HaskellR
The full power of R in Haskell.
tweag/linear-base
Standard library for linear types in Haskell.
aavshr/aava.sh
Personal website as a shell
GaloisInc/http-server
A Haskell HTTP server
pcapriotti/hott-exercises
Solutions of the exercises of the HoTT book
sdiehl/galois-fft
Finite field polynomial arithmetic based on fast Fourier transforms
DejanDraschkow/mixedpower
microraptor/wahlomat_analysis
Analyzes www.wahl-o-mat.de German political party data
ekmett/linear-haskell
linear haskell playground
lolepezy/rpki-prover
Yet another RPKI validator
felixnon/musicodes
MusiCodes3D can generate 3D-printable codes, which you can scan with your Spotify mobile app.
AbcAeffchen/GenerativeArt
Just a generator for images
dotKuro/angemalt
a tool to inject the same color scheme into all of your configs
jfklorenz/LaTeX-Templates
Colleciton of LaTeX templates.
dotKuro/personal-server
Setup for my private server
larshuth/KALT
SageBoettcher/online_ws
Introduction to Online Experiments using PsychoPy
sofi0071/Sofia-Lohr