Maximilian Algehed's repositories
aiarena-web
A website for running the aiarena.net ladder.
Language:PythonGPL-3.0000
freer-simple
A friendly effect system for Haskell
Language:HaskellBSD-3-Clause000
plutus
The Plutus language implementation and tools
Apache-2.0000
Language:Haskell000
DynamicIFCTheoremsForFree
Using parametricity to prove noninterference for LIO and Faceted Values
FOL
First Order Logic in Haskell
Language:HaskellBSD-3-Clause000
Language:Agda000
quickspec
Equational laws for free
Language:HaskellBSD-3-Clause000
Language:Agda000
DSLsofMath
Domain Specific Languages of Mathematics
Language:TeXBSD-3-Clause000
Language:HaskellBSD-3-Clause000
TransfiniteArraysInQuickSpec
Transfinite Arrays in QuickSpec
Language:HaskellBSD-3-Clause000
LambdaDays
Lambda days QuickSpec demo
PlotEDSL
An Embedded domain specific language for generating plots for the web and python
Language:HaskellNOASSERTION000
HPPBTT
Hard Problems for Property Based Testing Tools
Language:HaskellBSD-3-Clause000
Language:Haskell000
co-feldspar
raw-feldspar with software hardware co-design
Language:HaskellBSD-3-Clause000
Language:Haskell000
cyphy-1
Modelling and Testing Cyber-Physical Systems in Haskell
Language:HaskellMIT000
Language:Haskell000
Language:Haskell000
LCFStyleTheoremProver
LCF Style theorem prover implementation
Metric
Painless typing for units
Language:HaskellNOASSERTION000