-
FEECa Public
FEECa: Finite Element Exterior Calculus in Haskell
-
-
flowlocks-framework Public
Forked from niklasbroberg/flowlocks-frameworkHaskell Other UpdatedApr 18, 2019 -
coq-course Public
Forked from vlopezj/coq-courseCoq course at Chalmers CSE
Coq UpdatedFeb 17, 2017 -
GTS-GFOK080 Public
GTS course - Introduction to writing for publication: CARS analysis work.
TeX UpdatedJan 13, 2016 -
GameOfLife Public
A basic Haskell implementation of the Game of Life with simple OpenGL graphics. Course-work.
-
{{ message }}