Auke Booij's starred repositories
awesome-cold-showers
For when people get too hyped up about things
haskell-companies
A gently curated list of companies using Haskell in industry
vcardfilter
Python script to filter vCard contacts with phone number.
interviews.ai
It is my belief that you, the postgraduate students and job-seekers for whom the book is primarily meant will benefit from reading it; however, it is my hope that even the most experienced researchers will find it fascinating as well.
peilingwijzer
This provides basic replication materials for the Dutch Polling Indicator (Peilingwijzer).
browserpass-extension
Browserpass web extension
material-shell
A modern desktop interface for Linux. Improve your user experience and get rid of the anarchy of traditional desktop workflows. Designed to simplify navigation and reduce the need to manipulate windows in order to improve productivity. It's meant to be 100% predictable and bring the benefits of tools coveted by professionals to everyone.
full-fledged-hledger
Tutorial on Hledger setup with multi-year files, multi-source imports and a range of auto-generated reports
hledger-flow
An hledger/ledger-cli workflow focusing on automated statement import and classification
call-haskell-from-anything
Call Haskell functions from any programming language via serialization and dynamic libraries
browserpass-legacy
Legacy Browserpass repo, development is now happening at:
native-coq
Coq with native compilation, as well as machine integers and arrays !
greenfield
HTML5 Wayland compositor :seedling:
HoTTClasses
HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)
foundation
Empire strikes back