Tom Sydney Kerckhove Claim this profile

A comprehensive self-management System

Validity and validity-based testing

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

Signature inference for Functional Property Discovery in Haskell

DEPRECATED: Use bevel instead.

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

self(auto)- documenting encoders and decoders

No description.

A collection of Haskell's WATs

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

Declarative feedback loop manager

No description.

Uncompromisingly safe money library

An automatic declarative ASCIInema recorder

No description.

A base to start writing a tui from

No description.

No description.

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

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

Cursor data and manipulation

No description.

No description.

Studentencursus Lineaire Algebra

Graphviz code generation with Haskell

No description.

No description.

Composable code-quality tools

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

A simple text editor written in Haskell with Brick

No description.

Merge-less syncing of arbitrary immutable items

The Notes

Declarative, applicative, idempotent, self-tested infrastructure

A nix library for calling weeder on your Haskell codebase

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)

Algolab solutions and writeups for the 2015 fall semestre

Een verzameling van nuttige documenten voor het examen van numerieke wiskunde.

Making typst documents with Nix

Run actions periodically

Safely synchronise values with safe merge conflicts.

Turn runtime CDN usage into compile-time CDN usage.

A single-line text editor written in Haskell with Brick

No description.

No description.

No description.

No description.

No description.

Template Argument, Option, Environment, Configuration parsing code for Haskell

My personal SUS depot

No description.

No description.

A quick, declarative DNS checker to run continuously for monitoring.

Template Command-Line Interface

A simple forest-editor with brick.

No description.

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

A fast link checker for CI

Template terminal user Interface

Solarized colour scheme for the Yi editor.

Notities voor Algebra I en Toepassingen van Algebra

A template implementation of an API server with an example command-line tool to go along with it

Personal Artificial Intelligent Life Assistant

Getting started with testing in Haskell

Brick widgets for cursors

No description.

Zurihac expriment

UUID with a phantom type

Merge-less syncing of arbitrary immutable items without deletions

An API-first, CLI-second, Web whenever PRM

Template Web Server

Notities voor Automaten on Berekenbaarheid

Thesis

:moneybag: Stripe API

Minimalist declarative command-line Third Party Authenticator

Directory forest cursor

No description.

No description.

No description.

No description.

No description.

No description.

A Proof Of Concept of a modern AMQP client for haskell. Happy to un-archive if anyone wants to run with it.

A talk about nixos tests

Computer Networks, the card-game

No description.

Automatically have the browser reload a yesod site (without having to press the refresh button).

No description.

Fast, secure, efficient backup program

New personal website with Hakyll!

No description.

A template implementation of command-line local-first application with a synchronisation server to go along with it.

Solutions to ROSALIND problems

Efficient and correct pagination!

A latex package to generate cribnotes for exams where you can only bring 1 sheet of paper

JSON parsing experiment. Not ready.

A little tui to scan, convert and combine documents into an archive

No description.

No description.

My training plans, in latex format

Notities voor Meetkunde I

No description.

No description.

S3-backed Nix binary cache with garbage collection

cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign language bindings, just Rust.

A convenient Haskell development tool that wraps ghcid so you don't have to remember the exact commands. It automatically finds executables from hpack's package.yaml.

Status: Ready to try

DSPy: The framework for programming—not prompting—language models

Haskell source code suggestions

No description.

Property-based testing for web and terminal UIs

A re-implementation of weeder using HIE files

No description.

No description.

Load static data live during development, bake it into the executable for in production

Work with remote images registries - retrieving information, images, signing content

CI and hosting for nix-based, flakified github repos

Computation of differential cross-sections with Local Unitary

No description.

scriptable strace

NixOS flake for Crowdstrike Falcon Sensor

Playing around with some hackage stats

Middleware/ios shortcut to setup alarms automatically based on the first class

Fork of vkid-springsecurity for NixCI demo

Chat, voice, and video, designed to self-host.

Long term storage of execution results.

Pathfinding library for rust

papeleria shopping cart

A forwarding-only SSH server with policy-based connection control for restricted jump hosts and bastions

No description.

No description.

Mox-style HTTP mocking for Elixir. Replace external services with a local test server for reliable, realistic tests.

No description.

Nix, the purely functional package manager

No description.

Manage a user environment using Nix [maintainer=@rycee]

My rust lib megarepo

Analyze which files affect which Nix flake outputs.

Vibe-coded alternative to redshift/gammastep

Default channel file for Package Control. Follow the directions at:

Unifying parallel and sequential operations

Haskell EDSL and type-checker for AWS CloudFormation templates

No description.

lowlevel set of cryptographic primitives for haskell

No description.

No description.

A Nix Flake to run the official AWS VPN Client

Seamless integration of https://pre-commit.com git hooks with Nix.

No description.

A Haskell library for line input in command-line programs.

Nix Packages collection

Software ontwerp 2015

A haskell client library for consul (consul.io)

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

A curated list of awesome dance apps and services

No description.

No description.

No description.

A time library

Generic Programming using True Sums of Products

A Haskell client for the Selenium WebDriver protocol.

Trying out Traefik in a nixos test

The github API for Haskell

My xmonad config

A repo to test nix-shell & poetry2nix on Ventura

Nix packaging of the circleci launch agent

Still experimenting, ignore please

No description.

Nix Docker base images for fast and minimal builds.

GUI for gstreamer-based screen sharing

Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!

iCalendar data types, parser, and printer.

"Stable Hackage": vetted consistent packages from Hackage

TODO: An experimental email client based on ethical design of user interfaces.

A fast Haskell JSON library

Nix function for filtering local git sources

Convert poetry projects to nix automagically [maintainer=@adisbladis]

No description.

The missing Selenium OpenAPI spec

A repo to test nix-shell & poetry2nix on Big Sur

Blog post previews in need of peer review

NixOS Weekly Newsletter

Pyramid and OpenAPI3 based RealWorld implementation.

Tutorials voor Gegevensbanken [H01O9A]

Alternative API for processes, featuring more type safety

No description.

A Redis client library for Haskell.

A repro for https://github.com/hreinhardt/amqp/issues/96

Haskell AMQP client library

The Niteo Handbook

A fast Haskell library for parsing ByteStrings

Alternative Haskell Infrastructure for Nixpkgs

Generate Haskell client code from an OpenAPI 3 specification

Haskell pretty printer

Our homepage

Efficient hashing-based container types

Notes and files from HaskellerZ meetups.

Source code of summer.haskell.org

A history and hopefully a minimal reproducible example of a nasty segfault in smos after validity upgrades.

No description.