lpw25/bin-doc lpw25/bin-doc

  • This repository has been archived on 10/Mar/2019
  • Stars
    star
    3
  • Rank 3,962,743 (Top 79 %)
  • Language
    OCaml
  • Created almost 12 years ago
  • Updated almost 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lpw25/bin-doc
github

lpw25

Reviews

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

Repository Details

Store OCamlDoc info in a binary file

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

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

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