Pinned Repositories
AFPcourse
http://www.cse.chalmers.se/edu/course/afp/
autosar
A simplified model of programming in autosar
ClassLaws
http://wiki.portal.chalmers.se/cse/pmwiki.php/FP/ClassLaws
LearningHaskellDataAnalysis
Some notes and code from working through the book "Learning Haskell Data Analysis"
MScThesisExaminer
Some documents related to my role as examiner (for the Programming Languages area) of MSc theses at the CSE department, Chalmers and GU.
PAD
Programansvarig Datateknik 300 hp / Computer Science and Engineering / Chalmers
PolyP
PolyP - a polytypic programming language
ProfLect
Material related to my inaugural lecture as Full Professor of Computer Science (2015-08-21, Chalmers).
progolymp
Some problems and solutions from http://www.progolymp.se/
SeqDecProb_Agda
patrikja's Repositories
patrikja/autosar
A simplified model of programming in autosar
patrikja/PolyP
PolyP - a polytypic programming language
patrikja/SeqDecProb_Agda
patrikja/ClassLaws
http://wiki.portal.chalmers.se/cse/pmwiki.php/FP/ClassLaws
patrikja/MScThesisExaminer
Some documents related to my role as examiner (for the Programming Languages area) of MSc theses at the CSE department, Chalmers and GU.
patrikja/ProfLect
Material related to my inaugural lecture as Full Professor of Computer Science (2015-08-21, Chalmers).
patrikja/progolymp
Some problems and solutions from http://www.progolymp.se/
patrikja/LiVe4CS
patrikja/SWEET
Public repository for the CSE department SWEET group
patrikja/TestGraphics
Some exploration of graphics in Haskell
patrikja/agda-llvm
patrikja/BNFC-meta-example
A small example use of BNFC-meta
patrikja/CoeGSS
Informal repository of material for the DSL workpackage of the http://coegss.eu/ project.
patrikja/ComplexityOfBooleanFunctions
patrikja/EndreHaskell
patrikja/Functional-Programming
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
patrikja/Graceful
patrikja/icfp2016-papers
Link to preprints for ICFP'16 and co-located events
patrikja/icfp2017-papers
Link to preprints for ICFP'17 and colocated events
patrikja/learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
patrikja/NonlinearDynamicsAndChaos
A high school project regarding nonlinear dynamics, chaos and fractals.
patrikja/patrikja
Config files for my GitHub profile.
patrikja/ProgrammingInHaskell
My journey through the book Programming in Haskell by Graham Hutton.
patrikja/reading
Reading list and summaries
patrikja/setup-agda
Set up a specific version of Agda for your GitHub Actions workflow.
patrikja/sfeeca
Symbolic Functional FEEC
patrikja/skeleton
Skeletons files for research papers
patrikja/snd-kursgraf
Kursgraf för SND
patrikja/testAgdaCI
patrikja/valiant-go