Repositories list

• wyvern

  Public
  The Wyvern programming language.

  programming-language

  Java

  •

  GNU General Public License v2.0

  •65•556•59•4•Updated Nov 12, 2024Nov 12, 2024

• wyvernlang.github.io

  Public
  Wyvern website

  HTML

  •1•3•0•0•Updated Sep 17, 2024Sep 17, 2024

• docs

  Public
  TeX

  •6•9•1•0•Updated Jul 31, 2020Jul 31, 2020

• grad-ver

  Public
  Gradual verification

  OCaml

  •

  MIT License

  •2•8•0•1•Updated Feb 25, 2020Feb 25, 2020

• wyvern-copper

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

  Java

  •2•1•0•0•Updated Jun 6, 2014Jun 6, 2014

• tslwyvern

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

  Scala

  •4•5•7•0•Updated May 17, 2014May 17, 2014