All Git Users → lpw25

4 open source projects by lpw25

[ Open user page on Github ]

1. Girards Paradox

A "implementation" of Girard's paradox in OCaml

✭ 69

2. ocaml-typed-effects

OCaml with typed algebraic effects

✭ 32

ocaml c emacs lisp assembly Makefile Standard ML

3. implicits-module-system

Work on modular implicits

✭ 22

Proposal for namespacing in OCaml

✭ 37

1-4 of 4 user projects