Pinned Repositories
lambda-wars
Functional programming assignment 5
tc-assignments
Assignments for the Languages & Compilers course at Utrecht University
NiekM.github.io
OMG
Onderzoeksmethoden voor Gametech
parametrickery.haskell
A framework for reasoning about the (un)realizability of polymorphic programs based on input-output examples.
scrybe
Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.
smyth
Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
smyth
Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
NiekM's Repositories
NiekM/scrybe
Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.
NiekM/OMG
Onderzoeksmethoden voor Gametech
NiekM/NiekM.github.io
NiekM/parametrickery.haskell
A framework for reasoning about the (un)realizability of polymorphic programs based on input-output examples.
NiekM/smyth
Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.