Leo White (@lpw25)
github

lpw25

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    347
  • Global Rank 79,133 (Top 3 %)
  • Followers 282
  • Following 3
  • Registered about 12 years ago
  • Most used languages
    OCaml
         69.6 %
    Coq     13.0 %
    TeX
         8.7 %
    HTML
         4.3 %
    Makefile     4.3 %

Top repositories

1

girards-paradox

A "implementation" of Girard's paradox in OCaml
OCaml
104
star
2

ocaml-typed-effects

OCaml with typed algebraic effects
OCaml
46
star
3

namespaces

Proposal for namespacing in OCaml
38
star
4

prof_spacetime

Prof. Spacetime
OCaml
28
star
5

implicits-module-system

Work on modular implicits
TeX
23
star
6

shifted-names

Coq library for handling names
Coq
18
star
7

ecaml

ecaml
OCaml
11
star
8

async_graphics

Async wrapper for OCaml Graphics library
OCaml
9
star
9

talks

Sources for talks I've given
OCaml
8
star
10

ocaml-with-pp

OCaml driver with pre-linked pp options
OCaml
7
star
11

compiler_eq

Tool for comparing OCaml compilers
OCaml
7
star
12

row-subtyping

Row subtyping
Coq
6
star
13

dune-effects

Dune but with effects
OCaml
5
star
14

opam-units

Library for querying the libraries and compilation units of OPAM packages
OCaml
4
star
15

mode-semantics

Coq
4
star
16

opam-doc-base

Store documentation for OPAM packages
OCaml
4
star
17

nominal-effects

Paper and prototype on nominal algebraic effects
TeX
3
star
18

alternative-effects-api

An alternative to the upstream effects module
OCaml
3
star
19

split-arrow

An alternative presentation of arrows
OCaml
3
star
20

bin-doc

Store OCamlDoc info in a binary file
OCaml
3
star
21

modular-macros-spec

Specification for part of modular macros
Makefile
2
star
22

ocaml-open

Add open extensible types to OCaml (forked from ocaml/ocaml)
OCaml
1
star
23

ocaml-cmt-doc

Experiment with adding OCamlDoc info to the parse tree
OCaml
1
star
24

lpw25.github.com

Website
HTML
1
star