All Git Users → MaiaVictor

14 open source projects by MaiaVictor

[ Open user page on Github ]

1. Forall

Expressive static types and invariant checks for JavaScript.

✭ 229

javascript

2. Abstract Algorithm

Optimal evaluator of λ-calculus terms.

✭ 185

javascript

3. Cedille Core

A minimal proof language.

✭ 176

javascript

4. Optlam

An optimal function evaluator written in JavaScript.

✭ 103

✭ 81

Massively parallel GPU programming on JavaScript, simple and clean.

✭ 1,147

javascript hacktoberfest

7. Escoc

A nano "theorem prover".

✭ 61

javascript

8. Lambda Calculus

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

✭ 37

javascript

9. Lrs

Linkable Ring Signatures on JavaScript and PureScript.

✭ 31

purescript

10. Optimul

Multiplication on optimal λ-calculus reducers

✭ 18

javascript

11. Ljson

JSON extended with pure functions.

✭ 490

javascript

12. Caramel

A modern syntax for the λ-calculus.

✭ 385

haskell

13. Symmetric Interaction Calculus

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

✭ 298

rust

14. Purestate

The stupidest state management library that works.

✭ 289

javascript

1-14 of 14 user projects