aaronlevin/nixos-cookbook
Cookbook for working with Nix
Public GitHub Catalog
Discovered Oct 5, 2026
aaronlevin / Haskell-Morte-Library
A bare-bones calculus-of-constructions
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#29538878GitHub System ID
aaronlevinOrganization / User
PublicVisibility
ActiveCatalog Status
More from aaronlevin
aaronlevin/nixos-homepage
Sources for nixos.org
aaronlevin/youdo
Task management for other people
aaronlevin/ghcjs-setup
Tools for getting started with ghcjs