MaximilianAlgehed/Multef

Stars
1
Language Coq
Created over 6 years ago
Updated about 6 years ago

MaximilianAlgehed/Multef

MaximilianAlgehed

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

Multi-Execution Framework

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))

LambdaDays

Lambda days QuickSpec demo

SafeMerge

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