Repositories list

• wyvern

  Public
  The Wyvern programming language.

  programming-language

  programming-language

  Java

  •

  GNU General Public License v2.0

  •6666 forks•560560 stars•5959 issues•00 pull requests•Updated Apr 6, 2026Apr 6, 2026

• wyvernlang.github.io

  Public
  Wyvern website

  HTML

  •22 forks•44 stars•00 issues•00 pull requests•Updated Mar 6, 2026Mar 6, 2026

• docs

  Public
  TeX

  •77 forks•1010 stars•11 issue•00 pull requests•Updated Jul 31, 2020Jul 31, 2020

• grad-ver

  Public
  Gradual verification

  OCaml

  •

  MIT License

  •33 forks•99 stars•00 issues•11 pull request•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

  •33 forks•22 stars•00 issues•00 pull requests•Updated Jun 6, 2014Jun 6, 2014

• tslwyvern

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

  Scala

  •55 forks•77 stars•77 issues•00 pull requests•Updated May 17, 2014May 17, 2014