MaximilianAlgehed

Quviq ABGothenburg

Pinned Repositories

quickcheck-dynamic
A library for stateful property-based testing
Language:Haskell23 15 147
Boids
Playing with boids
Language:Haskell2 2 01
DAT235Projekt
Language:Haskell1 2 00
DCC
DCC embedded in Haskell
Language:Haskell3 3 01
DynamicIFCTheoremsForFree
Using parametricity to prove noninterference for LIO and Faceted Values
Language:Agda1 3 00
HaskellAlgebraicTopology
Language:Haskell1 2 00
LCFStyleTheoremProver
LCF Style theorem prover implementation
Language:Haskell3 2 00
SessionCheck
Language:Haskell4 2 00
SpecCheck
Language:Haskell3 2 00
VisPar
S. Marlow's Par monad with dataflow graph output
Language:Haskell13 4 01

MaximilianAlgehed's Repositories

MaximilianAlgehed/VisPar
S. Marlow's Par monad with dataflow graph output
Language:Haskell13 4 01
MaximilianAlgehed/SessionCheck
Language:Haskell4 2 00
MaximilianAlgehed/DCC
DCC embedded in Haskell
Language:Haskell3 3 01
MaximilianAlgehed/LCFStyleTheoremProver
LCF Style theorem prover implementation
Language:Haskell3 2 00
MaximilianAlgehed/DynamicIFCTheoremsForFree
Using parametricity to prove noninterference for LIO and Faceted Values
Language:Agda1 3 00
MaximilianAlgehed/HTTS
What may one day turn into the Haskell Text Templating System
Language:Haskell1 2 0
MaximilianAlgehed/LambdaDays
Lambda days QuickSpec demo
Language:Haskell1 3 0
MaximilianAlgehed/Multef
Multi-Execution Framework
Language:Coq1 3 02
MaximilianAlgehed/SafeMerge
Language:Haskell1 2 0
MaximilianAlgehed/TypingMachineLearning
Language:Haskell1 2 0
MaximilianAlgehed/aiarena-web
A website for running the aiarena.net ladder.
Language:Python
MaximilianAlgehed/co-feldspar
raw-feldspar with software hardware co-design
Language:Haskell2 0
MaximilianAlgehed/CyPhy
Language:Haskell2 0
MaximilianAlgehed/cyphy-1
Modelling and Testing Cyber-Physical Systems in Haskell
Language:Haskell2 0
MaximilianAlgehed/DSLsofMath
Domain Specific Languages of Mathematics
Language:TeX2 0
MaximilianAlgehed/FOL
First Order Logic in Haskell
Language:Haskell2 0
MaximilianAlgehed/freer-simple
A friendly effect system for Haskell
Language:Haskell0 0
MaximilianAlgehed/Graceful
Language:Haskell2 01
MaximilianAlgehed/HPPBTT
Hard Problems for Property Based Testing Tools
Language:Haskell4 0
MaximilianAlgehed/KBC
Language:Haskell2 0
MaximilianAlgehed/L
Language:Haskell2 0
MaximilianAlgehed/LazyShrink
Language:Haskell2 0
MaximilianAlgehed/Metric
Painless typing for units
Language:Haskell2 0
MaximilianAlgehed/PlotEDSL
An Embedded domain specific language for generating plots for the web and python
Language:Haskell2 0
MaximilianAlgehed/plutus
The Plutus language implementation and tools
Language:HTML1 0
MaximilianAlgehed/QuickCheckAbstractions
Language:Haskell2 0
MaximilianAlgehed/quickspec
Equational laws for free
Language:Haskell3 0
MaximilianAlgehed/SDCC
Language:Agda2 0
MaximilianAlgehed/SimpleNoninterferenceFromParametricity
Language:Agda2 0
MaximilianAlgehed/TransfiniteArraysInQuickSpec
Transfinite Arrays in QuickSpec
Language:Haskell2 0