Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
VictorTaelin
Star
7172
Rank
3717
Go to GitHub
Fetched on 2026/03/14 09:28
254 Repositories
optimal_evaluation_examples
10
LPU
10
escoc-libs-legacy
10
diagonalize
10
hvm4-formal
9
Elementary-Affine-Net-legacy
9
talks
8
run_solidity
8
Formality-Net-legacy
8
Bend2
8
OpenLegends
7
formality-document
7
ethereum-offline-signer
7
uwuchat
6
Nasic-legacy
6
kaelin
6
idris-mergesort-benchmark
6
coc-with-math-prims
6
uwuchat2_demo
5
Treeduce
5
ReflexScreenWidget
5
OldFormality
5
matmulfreellm
5
HRM
5
harness
5
Free-Haskell-Books
5
Formality-Web-legacy
5
canon_in_ghost
5
Vote
4
rtx
4
nano-sha256
4
nano-persistent-memoizer
4
MiniPapers
4
media
4
Formality-to-Nasic-legacy
4
Formality-IO-legacy
4
EthFP
4
clifun
4
blind_spots_study
4
agda-cli
4
tsbook
3
Trabalho-IC-UFRJ-2
3
topics
3
symmetric-interaction-calculus-benchmarks
3
shared-state-machine
3
promote-your-next-startup
3
NeoTaelin
3
LamBit
3
LambdaIO-Formality-Talk
3
Kind2
3
‹
1
2
3
4
5
6
›