Loading player card
Not on DevTrack yet
@VictorTaelin
Victor Taelin
Functional-programming enthusiast, author of Kind and HVM.
On GitHub since June 2015View on GitHub
- Est. rank
- ~#3
- Streak
- 0D
- Level
- 104
Diamond
LV 104105,980 XP · 80 to LV 105
This page is generated automatically from @VictorTaelin's public GitHub activity. It is not run, verified or endorsed by @VictorTaelin or by GitHub, and DevTrack never asks for a GitHub password.
Unclaimed profile
Would rank #3 of 12 globally
If you are @VictorTaelin, sign in with GitHub as @VictorTaelin to claim it: join the leaderboard, keep your 105,980 XP and tier, count private contributions, and get README badges. Only the owner of the GitHub account can claim it.
Contributions (1y)
2,042
Current streak
0days
Longest streak (1y)
16days
Active days (1y)
124
Commits (all time)
10,337
Pull requests
48
Code reviews
46
Followers
6,875
2,042 contributions in the last year
Top repositories
- OptMem
Permanent memory for AI agents. A 426-token prompt, a script, plug and play.
2,369Python - Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
961C - AI-scripts
Some handy AI scripts
Built from public GitHub data and refreshed every few hours. Not affiliated with @VictorTaelin.