naemli

Pinned Repositories

cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
Language:Rust0 0 00
core
The Lens Protocol
Language:TypeScript00
lens
Lens - The way the world runs Kubernetes
Language:TypeScript00
lenskit
LensKit recommender toolkit.
Language:Java00
lensm
Go assembly and source viewer
Language:Go00

naemli's Repositories

naemli/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
Language:Rust0 0 00
naemli/core
The Lens Protocol
Language:TypeScript00
naemli/lens
Lens - The way the world runs Kubernetes
Language:TypeScript00
naemli/lenskit
LensKit recommender toolkit.
Language:Java00
naemli/lensm
Go assembly and source viewer
Language:Go00