Pinned Repositories
AG
AG scheduling
bluetooth
Bluetooth in Lustre/Haskell
fldspr
imp
Testing a compiler for an imperative language
intuit
An automated theorem prover for intuitionistic propostional logic
KeyMonad
propertybasedprogramming
Property-based Programming!
RealTesting
Testing using numerical methods
satplus
zeldspar
Ziria + Feldspar = sant
koengit's Repositories
koengit/KeyMonad
koengit/satplus
koengit/intuit
An automated theorem prover for intuitionistic propostional logic
koengit/zeldspar
Ziria + Feldspar = sant
koengit/bluetooth
Bluetooth in Lustre/Haskell
koengit/propertybasedprogramming
Property-based Programming!
koengit/RealTesting
Testing using numerical methods
koengit/simpler-seq
An explanation and simplification of Data.Seq finger-trees
koengit/TT
Translating Type Theory into First-Order Logic
koengit/allo
Finding allomorphisms in a corpus
koengit/ann-koen
koengit/binary-relations-paper
How to deal with binary relations in first-order logic, the paper
koengit/CoinductiveConditionals
Coinductive Conditional Properties
koengit/cyphy
Modelling and Testing Cyber-Physical Systems in Haskell
koengit/distance
Computing piecewise linear distance functions
koengit/GFLight
GF embedded in Haskell
koengit/grammarfeat
A wrapper around PGF to enable FEAT-style generation
koengit/hybridtesting
Hybrid Testing
koengit/koengit.github.io
koengit/Minimize
Some numerical minimization functions
koengit/networks
Studying sorting, median, and selection networks
koengit/NumberTheory
some numbertheory problems
koengit/optimize
Numeric optimization of functions with real-valued arguments in Haskell
koengit/regexp
testing regular expression interpreters and compilers
koengit/rule
Invent rule-base generalizations of functions specified as tables.
koengit/synth
Synthesizing sets of functions from a specification, using SAT
koengit/trainspotting
koengit/turbospec
koengit/UDParsing
UD Parsing with rules
koengit/WG2.8Puzzle2022
A programming puzzle for WG2.8