Discover @MaximilianAlgehed Open Source projects

Maximilian Algehed (@MaximilianAlgehed)

MaximilianAlgehed

Stars
42
Global Rank 385,755 (Top 14 %)
Followers 40
Following 33
Registered about 10 years ago
Most used languages

Haskell
90.0 %

Coq 5.0 %

Agda 5.0 %
Location 🇸🇪 Sweden
Country Total Rank 3,350
Country Ranking

Coq 7

Agda 14

Haskell
38

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

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