Eason du

differentiable-idris. dependent types meets deep learning

functorcoder. open source vscode coding assistant in Scala.js

scala4Android. scala android template

hott-examples. Homotopy type theory for theorem proving with univalence

dependentChisel. Chisel on Scala 3 with improved bit width inference

categorical-initiative. An collaborative learning group to tackle category theory

scala3-native-mill. Scala3 Native project template with Mill

alg-statistics. fundamental statistics in haskell

linux-2-in-1-laptops. list of extensible 2 in 1 laptop or tablets with nice Linux support

pytorch-sca. scala bindings for pytorch

sbt-android. An easy-to-use sbt plugin for working with all Android projects

haskell. Learning route for haskell

stdScala. a math and other std lib functions for scala

scala2rust. scala to rust compiler/transpiler

build.scala. hate strange sbt syntax? just write scala for build!

vscode-scalajs-hello. A simple VSCode extension with Scala.js

w-types. W types or well founded trees