Pinned Repositories
naemli's Repositories
naemli/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
naemli/core
The Lens Protocol
naemli/lens
Lens - The way the world runs Kubernetes
naemli/lenskit
LensKit recommender toolkit.
naemli/lensm
Go assembly and source viewer