Wyvern Language

Popular repositories Loading

1. wyvern wyvernPublic

   The Wyvern programming language.

   Java 565 66

2. docs docsPublic

   TeX 10 7

3. grad-ver grad-verPublic

   Gradual verification

   OCaml 9 3

4. tslwyvern tslwyvernPublic

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

   Scala 7 5

5. wyvernlang.github.io wyvernlang.github.ioPublic

   Wyvern website

   HTML 4 2

6. wyvern-copper wyvern-copperPublic

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

   Java 2 3