Maximilian Algehed's starred repositories
ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
git-pa-svenska
Git på svenska
DSLsofMath
Domain-Specific Languages of Mathematics
spartan-type-theory
Spartan type theory
ecosystem-proposals
Proposals for the Haskell Ecosystem
quickcheck-dynamic
A library for stateful property-based testing
haskelzinc
Constraint programming in Haskell through MiniZinc
co-feldspar
raw-feldspar with software hardware co-design
DATX02-17-26
Bachelors thesis investigating the automated assessment of programming exercises
RealTesting
Testing using numerical methods