Eason du doofin

Organizations

Pinned Loading

1. Homotopy type theory for theorem proving with univalence

   Agda 8

2. Chisel on Scala 3 with improved bit width inference

   Scala 6

3. dependent types meets deep learning

   Idris 44 7

4. scala android template

   Scala 12 2

5. open source vscode coding assistant in Scala.js

   Scala 16

6. build tool and package manager for idris,in idris,with free monads

   Idris 32 3