l
lpw25
48 repositories
296 followers
Repositories
Select a repository to view its commits, contributors, and more.public
girards-paradox
A "implementation" of Girard's paradox in OCaml
OCaml
105
2
1
Updated 2 months ago
public
ocaml-typed-effects
OCaml with typed algebraic effects
OCaml
49
4
2
Updated 2 months ago
public
namespaces
Proposal for namespacing in OCaml
38
2
1
Updated a year ago
public
prof_spacetime
Prof. Spacetime
OCaml
28
12
7
Updated a year ago
public
implicits-module-system
Work on modular implicits
TeX
23
2
0
Updated 2 years ago
public
shifted-names
Coq library for handling names
Coq
18
2
0
Updated a year ago
public
ecaml
ecaml
OCaml
10
0
1
Updated 2 months ago
public
async_graphics
Async wrapper for OCaml Graphics library
OCaml
8
4
0
Updated 2 months ago
public
talks
Sources for talks I've given
OCaml
7
1
0
Updated 2 months ago
public
ocaml-with-pp
OCaml driver with pre-linked pp options
OCaml
7
1
0
Updated 2 years ago
public
split-arrow
An alternative presentation of arrows
OCaml
7
0
0
Updated 3 months ago
public
row-subtyping
Row subtyping
Coq
6
0
0
Updated 2 years ago