lpw25/implicits-module-system lpw25/implicits-module-system

  • Stars
    star
    23
  • Rank 1,016,462 (Top 21 %)
  • Language
    TeX
  • Created about 7 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lpw25/implicits-module-system
github

lpw25

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Work on modular implicits

More 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

shifted-names

Coq library for handling names
Coq
18
star
6

ecaml

ecaml
OCaml
11
star
7

async_graphics

Async wrapper for OCaml Graphics library
OCaml
9
star
8

talks

Sources for talks I've given
OCaml
8
star
9

ocaml-with-pp

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

compiler_eq

Tool for comparing OCaml compilers
OCaml
7
star
11

row-subtyping

Row subtyping
Coq
6
star
12

dune-effects

Dune but with effects
OCaml
5
star
13

opam-units

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

mode-semantics

Coq
4
star
15

opam-doc-base

Store documentation for OPAM packages
OCaml
4
star
16

nominal-effects

Paper and prototype on nominal algebraic effects
TeX
3
star
17

alternative-effects-api

An alternative to the upstream effects module
OCaml
3
star
18

split-arrow

An alternative presentation of arrows
OCaml
3
star
19

bin-doc

Store OCamlDoc info in a binary file
OCaml
3
star
20

modular-macros-spec

Specification for part of modular macros
Makefile
2
star
21

ocaml-open

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

ocaml-cmt-doc

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

lpw25.github.com

Website
HTML
1
star