lpw25/shifted-names lpw25/shifted-names

  • Stars
    star
    18
  • Rank 1,207,788 (Top 24 %)
  • Language Coq
  • Created about 5 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lpw25/shifted-names
github

lpw25

Reviews

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

Repository Details

Coq library for handling names

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

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