Explore projects

Demo RISC-V and Cheri

A Hugo site that uses Netlify for CI/CD instead of GitLab, but still with all the other great GitLab features.

Mirror of https://github.com/NixOS/nixpkgs.git

Repository for machine learning data

A web-viewer of incoming provided with a MIT license.