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

RISC-V Instruction Set Manual

Release repo for our SLAM Handbook

My Cambridge Lecture Notes

Digital Design with Chisel

js.scala: JavaScript as an embedded DSL in Scala

Luxembourg SUMO Traffic (LuST) Scenario

首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, LaTeX docs and PDF docs inside.

Solutions to Categories for the Working Mathematician, Saunders Mac Lane

These are my solutions to the tasks in the book "category theory for programmers" by Bartosz Milewski