17 open source projects by VictorTaelin

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

Minimal, efficient proof language

A minimal proof language.

learning cuda

Agda libraries relevant to Moonad

A modern syntax for the λ-calculus.

Absal ex

No description, website, or topics provided.

Referendos criptograficamente incorruptíveis.

heart

Microservices in the simplest way conceivable.

Massively parallel GPU programming on JavaScript, simple and clean.

JSON extended with pure functions.

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

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

No description, website, or topics provided.

Very small Ethereum signer and verifier