patrikja/ProgrammingInHaskell
My journey through the book Programming in Haskell by Graham Hutton.
Developer Profile
patrikja
Discovered public repositories for patrikja in the GitHub catalog.
patrikja/skeleton
Skeletons files for research papers
patrikja/learning_dart
Learning about the Dart language
patrikja/reading
Reading list and summaries
patrikja/PolyP
PolyP - a polytypic programming language
patrikja/ClassLaws
http://wiki.portal.chalmers.se/cse/pmwiki.php/FP/ClassLaws
patrikja/SeqDecProb_Agda
Public repository.
patrikja/aopa
Public repository.
patrikja/CODION
A numerical 2D Fokker-Planck ion drift kinetic equation solver
patrikja/cabal-bounds
A command line program for managing the bounds/versions of the dependencies in a cabal file.
patrikja/emacs-haskell-tutorial
Tutorial on setting up Emacs to do Haskell programming
patrikja/Idris-dev
A Dependently Typed Functional Programming Language
patrikja/AFPcourse
http://www.cse.chalmers.se/edu/course/afp/
patrikja/gloss
Painless 2D vector graphics, animations and simulations.
patrikja/gitbeginner
This is some course material for learning programming and github.
patrikja/javabeginner
Public repository.
patrikja/CTFP2014
Homework collaboration for the Category Theory in Functional Programming course at Chalmers
patrikja/dth
Examples of Dependently-typed programs in Haskell
patrikja/autosar
A simplified model of programming in autosar
patrikja/PAD
Programansvarig Datateknik 300 hp / Computer Science and Engineering / Chalmers