Filter

Clear Filter

Archived Not Archived

Forked Not Forked

Mirrored Not Mirrored

Template Not Template

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Most recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

nvrl/ dotfiles

QML 0 0 0

Updated 2026-11-03 19:06:05 +01:00

nvrl/ pl8list-rewind

Rust 0 0 0

Updated 2026-11-03 14:13:53 +01:00

nvrl/ proton-drive-linux

Rust 0 0 0

Updated 2026-11-02 16:16:31 +01:00

nvrl/ proton-stream

Rust 0 0 0

Updated 2026-10-31 14:38:47 +01:00

nvrl/ proton-sdk-rs

Rust 0 0 0

Updated 2026-10-31 13:33:22 +01:00

minze/ univTypes

Agda 1 0 0

Master Project

Updated 2026-10-30 16:50:04 +01:00

nvrl/ narl-workspace

Rust 0 0 0

Updated 2026-10-23 00:48:50 +02:00

nvrl/ claude-account

Rust 0 0 0

Updated 2026-09-24 13:51:44 +02:00

nvrl/ mould-rs

Rust 0 0 0

Updated 2026-09-05 05:06:00 +02:00

nvrl/ holy-flavor-rater

TypeScript 0 0 0

Updated 2026-09-04 23:38:55 +02:00

nvrl/ fluxo-rs

Rust 0 0 0

Updated 2026-08-12 19:51:30 +02:00

nvrl/ nvim-config

Lua 0 0 0

Updated 2026-08-11 17:40:07 +02:00

minze/ SAT-SOLVING-EXAMPREP

Markdown 0 0 0

Updated 2026-08-09 14:09:11 +02:00

nvrl/ consume-rs

Rust 0 0 0

Updated 2026-06-18 01:46:24 +02:00

minze/ topics_compiler

TeX 0 0 0

Updated 2026-06-03 20:18:54 +02:00

nvrl/ narlblog

TypeScript 0 0 0

Updated 2026-05-21 05:02:50 +02:00

nvrl/ sigil

Rust 0 0 0

Updated 2026-05-20 17:03:53 +02:00

nvrl/ smgw-pki

TypeScript 0 0 0

Updated 2026-05-12 19:26:44 +02:00

nvrl/ stitch-peek-rs

Rust 0 0 0

Updated 2026-04-03 23:48:35 +02:00

nvrl/ dotfiles-xps

Shell 0 0 0

Updated 2026-03-22 14:06:00 +01:00