Leonhard Markert's repositories
fly-tor-bridge-obfs4
Launch an obfs4 Tor bridge on Fly in under a minute!
cqengine-phtree
PhTree indices for CQEngine
abseil-cpp
Abseil Common Libraries (C++)
agda-bigop
Big operators in Agda: Cambridge CST Part III thesis (2015)
datasette-leaflet-geojson
Datasette plugin that replaces any GeoJSON column values with a Leaflet map.
en16931-data-extractor
Data Extractor for the European e-Invoice Specification (EN16931)
goldenscene.today
https://goldenscene.today
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
liquidhaskell
Liquid Types For Haskell
localzero-data-public
Intern data storage for gz package
mastr-export
Python library and tool to extract data from the Marktstammdatenregister export
open-MaStR
Repository for code to download the database Marktstammdatenregister (MaStR)
python-for-scientists
WORK IN PROGRESS
random-quality
Framework for testing quality of random number generators
rqlite.io
rqlite.io source code
vaccine-feed-ingest
Tools to download and aggregate feeds of vaccination clinic location information in the United States.