Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

The book "Performance Analysis and Tuning on Modern CPU"

A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python

Clever Algorithms: Nature-Inspired Programming Recipes

A fresh implementation of Common Lisp

Structure and Interpretation of Computer Programs, Second Edition

Site web of the Mathematical Tours

A keynote talk for LambdaJam 2015 (July 15--16)

The Nihongo Resources grammar book: "An Introduction to Japanese; Syntax, Grammar & Language"

A little guide about how to be the Erlang medic in a time of war. It is first and foremost a collection of tips and tricks to help understand where failures come from, and a dictionary of different…

History of Programming Languages, Spring 2017

"Computational modelling of terrains" book: source code + PDF

Talk material for LambdaJam 2014/2015 on denotational design

A secure web framework, built in the Idris language.

Denotational Design: from programs to meanings

A DSL for describing and implementing communication protocols

High level library cheat sheets for the working Haskell programmer.

A softcover version of the online elixir getting started guides

My Master's Thesis??

From Haskell to Hardware via CCCs

All documents related to my master thesis

A more elegant specification for FRP

Mechanizing Types and Programming Languages using Beluga

A collection of formulas needed for everyday calculations in geometric algebra and calculus

A minimal template for LaTeX Beamer slideshows

A discouraging story.

ACES - Retrospective and Enhancements

Idris for Everybody

Domain Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming