#gradual-typing

2 repos tagged gradual-typing. Wiki index →

• rakudo/rakudo · 1,889★
  🦋 Rakudo – Raku on MoarVM, JVM, and JS
  #raku#perl6#compiler#programming-language#moarvm#nqp#grammars#concurrency
• racket/typed-racket · 574★
  Typed Racket
  #racket#scheme#lisp#occurrence-typing#type-checker#contracts#functional-programming#language-tooling