Pinned Repositories
2to11
2048 AI
agda-coinduction-experiments
Infinite data structures in Agda
bazel_compilation_database
Generate compile_commands.json for your Bazel C++ project for YouCompleteMe semantic completion.
cqengine-phtree
PhTree indices for CQEngine
fly-tor-bridge-obfs4
Launch an obfs4 Tor bridge on Fly in under a minute!
keygen
Generate keys according to @drduh's YubiKey guide
rafter
An Erlang library application which implements the Raft consensus protocol
syp
Scrypt Your Passwords (SYP) is a password manager that doesn't store your passwords.
zebra
Two Zebra Puzzle Solvers.
mastr
Werkzeuge für den Umgang mit dem Marktstammdatenregister-Gesamtexport
curiousleo's Repositories
curiousleo/fly-tor-bridge-obfs4
Launch an obfs4 Tor bridge on Fly in under a minute!
curiousleo/cqengine-phtree
PhTree indices for CQEngine
curiousleo/setup
NixOS setup and configuration files
curiousleo/abseil-cpp
Abseil Common Libraries (C++)
curiousleo/agda-bigop
Big operators in Agda: Cambridge CST Part III thesis (2015)
curiousleo/apis
apis list
curiousleo/camlboot
Experiment on how to bootstrap the OCaml compiler
curiousleo/datasette-leaflet-geojson
Datasette plugin that replaces any GeoJSON column values with a Leaflet map.
curiousleo/dev-env
Per-project isolated set of dev tools
curiousleo/en16931-data-extractor
Data Extractor for the European e-Invoice Specification (EN16931)
curiousleo/goldenscene.today
https://goldenscene.today
curiousleo/janet
A dynamic language and bytecode vm
curiousleo/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
curiousleo/liquidhaskell
Liquid Types For Haskell
curiousleo/localzero-data-public
Intern data storage for gz package
curiousleo/localzero-generator-core
curiousleo/mastr-export
Python library and tool to extract data from the Marktstammdatenregister export
curiousleo/ocaml
The core OCaml system: compilers, runtime system, base libraries
curiousleo/open-MaStR
Repository for code to download the database Marktstammdatenregister (MaStR)
curiousleo/pdf-crypt
Encrypt and decrypt PDFs with this tiny app.
curiousleo/pringo
A library of splittable pseudo-random number generators for OCaml
curiousleo/python-for-scientists
WORK IN PROGRESS
curiousleo/random-quality
Framework for testing quality of random number generators
curiousleo/rngs
Extra RNGs
curiousleo/roxmltree
Represent an XML 1.0 document as a read-only tree.
curiousleo/rqlite.io
rqlite.io source code
curiousleo/sexp
S-Expression parsing/printing made fun and easy
curiousleo/stackage
"Stable Hackage": vetted consistent packages from Hackage
curiousleo/thanos
Highly available Prometheus setup with long term storage capabilities. A CNCF Incubating project.
curiousleo/vaccine-feed-ingest
Tools to download and aggregate feeds of vaccination clinic location information in the United States.