A categorized list of C++ resources.

😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes

Haskell library implementing "Data Types a la Carte"

Transactional key-value store written entirely in Haskell

haskell source code visualizer

🌋 Endless runner game

Extremely modular text editor built in Haskell

A formatter for Haskell source code

FFmpeg Assembly Language Lessons

EGraphs in OCaml

Mathematical Components

Papers from the computer science community to read and discuss.

The CompCert formally-verified C compiler

A book teaching assembly language programming on the ARM 64 bit ISA. Along the way, good programming practices and insights into code development are offered which apply directly to higher level la…

Proposed compiler and language changes for GHC and GHC/Haskell

A collaborative bibliography of work related to the theory and practice of computational effects

An experimental programming language that combines effect handlers and implicit parameters

Lecture notes for the Type Systems course given in Autumn 2023