Repositories list

• wyvern

  Public
  The Wyvern programming language.

  programming-language

  Java

  •

  GNU General Public License v2.0

  •66•560•59•2•Updated Feb 14, 2026Feb 14, 2026

• wyvernlang.github.io

  Public
  Wyvern website

  HTML

  •2•4•0•0•Updated Sep 17, 2024Sep 17, 2024

• docs

  Public
  TeX

  •7•10•1•0•Updated Jul 31, 2020Jul 31, 2020

• grad-ver

  Public
  Gradual verification

  OCaml

  •

  MIT License

  •3•9•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

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

• tslwyvern

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

  Scala

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