Tom Sydney Kerckhove

smos. A comprehensive self-management System

haskell-dangerous-functions. Documentation about Haskell's dangerous functions and a hlint config file to warn about them

validity. Validity and validity-based testing

autodocodec. self(auto)- documenting encoders and decoders

sydtest. A modern testing framework for Haskell with good defaults and advanced testing features.

syds-rules-for-sustainable-haskell.

haskell-WAT. A collection of Haskell's WATs

super-user-spark. A safe way to never worry about your beautifully configured system again. (NO LONGER MAINTAINED. Use Nixos instead.)

feedback. Declarative feedback loop manager

nix-does-not-guarantee-reproducibility. Nix

really-safe-money. Uncompromisingly safe money library

autorecorder. An automatic declarative ASCIInema recorder

bevel. Haskell

easyspec. Signature inference for Functional Property Discovery in Haskell

tui-base. A base to start writing a tui from

opt-env-conf. Haskell

ical. Haskell

super-user-stone. The configurations deployer that turns any computer into your computer. (deprecated in favor of super-user-spark.)

yamlparse-applicative. DEPRECATED use autodocodec instead An optparse-applicative -style explainable yaml parser.

hastory. DEPRECATED: Use bevel instead.

cursor. Cursor data and manipulation

declarative-routeros. Rust

lineairealgebra. Studentencursus Lineaire Algebra

safe-coloured-text. Haskell

haphviz. Graphviz code generation with Haskell

dekking. Haskell

testing-in-rust. Nix

zifter. Composable code-quality tools

nanosmos. A simple text editor written in Haskell with Brick

writing-a-text-editor-in-haskell-with-brick. Content for the my workshop at F(by) 2020: Writing a text editor in Haskell with Brick

the-notes. The Notes

mergeless. Merge-less syncing of arbitrary immutable items

centjes. Haskell

declops. Declarative, applicative, idempotent, self-tested infrastructure

eth-algolab-2015. Algolab solutions and writeups for the 2015 fall semestre

pure-impure-nix. A nix function to allow a derivation to access the internet as long as you don't care about the output (like in CI, for example)

eden. the project Euler Development ENgine

all-you-can-carry. Een verzameling van nuttige documenten voor het examen van numerieke wiskunde.

typst.nix. Making typst documents with Nix

weeder-nix. A nix library for calling weeder on your Haskell codebase

sparep. Nix

picosmos. A single-line text editor written in Haskell with Brick

looper. Run actions periodically

yesod-static-remote. Turn runtime CDN usage into compile-time CDN usage.

mergeful. Safely synchronise values with safe merge conflicts.

conformance. Haskell

haskell-dependency-graph-nix. Nix

template-optparse. Template Argument, Option, Environment, Configuration parsing code for Haskell

sus-depot. My personal SUS depot

fuzzy-time. Haskell

chronicle. A command-line journal with optional encryption

pretty-relative-time. Haskell

token-limiter-concurrent. A type-safe token-bucket-based rate limiter with fairness and without the thundering herd problem

monadic-party. Haskell

stacklock2nix. Zurihac expriment