curiousleo

fly-tor-bridge-obfs4

Launch an obfs4 Tor bridge on Fly in under a minute!

cqengine-phtree

PhTree indices for CQEngine

setup

NixOS setup and configuration files

abseil-cpp

Abseil Common Libraries (C++)

agda-bigop

Big operators in Agda: Cambridge CST Part III thesis (2015)

apis

apis list

camlboot

Experiment on how to bootstrap the OCaml compiler

datasette-leaflet-geojson

Datasette plugin that replaces any GeoJSON column values with a Leaflet map.

dev-env

Per-project isolated set of dev tools

en16931-data-extractor

Data Extractor for the European e-Invoice Specification (EN16931)

goldenscene.today

https://goldenscene.today

janet

A dynamic language and bytecode vm

liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

liquidhaskell

Liquid Types For Haskell

localzero-data-public

Intern data storage for gz package

localzero-generator-core

mastr-export

Python library and tool to extract data from the Marktstammdatenregister export

ocaml

The core OCaml system: compilers, runtime system, base libraries

open-MaStR

Repository for code to download the database Marktstammdatenregister (MaStR)

pdf-crypt

Encrypt and decrypt PDFs with this tiny app.

pringo

A library of splittable pseudo-random number generators for OCaml

python-for-scientists

WORK IN PROGRESS

random-quality

Framework for testing quality of random number generators

rngs

Extra RNGs

roxmltree

Represent an XML 1.0 document as a read-only tree.

rqlite.io

rqlite.io source code

sexp

S-Expression parsing/printing made fun and easy

stackage

"Stable Hackage": vetted consistent packages from Hackage

thanos

Highly available Prometheus setup with long term storage capabilities. A CNCF Incubating project.

vaccine-feed-ingest

Tools to download and aggregate feeds of vaccination clinic location information in the United States.