home
|
reviews
login
|
signup
~*~ is your repo kino or slop? find out NOW ~*~
breitnw
16 karma
member since 2026-03-22
3
votes cast
1
reviews
2
upvotes received
67%
kino rate
33%
slop rate
~~ submitted repos (1) ~~
repo
algorithm
community
stars
agda/agda
11.5
0.0
2.8k
~~ recent reviews ~~
on
agda/agda
2d ago
↑2
pure functional kino
