Leo White

icon indicating an email [email protected]

icon company Jane Street

Results 6 repositories owned by Leo White

girards-paradox

104
Stars
2
Forks
Watchers

A "implementation" of Girard's paradox in OCaml

verified publisher icon lpw25

implicits-module-system

23
Stars
2
Forks
Watchers

Work on modular implicits

verified publisher icon lpw25

namespaces

38
Stars
2
Forks
Watchers

Proposal for namespacing in OCaml

verified publisher icon lpw25

ocaml-typed-effects

46
Stars
4
Forks
Watchers

OCaml with typed algebraic effects

verified publisher icon lpw25

prof_spacetime

28
Stars
12
Forks
Watchers

Prof. Spacetime

verified publisher icon lpw25

shifted-names

18
Stars
3
Forks
Watchers

Coq library for handling names

verified publisher icon lpw25