unsound

There are 2 repositories under unsound topic.

  • namin/unsound

    Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala

    Language:HTML74554

  • chameco/bramble

    dependently-typed lisp with flexible compiler backends

    Language:Haskell25401