Popular repositories Loading

1. Dolmen Dolmen Public

   A parser generator for the Java language

   Java 1 1

2. DolmenPlugin DolmenPlugin Public

   An Eclipse plug-in for the Dolmen parser generator

   Java 1

3. ocaml ocaml Public

   Forked from ocaml/ocaml

   The core OCaml system: compilers, runtime system, base libraries

   OCaml

4. HierarchyQuickAssist HierarchyQuickAssist Public

   A plug-in for the Eclipse JDT providing a quick-assist to help visiting a hierarchy of classes

   Java

5. ExternalAnnotations ExternalAnnotations Public

   External null type annotations for Java libraries

6. containers containers Public

   Forked from rocq-archive/containers

   Containers: a typeclass-based library of finite sets/maps

   Coq