Discover @NorfairKing Open Source projects

Tom Sydney Kerckhove (@NorfairKing)

NorfairKing

Stars
1,801
Global Rank 16,529 (Top 0.6 %)
Registered over 11 years ago
Most used languages

Haskell
74.1 %

TeX
10.7 %

Nix
9.8 %

Python
1.8 %

Others 3.6 %
Location 🇨🇭 Switzerland
Country Total Rank 217
Country Ranking

Haskell
4

Nix
8

TeX
31

Emacs Lisp
84

Shell
570

C++
753

Python
860

JavaScript
1,384

smos

A comprehensive self-management System

validity

Validity and validity-based testing

haskell-dangerous-functions

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

autodocodec

self(auto)- documenting encoders and decoders

sydtest

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

super-user-spark

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

syds-rules-for-sustainable-haskell

haskell-WAT

A collection of Haskell's WATs

feedback

Declarative feedback loop manager

nix-does-not-guarantee-reproducibility

autorecorder

An automatic declarative ASCIInema recorder

really-safe-money

Uncompromisingly safe money library

easyspec

Signature inference for Functional Property Discovery in Haskell

tui-base

A base to start writing a tui from

super-user-stone

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

bevel

yamlparse-applicative

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

intray

GTD Capture tool

hastory

DEPRECATED: Use bevel instead.

cursor

Cursor data and manipulation

haphviz

Graphviz code generation with Haskell

lineairealgebra

Studentencursus Lineaire Algebra

safe-coloured-text

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

ical

dekking

tickler

A GTD Tickler system

the-notes

eden

the project Euler Development ENgine

all-you-can-carry

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

declops

Declarative, applicative, idempotent, self-tested infrastructure

mergeless

Merge-less syncing of arbitrary immutable items

sparep

eth-algolab-2015

Algolab solutions and writeups for the 2015 fall semestre

yesod-static-remote

Turn runtime CDN usage into compile-time CDN usage.

mergeful

Safely synchronise values with safe merge conflicts.

smos-poc

A semantic tree-based editor to replace Emacs Org Mode for GTD

picosmos

A single-line text editor written in Haskell with Brick

sus-depot

My personal SUS depot

template-optparse

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

exchangerates

A haskell api for http://exchangeratesapi.io

upcheck

looper

Run actions periodically

pretty-relative-time

habitscipline

haskell-dependency-graph-nix

dnscheck

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

chronicle

A command-line journal with optional encryption

fuzzy-time

linkcheck

A fast link checker for CI

millismos

A simple forest-editor with brick.

haskell-testing-intro

Getting started with testing in Haskell

PAULA-proof-of-concept

Personal Artificial Intelligent Life Assistant

monadic-party

template-api-server-with-auth-and-cli

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

stacklock2nix

Zurihac expriment

algebra-notities

Notities voor Algebra I en Toepassingen van Algebra

yi-solarized

Solarized colour scheme for the Yi editor.

microsmos

A simple tree-editor with brick.

cursor-brick

Brick widgets for cursors

TMI-Notities

Notities voor Toepassingen van meetkunde in informatica

token-limiter-concurrent

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

testing-in-rust

ab-notities

Notities voor Automaten on Berekenbaarheid

thesis

LambdaTeX

Type-safe LaTeX EDSL in Haskell

project-euler

EDEN driven project euler solutions

typed-uuid

UUID with a phantom type

wolf

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

wallpaper-project

Create and customize your own dynamic wallpaper

template-cli

Template Command-Line Interface

an-overview-of-property-testing

An overview of property testing, for F(by) 2020

dirforest

nixos-tests-talk

A talk about nixos tests

safepath

Safe Paths in Haskell, Deprecated, use https://github.com/chrisdone/path instead.

amqp-client

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

template-filler

monadic.party

cursor-dirforest

Directory forest cursor

cursor-fuzzy-time

nixfmt

A Normalising Formatter for Nix Code

appendful

Merge-less syncing of arbitrary immutable items without deletions

database-schema-interview-question

template-web-server

Template Web Server

cn-cards

Computer Networks, the card-game

centjes

iostring

json-codec

JSON parsing experiment. Not ready.

asl

social-dance-today

https://social-dance.today

tsjak-rosalind

Solutions to ROSALIND problems

practical-property-testing-in-haskell

template-tui

Template terminal user Interface

tpa

Minimalist declarative command-line Third Party Authenticator

IVIBootstrap

IVI's bootstrap program

IVI

Intelligent Virtual Interface

nix-segfault-haskell

phpfpm-repro