A collection of resources for learning type theory and type theory adjacent fields.

An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices - koreader/koreader

A series on automatic differentiation in Julia.

Tools and Techniques for Generating Software Tests

Hy is a Lisp dialect that’s embedded in Python.

Additional building blocks, recipes, and routines for working with Python iterables.

A simple and to the point classless CSS stylesheet

ANSI Standard X3.64 Teletypewriter Command Session Library Resources

A book-in-progress about the linux kernel and its insides.

Small exercises to get you used to reading and writing Rust code!