Discover @VictorTaelin Open Source projects

Victor Taelin (@VictorTaelin)

VictorTaelin

Stars
5,144
Global Rank 5,031 (Top 0.2 %)
Followers 1,702
Following 18
Registered almost 9 years ago
Most used languages

JavaScript
72.3 %

C
5.3 %

Rust
5.3 %

TypeScript
3.2 %

HTML
3.2 %

Cuda 3.2 %

Haskell
2.1 %

Agda 1.1 %

PureScript 1.1 %

CSS
1.1 %

Python
1.1 %

Vim script 1.1 %
Location 🇧🇷 Brazil
Country Total Rank 75
Country Ranking

Vim script 1

Agda 2

Cuda 2

Haskell
2

PureScript 2

Rust
4

JavaScript
12

C
147

TypeScript
361

HTML
3,681

CSS
7,602

WebMonkeys

Massively parallel GPU programming on JavaScript, simple and clean.

Interaction-Calculus

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

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.

calculus-of-constructions

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

Interaction-Type-Theory

Bitspeak

articles

Thoughts and stuff

ChatSH

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

ESCoC

A nano "theorem prover".

absal-ex

eth-lib

Lightweight Ethereum libraries

UrnaCripto

Referendos criptograficamente incorruptíveis.

lrs

Linkable Ring Signatures on JavaScript and PureScript.

swarm-js

lambda-calculus

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

heart

nano-ethereum-signer

Very small Ethereum signer and verifier

absal-rs

Moonad-web-legacy

A Peer-to-Peer Operating System

Formality

ultimate-calculus

HOC

nano-json-stream-parser

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

servify

Microservices in the simplest way conceivable.

interaction-calculus-of-constructions

A minimal proof checker.

kind-ai

optimul

Multiplication on optimal λ-calculus reducers

parallel_lambda_computer_tests

Navim

Navigates files on the terminal with the minimal amount of keystrokes.

Elementary-Affine-Core-legacy

A simple, untyped, terminating functional language that is fully compatible with optimal reductions.

formality-agda-lib-legacy

Agda libraries relevant to Moonad

nano-ipfs-store

Lightweight library to store and get data to/from IPFS

Elementary-Affine-Type-Theory-legacy

Minimal, efficient proof language

Taelang

my personal lang

unknown_halting_status

Small programs with unknown halting status.

lsign

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

diagonalize

Searches through infinite branches

escoc-libs-legacy

Base Formality libraries

MiniPaper

shorten long papers with GPT-4

AIEMU

Simple AI-based (Claude-3) game emulator

Elementary-Affine-Net-legacy

Formality-Net-legacy

run_solidity

Runs a Solidity file. That's all.

OpenLegends

An open-source MOBA in Rust

formality-document

coc-with-math-prims

Nasic-legacy

N-Ary Symmetric Interaction Combinators

idris-mergesort-benchmark

Benchmark of the new Idris JS backend

taemoba

LPU

Formality-Web-legacy

uwuchat

chat based messaging and rollback state computer

ethereum-offline-signer

Signs an Ethereum transaction from the command line.

LambdaIO-Formality-Talk

Treeduce

Vote

Formality-to-Nasic-legacy

Compiles a Formality term to a Nasic graph

clifun

3D clifford algebras visualization

Formality-IO-legacy

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

AI-scripts

Some handy AI scripts

freeform-wpm-test

A simple WPM test that allows you to type anything you want.

ethereum-rpc

ethereum-publisher-dapp

symmetric-interaction-calculus-benchmarks

NeoTaelin

shared-state-machine

Trabalho-IC-UFRJ-2

eth-web-tools

Some web Ethereum tools that MyEtherWallet currently lacks

MiniPapers

Papers and books minified to fit given LLMs context lengths.

gpt

hvm2

Formality-sugars-legacy

Default syntax sugars for Formality

talks

PongFromScratch

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

kind-react-component

Renders a Kind app as a React component

fineorder

PotS

piramidex

LamBolt

The ultimate compile target for functional languages

sketch_bros

Super Sketch Bros!

StupidMinimalistHash

MaiaVictor.github.io

haelin

cuda_rewrite_tests

VictorTaelin

luna-lang-old-abandoned-repo

Typed version of Moon-lang

Kind2

Kind refactor based on HVM

inferno-hello-world

Inferno Hello World with Hyperscript

posts