patrikja

autosar

A simplified model of programming in autosar

PolyP

PolyP - a polytypic programming language

SeqDecProb_Agda

ClassLaws

http://wiki.portal.chalmers.se/cse/pmwiki.php/FP/ClassLaws

MScThesisExaminer

Some documents related to my role as examiner (for the Programming Languages area) of MSc theses at the CSE department, Chalmers and GU.

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/

LiVe4CS

SWEET

Public repository for the CSE department SWEET group

TestGraphics

Some exploration of graphics in Haskell

BNFC-meta-example

A small example use of BNFC-meta

CoeGSS

Informal repository of material for the DSL workpackage of the http://coegss.eu/ project.

ComplexityOfBooleanFunctions

EndreHaskell

Functional-Programming

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

Graceful

icfp2016-papers

Link to preprints for ICFP'16 and co-located events

icfp2017-papers

Link to preprints for ICFP'17 and colocated events

learning_dart

Learning about the Dart language

learnxinyminutes-docs

Code documentation written as code! How novel and totally my idea!

NonlinearDynamicsAndChaos

A high school project regarding nonlinear dynamics, chaos and fractals.

patrikja

Config files for my GitHub profile.

ProgrammingInHaskell

My journey through the book Programming in Haskell by Graham Hutton.

reading

Reading list and summaries

setup-agda

Set up a specific version of Agda for your GitHub Actions workflow.

sfeeca

Symbolic Functional FEEC

skeleton

Skeletons files for research papers

snd-kursgraf

Kursgraf för SND

testAgdaCI

valiant-go