Qqwy / Marten's starred repositories
bad-licenses
A compendium of absurd open-source licenses.
paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
opencascade-hs
Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library
heliclockter
Helicopter parent to your datetime objects
annotated-exception
Machinery for throwing and catching exceptions with some annotation.
text-short
Memory-efficient representation of Unicode text strings
fasta-region-inspector
A bioinformatics tool for analyzing somatic hypermutation
rust-naperian
(Experimental) Rust implementation of the paper 'APLicative programming using Naperian functors'