Victor Taelin

icon indicating an email [email protected]

icon company Higher Order Company icon location Rio de Janeiro, Brazil icon location Functional-programming enthusiast, author of Kind and HVM.

Results 26 repositories owned by Victor Taelin

abstract-algorithm

276
Stars
17
Forks
Watchers

Optimal evaluator of λ-calculus terms.

verified publisher icon VictorTaelin

articles

69
Stars
3
Forks
Watchers

Thoughts and stuff

verified publisher icon VictorTaelin

Bitspeak

82
Stars
4
Forks
Watchers

verified publisher icon VictorTaelin

calculus-of-constructions

113
Stars
11
Forks
Watchers

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

verified publisher icon VictorTaelin

Caramel

413
Stars
13
Forks
Watchers

A modern syntax for the λ-calculus.

verified publisher icon VictorTaelin

Cedille-Core

205
Stars
12
Forks
Watchers

A minimal proof language.

verified publisher icon VictorTaelin

absal-ex

57
Stars
3
Forks
Watchers

Absal ex

verified publisher icon VictorTaelin

absal-rs

35
Stars
3
Forks
Watchers

verified publisher icon VictorTaelin

Elementary-Affine-Core-legacy

17
Stars
3
Forks
Watchers

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

verified publisher icon VictorTaelin

ESCoC

62
Stars
0
Forks
Watchers

A nano "theorem prover".

verified publisher icon VictorTaelin