Discover VictorTaelin/talks Open Source project

Stars
2
Language
C
Created about 7 years ago
Updated 12 months ago

VictorTaelin

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

WebMonkeys

Massively parallel GPU programming on JavaScript, simple and clean.

JavaScript

1,163

LJSON

JSON extended with pure functions.

JavaScript

500

Caramel

A modern syntax for the λ-calculus.

Haskell

405

PureState

The stupidest state management library that works.

JavaScript

309

forall

Expressive static types and invariant checks for JavaScript.

JavaScript

227

abstract-algorithm

Optimal evaluator of λ-calculus terms.

JavaScript

222

Cedille-Core

A minimal proof language.

JavaScript

193

optlam

An optimal function evaluator written in JavaScript.

JavaScript

115

Interaction-Type-Theory

Rust

108

calculus-of-constructions

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

Bitspeak

articles

UrnaCripto

Referendos criptograficamente incorruptíveis.

JavaScript

lrs

Linkable Ring Signatures on JavaScript and PureScript.

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.

JavaScript

servify

Microservices in the simplest way conceivable.

JavaScript

optimul

Multiplication on optimal λ-calculus reducers

JavaScript

parallel_lambda_computer_tests

learning cuda

Cuda

nano-ipfs-store

Lightweight library to store and get data to/from IPFS

JavaScript

formality-agda-lib-legacy

Agda libraries relevant to Moonad

Agda

taemoba

unknown_halting_status

Small programs with unknown halting status.

JavaScript

lsign

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

JavaScript

reasoning_evals

my reasoning evals

JavaScript

Elementary-Affine-Net-legacy

JavaScript

OpenLegends

An open-source MOBA in Rust

ethereum-offline-signer

Signs an Ethereum transaction from the command line.

JavaScript

coc-with-math-prims

JavaScript

idris-mergesort-benchmark

Benchmark of the new Idris JS backend

uwuchat2_demo

LPU

Vote

nano-persistent-memoizer

Caches a function permanently on browser and node.

JavaScript

nano-sha256

Use native Sha256 on both browser and Node.js

JavaScript

ReflexScreenWidget

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

Haskell

OSX

Vim script

EthFP

VictorTaelin

ethereum-rpc

JavaScript

ethereum-publisher-dapp

JavaScript

shared-state-machine

JavaScript

Trabalho-IC-UFRJ-2

Python

NeoTaelin

eth-web-tools

Some web Ethereum tools that MyEtherWallet currently lacks

JavaScript

hvm2

Cuda

symmetric-interaction-calculus-benchmarks

SIC benchmarks

JavaScript

gpt

agbook

AGDA

Agda

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

TypeScript

sketch_bros

Super Sketch Bros!

JavaScript

StupidMinimalistHash

MaiaVictor.github.io

HTML

PotS

JavaScript

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

JavaScript

posts

FPL

A collection of functional JavaScript modules.

JavaScript

PassRhyme

JavaScript

something_calculus

moon-bignum

Minimalistic bignum library compiled from Moon-lang.

JavaScript

see

See inside JS functions

JavaScript

Trabalho-IC-UFRJ

JavaScript

optimal_evaluation_examples

optimal evaluation examples (DUP nodes, SUP nodes)

Haskell

inferno-hello-world-component

JavaScript

inet

JavaScript

VictorTaelin/talks

VictorTaelin

Reviews

Repository Details

More Repositories