eason du (@doofin)
github

doofin

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    79
  • Global Rank 246,367 (Top 9 %)
  • Followers 53
  • Following 56
  • Registered about 11 years ago
  • Most used languages
    Scala
         50.0 %
    Idris     20.0 %
    Agda     10.0 %
    C++
         10.0 %
    Haskell
         10.0 %
  • Location 🇨🇳 China
  • Country Total Rank 26,044
  • Country Ranking
    Idris     1
    Agda     2
    Haskell
         65
    Scala
         157

Top repositories

1

differentiable-idris

dependent types meets deep learning
Idris
41
star
2

scala4Android

scala android template
Scala
11
star
3

hott-examples

Homotopy type theory for theorem proving with univalence
Agda
6
star
4

scala3-native-mill

Scala3 Native project template with Mill
Scala
5
star
5

alg-statistics

fundamental statistics in haskell
Haskell
4
star
6

categorical-initiative

An collaborative learning group to tackle category theory
4
star
7

pytorch-sca

scala bindings for pytorch
C++
3
star
8

haskell

Learning route for haskell
2
star
9

build.scala

hate strange sbt syntax? just write scala for build!
Scala
1
star
10

linux-2-in-1-laptops

list of extensible 2 in 1 laptop or tablets with nice Linux support
1
star
11

stdScala

a math and other std lib functions for scala
Scala
1
star
12

w-types

W types or well founded trees
Idris
1
star
13

dependentChisel

Chisel on Scala 3 with improved bit width inference
Scala
1
star