Lists (1)
Stars
Bootstrap yourself to write an OS from scratch. A book for self-learner.
A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python
A free book: "The Science of Functional Programming"
The Type Astronaut's Guide to Shapeless
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
HoTTEST Summer School materials
A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
Public repository for Abstact Algebra Theory and Applications
Library of the ##dependent distributed research support group
Introduction to algebraic effects and handlers
Categorical logic from a categorical point of view
Notes on how to use the internal language of toposes in algebraic geometry
Data Structure Optimization for Functional Programs
Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory
🧊 An indexed construction of semi-simplicial and semi-cubical sets
Malfunction backend for Idris with a FFI to OCaml
Github project where I track everything related to my thesis
Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core