Pinned Repositories
quickcheck-dynamic
A library for stateful property-based testing
Boids
Playing with boids
DAT235Projekt
DCC
DCC embedded in Haskell
DynamicIFCTheoremsForFree
Using parametricity to prove noninterference for LIO and Faceted Values
HaskellAlgebraicTopology
LCFStyleTheoremProver
LCF Style theorem prover implementation
SessionCheck
SpecCheck
VisPar
S. Marlow's Par monad with dataflow graph output
MaximilianAlgehed's Repositories
MaximilianAlgehed/SpecCheck
MaximilianAlgehed/Boids
Playing with boids
MaximilianAlgehed/DAT235Projekt
MaximilianAlgehed/HaskellAlgebraicTopology
MaximilianAlgehed/HaskellNN
Playing around with NNs in Haskell for learning...
MaximilianAlgehed/Haspec
An API specification language embedded in haskell
MaximilianAlgehed/MPIForFeldspar
MPI + Feldspar
MaximilianAlgehed/QuickSpecConditionals
An implementation of conditional equations in QuickSpec
MaximilianAlgehed/SpecDSL
MaximilianAlgehed/TypeclassTesting
Testing typeclasses on the form (C a) => (B (f a))
MaximilianAlgehed/agda-vim
Agda interaction in vim
MaximilianAlgehed/alga
An algebra of graphs
MaximilianAlgehed/APLinHaskell
APL... Implemented in haskell...
MaximilianAlgehed/Apollo-11
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
MaximilianAlgehed/arduino-mqtt
MQTT library for Arduino based on the Eclipse Paho projects
MaximilianAlgehed/Chatserver
Basic chat server in Erlang
MaximilianAlgehed/DATX021726BACKUP
MaximilianAlgehed/erlang-ffi
A Foreign Function Interface that lets Haskell and Erlang programs communicate.
MaximilianAlgehed/GenericLibrary
The CFP DSL for the GenericLibrary
MaximilianAlgehed/GoWageWar
A Go-inspired board game
MaximilianAlgehed/monad-par
MaximilianAlgehed/ParallelLayouts
MaximilianAlgehed/phdtools
Timekeeping tool for multiple projects
MaximilianAlgehed/quickcheck
Automatic testing of Haskell programs.
MaximilianAlgehed/QuickCheck-GenT
A GenT monad transformer for QuickCheck library
MaximilianAlgehed/quickspec_work
MaximilianAlgehed/QuickSpecConditionalBenchmarks
MaximilianAlgehed/ReadingList
My reading list
MaximilianAlgehed/TestingYampa
Property based testing for arrowised frp?
MaximilianAlgehed/Vosh