Victor Taelin

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.

AI-scripts. Some handy AI scripts

LJSON. JSON extended with pure functions.

Caramel. A modern syntax for the λ-calculus.

PureState. The stupidest state management library that works.

abstract-algorithm. Optimal evaluator of λ-calculus terms.

forall. Expressive static types and invariant checks for JavaScript.

Cedille-Core. A minimal proof language.

optlam. An optimal function evaluator written in JavaScript.

Interaction-Type-Theory. Rust

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

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

Bitspeak. JavaScript

interaction-calculus-of-constructions. A minimal proof checker.

articles. Thoughts and stuff

ESCoC. A nano "theorem prover".

UrnaCripto. Referendos criptograficamente incorruptíveis.

absal-ex. Absal ex

lrs. Linkable Ring Signatures on JavaScript and PureScript.

eth-lib. Lightweight Ethereum libraries

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

AIEMU. Simple AI-based (Claude-3) game emulator

swarm-js. JavaScript

Formality. JavaScript

heart. heart

Moonad-web-legacy. A Peer-to-Peer Operating System

ultimate-calculus. TypeScript

nano-ethereum-signer. Very small Ethereum signer and verifier

absal-rs. Rust

nano-json-stream-parser. A complete, pure JavaScript, streamed JSON parser in less than 1kb.

servify. Microservices in the simplest way conceivable.

ab_challenge_eval. Evaluator for the A::B Prompting Challenge

kind-ai.

optimul. Multiplication on optimal λ-calculus reducers

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

parallel_lambda_computer_tests. learning cuda

Elementary-Affine-Core-legacy. A simple, untyped, terminating functional language that is fully compatible with optimal reductions.

Taelang. my personal lang

VictorTaelin.

agent-twitter-client. TypeScript

taemoba.

Elementary-Affine-Type-Theory-legacy. Minimal, efficient proof language

formality-agda-lib-legacy. Agda libraries relevant to Moonad

nano-ipfs-store. Lightweight library to store and get data to/from IPFS

viano. viano

unknown_halting_status. Small programs with unknown halting status.

Bend2. Bend2 - WIP

diagonalize. Searches through infinite branches

Formality-Net-legacy. C

run_solidity. Runs a Solidity file. That's all.

OpenLegends. An open-source MOBA in Rust

coc-with-math-prims. JavaScript

uwuchat. chat based messaging and rollback state computer

idris-mergesort-benchmark. Benchmark of the new Idris JS backend