equalunique
Follow
Stars
7
stars
written in TeX
Clear filter
A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python
Slides, figures, and other material for teaching using tracing and observability on FreeBSD
The simple essence of automatic differentiation
A secure web framework, built in the Idris language.
A tutorial to the Idris Programming Language.