koengit

KeyMonad

satplus

intuit

An automated theorem prover for intuitionistic propostional logic

zeldspar

Ziria + Feldspar = sant

bluetooth

Bluetooth in Lustre/Haskell

propertybasedprogramming

Property-based Programming!

RealTesting

Testing using numerical methods

simpler-seq

An explanation and simplification of Data.Seq finger-trees

TT

Translating Type Theory into First-Order Logic

allo

Finding allomorphisms in a corpus

ann-koen

binary-relations-paper

How to deal with binary relations in first-order logic, the paper

CoinductiveConditionals

Coinductive Conditional Properties

cyphy

Modelling and Testing Cyber-Physical Systems in Haskell

distance

Computing piecewise linear distance functions

GFLight

GF embedded in Haskell

grammarfeat

A wrapper around PGF to enable FEAT-style generation

hybridtesting

Hybrid Testing

koengit.github.io

Minimize

Some numerical minimization functions

networks

Studying sorting, median, and selection networks

NumberTheory

some numbertheory problems

optimize

Numeric optimization of functions with real-valued arguments in Haskell

regexp

testing regular expression interpreters and compilers

rule

Invent rule-base generalizations of functions specified as tables.

synth

Synthesizing sets of functions from a specification, using SAT

trainspotting

turbospec

UDParsing

UD Parsing with rules

WG2.8Puzzle2022

A programming puzzle for WG2.8