Discover NorfairKing/eth-algolab-2015 Open Source project

Validity and validity-based testing

265

validity

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

155

haskell-dangerous-functions

self(auto)- documenting encoders and decoders

141

autodocodec

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

101

sydtest

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

super-user-spark

A collection of Haskell's WATs

syds-rules-for-sustainable-haskell

haskell-WAT

feedback

Declarative feedback loop manager

nix-does-not-guarantee-reproducibility

An automatic declarative ASCIInema recorder

autorecorder

Uncompromisingly safe money library

really-safe-money

Signature inference for Functional Property Discovery in Haskell

easyspec

A base to start writing a tui from

tui-base

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

super-user-stone

Python

bevel

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

yamlparse-applicative

intray

GTD Capture tool

DEPRECATED: Use bevel instead.

hastory

opt-env-conf

Cursor data and manipulation

cursor

Graphviz code generation with Haskell

haphviz

Studentencursus Lineaire Algebra

lineairealgebra

safe-coloured-text

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

writing-a-text-editor-in-haskell-with-brick

Composable code-quality tools

zifter

A simple text editor written in Haskell with Brick

nanosmos

ical

dekking

tickler

the-notes

eden

the project Euler Development ENgine

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

all-you-can-carry

Declarative, applicative, idempotent, self-tested infrastructure

declops

Merge-less syncing of arbitrary immutable items

mergeless

sparep

Turn runtime CDN usage into compile-time CDN usage.

yesod-static-remote

Safely synchronise values with safe merge conflicts.

mergeful

centjes

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

smos-poc

A single-line text editor written in Haskell with Brick

picosmos

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

sus-depot

My personal SUS depot

JavaScript

template-optparse

upcheck

A haskell api for http://exchangeratesapi.io

exchangerates

looper

Run actions periodically

pretty-relative-time

habitscipline

haskell-dependency-graph-nix

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

dnscheck

A command-line journal with optional encryption

chronicle

Shell

fuzzy-time

A fast link checker for CI

linkcheck

Getting started with testing in Haskell

haskell-testing-intro

A simple forest-editor with brick.

millismos

Personal Artificial Intelligent Life Assistant

PAULA-proof-of-concept

Python

monadic-party

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

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

stacklock2nix

Zurihac expriment

Notities voor Algebra I en Toepassingen van Algebra

algebra-notities

Solarized colour scheme for the Yi editor.

yi-solarized

A simple tree-editor with brick.

microsmos

Brick widgets for cursors

cursor-brick

Notities voor Toepassingen van meetkunde in informatica

TMI-Notities

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

token-limiter-concurrent

testing-in-rust

Notities voor Automaten on Berekenbaarheid

ab-notities

thesis

Thesis

Type-safe LaTeX EDSL in Haskell

LambdaTeX

typed-uuid

UUID with a phantom type

EDEN driven project euler solutions

project-euler

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

wolf

Create and customize your own dynamic wallpaper

wallpaper-project

template-cli

Template Command-Line Interface

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

an-overview-of-property-testing

dirforest

nixos-tests-talk

A talk about nixos tests

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

safepath

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

amqp-client

template-filler

monadic.party

cursor-dirforest

Directory forest cursor

cursor-fuzzy-time

A Normalising Formatter for Nix Code

nixfmt

Merge-less syncing of arbitrary immutable items without deletions

appendful

database-schema-interview-question

template-web-server

Template Web Server

Computer Networks, the card-game

cn-cards

iostring

JSON parsing experiment. Not ready.

json-codec

asl

ASL System

Solutions to ROSALIND problems

tsjak-rosalind

https://social-dance.today

social-dance-today

Minimalist declarative command-line Third Party Authenticator

practical-property-testing-in-haskell

tpa

Template terminal user Interface

template-tui

A template for IVI scripts

IVIScriptTemplate

IVIBootstrap

IVI's bootstrap program

Intelligent Virtual Interface

IVI

100

nix-segfault-haskell