Discover @VictorTaelin Open Source projects

Victor Taelin (@VictorTaelin)

VictorTaelin

Stars
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 %

C
4.7 %

Haskell
4.7 %

TypeScript
4.7 %

Cuda 4.7 %

Agda 3.1 %

Rust
3.1 %

PureScript 1.6 %

HTML
1.6 %

Python
1.6 %

Vim script 1.6 %

CSS
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

WebMonkeys

Massively parallel GPU programming on JavaScript, simple and clean.

LJSON

JSON extended with pure functions.

Caramel

A modern syntax for the λ-calculus.

PureState

The stupidest state management library that works.

forall

Expressive static types and invariant checks for JavaScript.

abstract-algorithm

Optimal evaluator of λ-calculus terms.

Cedille-Core

A minimal proof language.

optlam

An optimal function evaluator written in JavaScript.

Interaction-Type-Theory

calculus-of-constructions

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

Bitspeak

articles

Thoughts and stuff

UrnaCripto

Referendos criptograficamente incorruptíveis.

lrs

Linkable Ring Signatures on JavaScript and PureScript.

lambda-calculus

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

heart

ultimate-calculus

absal-rs

HOC

nano-json-stream-parser

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

servify

Microservices in the simplest way conceivable.

optimul

Multiplication on optimal λ-calculus reducers

parallel_lambda_computer_tests

nano-ipfs-store

Lightweight library to store and get data to/from IPFS

formality-agda-lib-legacy

Agda libraries relevant to Moonad

taemoba

unknown_halting_status

Small programs with unknown halting status.

lsign

Quantum-proof, 768-bit signatures for 1-bit messages

reasoning_evals

my reasoning evals

Elementary-Affine-Net-legacy

OpenLegends

An open-source MOBA in Rust

ethereum-offline-signer

Signs an Ethereum transaction from the command line.

coc-with-math-prims

idris-mergesort-benchmark

Benchmark of the new Idris JS backend

uwuchat2_demo

UwUChat2 demo game

LPU

Vote

nano-persistent-memoizer

Caches a function permanently on browser and node.

nano-sha256

Use native Sha256 on both browser and Node.js

ReflexScreenWidget

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

OSX

EthFP

VictorTaelin

ethereum-rpc

ethereum-publisher-dapp

shared-state-machine

Trabalho-IC-UFRJ-2

NeoTaelin

eth-web-tools

Some web Ethereum tools that MyEtherWallet currently lacks

hvm2

symmetric-interaction-calculus-benchmarks

talks

gpt

agbook

Kind2

Kind refactor based on HVM

kind-react-component

Renders a Kind app as a React component

PongFromScratch

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

tsbook

sketch_bros

Super Sketch Bros!

StupidMinimalistHash

MaiaVictor.github.io

PotS

LamBolt

The ultimate compile target for functional languages

form-login

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

who-loves-voxels

cuda_rewrite_tests

luna-lang-old-abandoned-repo

Typed version of Moon-lang

posts

FPL

A collection of functional JavaScript modules.

PassRhyme

something_calculus

moon-bignum

Minimalistic bignum library compiled from Moon-lang.

see

See inside JS functions

Trabalho-IC-UFRJ

optimal_evaluation_examples

optimal evaluation examples (DUP nodes, SUP nodes)

inferno-hello-world-component

inet