Victor Taelin

Results 26 repositories owned by Victor Taelin

abstract-algorithm

276
Stars
17
Forks
Watchers

Optimal evaluator of λ-calculus terms.

articles

69
Stars
3
Forks
Watchers

Thoughts and stuff

Bitspeak

82
Stars
4
Forks
Watchers

calculus-of-constructions

113
Stars
11
Forks
Watchers

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

Caramel

413
Stars
13
Forks
Watchers

A modern syntax for the λ-calculus.

Cedille-Core

205
Stars
12
Forks
Watchers

A minimal proof language.

absal-ex

57
Stars
3
Forks
Watchers

Absal ex

absal-rs

35
Stars
3
Forks
Watchers

Elementary-Affine-Core-legacy

17
Stars
3
Forks
Watchers

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

ESCoC

62
Stars
0
Forks
Watchers

A nano "theorem prover".