MaximilianAlgehed

Maximilian Algehed's repositories

VisPar

S. Marlow's Par monad with dataflow graph output

Language:HaskellBSD-3-Clause14 40

SessionCheck

Language:HaskellBSD-3-Clause400

DCC

DCC embedded in Haskell

Language:Haskell300

Boids

Playing with boids

Language:HaskellBSD-3-Clause200

DynamicIFCTheoremsForFree

Using parametricity to prove noninterference for LIO and Faceted Values

Language:Agda100

HTTS

What may one day turn into the Haskell Text Templating System

Language:HaskellBSD-3-Clause100

LambdaDays

Lambda days QuickSpec demo

Language:Haskell100

Multef

Multi-Execution Framework

Language:Coq100

SafeMerge

Language:HaskellNOASSERTION100

TypingMachineLearning

Language:Haskell100

co-feldspar

raw-feldspar with software hardware co-design

Language:HaskellBSD-3-Clause000

CyPhy

Language:Haskell020

cyphy-1

Modelling and Testing Cyber-Physical Systems in Haskell

Language:HaskellMIT000

DSLsofMath

Domain Specific Languages of Mathematics

Language:TeXBSD-3-Clause000

FL.vim

FL vim mode

Language:Vim script000

FOL

First Order Logic in Haskell

Language:HaskellBSD-3-Clause000

Graceful

Language:Haskell000

HPPBTT

Hard Problems for Property Based Testing Tools

Language:HaskellBSD-3-Clause040

KBC

Language:Haskell000

L

Language:HaskellBSD-3-Clause000

LazyShrink

Language:Haskell000

LCFStyleTheoremProver

LCF Style theorem prover implementation

Language:Haskell000

Metric

Painless typing for units

Language:HaskellNOASSERTION000

PlotEDSL

An Embedded domain specific language for generating plots for the web and python

Language:HaskellNOASSERTION000

plutus

The Plutus language implementation and tools

Apache-2.0000

QuickCheckAbstractions

Language:Haskell000

quickspec

Equational laws for free

Language:HaskellBSD-3-Clause000

SDCC

Language:Agda000

SimpleNoninterferenceFromParametricity

Language:Agda000

TransfiniteArraysInQuickSpec

Transfinite Arrays in QuickSpec

Language:HaskellBSD-3-Clause020