Skip to content
@wyvernlang

Wyvern Language

Popular repositories Loading

  1. wyvern wyvern Public

    The Wyvern programming language.

    Java 560 65

  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

Repositories

Showing 6 of 6 repositories
  • wyvern Public

    The Wyvern programming language.

    Java 560 GPL-2.0 65 59 (4 issues need help) 4 Updated Feb 26, 2025
  • wyvernlang.github.io Public

    Wyvern website

    HTML 3 1 0 0 Updated Sep 17, 2024
  • docs Public
    TeX 9 6 1 0 Updated Jul 31, 2020
  • grad-ver Public

    Gradual verification

    OCaml 8 MIT 2 0 1 Updated Feb 25, 2020
  • wyvern-copper Public

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

    Java 1 2 0 0 Updated Jun 6, 2014
  • tslwyvern Public

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

    Scala 5 4 7 0 Updated May 17, 2014

Top languages

Loading…

Most used topics

Loading…