Popular repositories

1. wyvern wyvern Public

   The Wyvern programming language.

   Java 550 70

2. docs docs Public

   TeX 9 6

3. grad-ver grad-ver Public

   Gradual verification

   OCaml 8 2

4. tslwyvern tslwyvern Public

   An implementation of TSL Wyvern (ECOOP'14) in Scala. Typechecker + translator to Scala.

   Scala 5 4

5. wyvernlang.github.io wyvernlang.github.io Public

   Wyvern website

   HTML 3 1

6. wyvern-copper wyvern-copper Public

   A github clone of the MELT Copper project. Home: http://melt.cs.umn.edu/copper/

   Java 1 2