Languages
Developers
Countries
Repos
Topics
Repos by yurrriq
yurrriq
/ repos
137 repos
«
1
2
...
14
»
Repo
Language
Stars
Rank
dotfiles
Nix
51
604
idris-logic
Idris
8
245
parser-combinators
Agda
6
420
exercism
Shell
5
101,329
the-power-of-pi
Idris
5
342
learning-fstar
Nix
5
3,337
rust-in-action
Rust
5
63,385
gis
Idris
5
328
knrc
C
4
161,775
abstract-algebra-pinter
TeX
4
16,528