VictorTaelin

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

Interaction-Type-Theory

ChatSH

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

absal-ex

Absal ex

swarm-js

HOC

interaction-calculus-of-constructions

A minimal proof checker.

kind-ai

Taelang

my personal lang

MiniPaper

shorten long papers with GPT-4

OSX

taemoba

uwuchat

chat based messaging and rollback state computer

clifun

3D clifford algebras visualization

talks

gpt

MiniPapers

Papers and books minified to fit given LLMs context lengths.

rinha-de-compiler

🥖 | Rinha de compiladores (ou interpretadores kkkk

rinhavm-wip

rinhosidades

VictorTaelin

agda-vim

Agda interaction in vim

gpt4_essay

hvm-cuda-experiment

Bringing this .cu file back from an old forgotten branch

inpla

Inpla: Interaction nets as a programming language (the current version)

mini-icomb-render

telegram-math-quiz

vim_codex

This is a simple plugin for Vim that allows you to use OpenAI Codex.

xhr-request-promise