Pinned Loading

1. Idris2-HVM Idris2-HVM Public

   HVM backend for Idris 2 (lazy)

   Idris 9 1

2. hindley-milner-verification hindley-milner-verification Public

   Verification of the Hindley-Milner type inference algorithm

   Idris

3. Idris2 Idris2 Public

   Forked from idris-lang/Idris2

   A purely functional programming language with first class types

   Idris

4. Haskquill Haskquill Public

   Compile-time QDSL for SQL queries in Haskell

   Haskell 2

5. intellij-scala intellij-scala Public

   Forked from JetBrains/intellij-scala

   Scala plugin for IntelliJ IDEA

   Scala

6. scala3 scala3 Public

   Forked from scala/scala3

   The Scala 3 compiler, also known as Dotty.

   Scala