Victor Taelin (@VictorTaelin)
github

VictorTaelin

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3,766
  • Global Rank 7,583 (Top 0.3 %)
  • Followers 3,091
  • Following 20
  • Registered over 9 years ago
  • Most used languages
    JavaScript
         67.2 %
    Haskell
         4.7 %
    C
         4.7 %
    Cuda     4.7 %
    TypeScript
         4.7 %
    Agda     3.1 %
    Rust
         3.1 %
    PureScript     1.6 %
    Python
         1.6 %
    CSS
         1.6 %
    HTML
         1.6 %
    Vim script     1.6 %
  • Location 🇧🇷 Brazil
  • Country Total Rank 75
  • Country Ranking
    Agda     2
    Cuda     2
    Haskell
         2
    PureScript     2
    Vim script     2
    JavaScript
         16
    Rust
         31
    C
         194
    TypeScript
         670
    CSS
         8,489

Top repositories

1

WebMonkeys

Massively parallel GPU programming on JavaScript, simple and clean.
JavaScript
1,163
star
2

LJSON

JSON extended with pure functions.
JavaScript
500
star
3

Caramel

A modern syntax for the λ-calculus.
Haskell
405
star
4

PureState

The stupidest state management library that works.
JavaScript
309
star
5

forall

Expressive static types and invariant checks for JavaScript.
JavaScript
227
star
6

abstract-algorithm

Optimal evaluator of λ-calculus terms.
JavaScript
222
star
7

Cedille-Core

A minimal proof language.
JavaScript
193
star
8

optlam

An optimal function evaluator written in JavaScript.
JavaScript
115
star
9

Interaction-Type-Theory

Rust
108
star
10

calculus-of-constructions

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

Bitspeak

JavaScript
80
star
12

articles

Thoughts and stuff
JavaScript
65
star
13

UrnaCripto

Referendos criptograficamente incorruptíveis.
JavaScript
51
star
14

lrs

Linkable Ring Signatures on JavaScript and PureScript.
PureScript
46
star
15

lambda-calculus

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

heart

heart
JavaScript
41
star
17

ultimate-calculus

TypeScript
36
star
18

absal-rs

Rust
36
star
19

HOC

C
32
star
20

nano-json-stream-parser

A complete, pure JavaScript, streamed JSON parser in less than 1kb.
JavaScript
29
star
21

servify

Microservices in the simplest way conceivable.
JavaScript
28
star
22

optimul

Multiplication on optimal λ-calculus reducers
JavaScript
22
star
23

parallel_lambda_computer_tests

learning cuda
Cuda
18
star
24

nano-ipfs-store

Lightweight library to store and get data to/from IPFS
JavaScript
14
star
25

formality-agda-lib-legacy

Agda libraries relevant to Moonad
Agda
14
star
26

taemoba

13
star
27

unknown_halting_status

Small programs with unknown halting status.
JavaScript
12
star
28

lsign

Quantum-proof, 768-bit signatures for 1-bit messages
JavaScript
11
star
29

reasoning_evals

my reasoning evals
JavaScript
9
star
30

Elementary-Affine-Net-legacy

JavaScript
8
star
31

OpenLegends

An open-source MOBA in Rust
6
star
32

ethereum-offline-signer

Signs an Ethereum transaction from the command line.
JavaScript
6
star
33

coc-with-math-prims

JavaScript
5
star
34

idris-mergesort-benchmark

Benchmark of the new Idris JS backend
JavaScript
5
star
35

uwuchat2_demo

UwUChat2 demo game
TypeScript
5
star
36

LPU

JavaScript
4
star
37

Vote

3
star
38

nano-persistent-memoizer

Caches a function permanently on browser and node.
JavaScript
3
star
39

nano-sha256

Use native Sha256 on both browser and Node.js
JavaScript
3
star
40

ReflexScreenWidget

A widget for Haskell-Reflex that renders a dynamic image to a Canvas in realtime.
Haskell
3
star
41

OSX

Vim script
3
star
42

EthFP

3
star
43

VictorTaelin

3
star
44

ethereum-rpc

JavaScript
2
star
45

ethereum-publisher-dapp

JavaScript
2
star
46

shared-state-machine

JavaScript
2
star
47

Trabalho-IC-UFRJ-2

Python
2
star
48

NeoTaelin

2
star
49

eth-web-tools

Some web Ethereum tools that MyEtherWallet currently lacks
JavaScript
2
star
50

hvm2

Cuda
2
star
51

symmetric-interaction-calculus-benchmarks

SIC benchmarks
JavaScript
2
star
52

talks

C
2
star
53

gpt

2
star
54

agbook

AGDA
Agda
2
star
55

Kind2

Kind refactor based on HVM
2
star
56

kind-react-component

Renders a Kind app as a React component
1
star
57

PongFromScratch

A simple tutorial on how to create a ping-pong game from scratch
1
star
58

tsbook

TypeScript
1
star
59

sketch_bros

Super Sketch Bros!
JavaScript
1
star
60

StupidMinimalistHash

C
1
star
61

MaiaVictor.github.io

HTML
1
star
62

PotS

JavaScript
1
star
63

LamBolt

The ultimate compile target for functional languages
1
star
64

form-login

Um formulário de Login feito com HTML e CSS usando transições
CSS
1
star
65

who-loves-voxels

JavaScript
1
star
66

cuda_rewrite_tests

learning cuda
Cuda
1
star
67

luna-lang-old-abandoned-repo

Typed version of Moon-lang
JavaScript
1
star
68

posts

1
star
69

FPL

A collection of functional JavaScript modules.
JavaScript
1
star
70

PassRhyme

JavaScript
1
star
71

something_calculus

1
star
72

moon-bignum

Minimalistic bignum library compiled from Moon-lang.
JavaScript
1
star
73

see

See inside JS functions
JavaScript
1
star
74

Trabalho-IC-UFRJ

JavaScript
1
star
75

optimal_evaluation_examples

optimal evaluation examples (DUP nodes, SUP nodes)
Haskell
1
star
76

inferno-hello-world-component

JavaScript
1
star
77

inet

JavaScript
1
star