MaximilianAlgehed/LambdaDays

Stars
1
Language
Haskell
Created over 6 years ago
Updated over 6 years ago

MaximilianAlgehed/LambdaDays

MaximilianAlgehed

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Lambda days QuickSpec demo

VisPar

S. Marlow's Par monad with dataflow graph output

SessionCheck

LCFStyleTheoremProver

LCF Style theorem prover implementation

SpecCheck

DCC

DCC embedded in Haskell

Boids

Playing with boids

MPIForFeldspar

HaskellAlgebraicTopology

HaskellNN

Playing around with NNs in Haskell for learning...

TypingMachineLearning

TypeclassTesting

Testing typeclasses on the form (C a) => (B (f a))

SafeMerge

Multef

Multi-Execution Framework

QuickSpecConditionals

An implementation of conditional equations in QuickSpec

SpecDSL

DAT235Projekt

Haspec

An API specification language embedded in haskell

DynamicIFCTheoremsForFree

Using parametricity to prove noninterference for LIO and Faceted Values

HTTS

What may one day turn into the Haskell Text Templating System