VictorTaelin

Victor Taelin Joined Jun 2015 6,954 followers View on GitHub

Stars
10,439
across 191 public repos
Rank
#3,080
of 327,462 users, top 0.9%
Same place as a week ago

Repositories with 50+ stars

VictorTaelin's repositories with their overall rank
RankRepositoryLanguageStars
28,440

Permanent memory for AI agents. A 426-token prompt, a script, plug and play.

Python 2,394
47,514

Massively parallel GPU programming on JavaScript, simple and clean.

JavaScript 1,444
68,920

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

C 961
90,780

Some handy AI scripts

TypeScript 716
96,884 TypeScript 666
126,098

JSON extended with pure functions.

JavaScript 499
147,714

A modern syntax for the λ-calculus.

Haskell 417
192,355

The stupidest state management library that works.

JavaScript 309
205,391

Optimal evaluator of λ-calculus terms.

JavaScript 286
249,575

Expressive static types and invariant checks for JavaScript.

JavaScript 227
256,052

A minimal proof language.

JavaScript 220
374,364

An optimal function evaluator written in JavaScript.

JavaScript 139
418,512 Rust 121
429,813

Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.

JavaScript 117
457,914

Chat with GPT from the terminal, with the ability to execute shell scripts.

JavaScript 108
563,550

A minimal proof checker.

TypeScript 83
569,062 JavaScript 82
623,443

Thoughts and stuff

JavaScript 73
699,933

A nano "theorem prover".

JavaScript 63
708,586

Referendos criptograficamente incorruptíveis.

JavaScript 62
727,011

Absal ex

60
746,182 TypeScript 58
789,877

Linkable Ring Signatures on JavaScript and PureScript.

PureScript 54
789,877

A simple, clean and fast implementation of the λ-calculus on JavaScript.

Haskell 54
801,445

Lightweight Ethereum libraries

JavaScript 53

Among 327,462 users

10k–16k stars: 1,476 users, including VictorTaelin

Stars along the bottom, and users in each band on a log scale

When they were made

25 repos with 50+ stars, made between 2015 and 2026

Quick stats

Next rank
+1 star to reach #3,079
Next milestone
+39,183 stars to reach the top 0.1%
Public repos
191, 25 with 50+ stars
Popular repos
15 over 100 stars, 2 over 1k stars
Top repo
OptMem, #28,440 of all repos, 23% of stars
Smaller repos
1,173 stars from repos under 50

Stars counted Recounted daily Next count around