Lists (3)
Stars
Catalog of visual lambda calculi
A visual catalogue + story of morphisms displayed across computational structures.
Resources for learning Category Theory for an enthusiast
Misc. publications, conference slides, etc. For more, go to https://BartoszMilewski.com
Easily build a Haskell project from a stack.yaml.lock file with Nix
Where Lions Roam: RISC-V on the VELDT
RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance
Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference
The book "Performance Analysis and Tuning on Modern CPU"
程序员延寿指南 | A programmer's guide to live longer
😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]
Build compressed archives for static files and serve them over HTTP
分享 GitHub 上有趣、入门级的开源项目。Share interesting, entry-level open source projects on GitHub.
Applied offensive security with Rust - https://kerkour.com/black-hat-rust
Deep dive into offensive security with the rust programming language - Early access
A kernel designed to run one and only one application in a virtualized environment
A book about how to write OS kernels in Rust easily.
Code examples, data structures, and links from my book, Rust Atomics and Locks.