doofin

Follow

Eason du doofin

Follow

functional and differentiable

58 followers · 61 following

Danmarks Tekniske Universitet
Norway
https://blog.doofin.com/
in/eason-du-03543279

Sponsoring

Achievements

Achievements

Organizations

doofin/README.md

Hi there 👋

I'm a functional/mathematical programmer in general mostly writing Scala.

My blog about math : https://blog.doofin.com/

Contribs to open source projects:

dependentChisel : Chisel on Scala 3 with improved bit width inference: https://github.com/doofin/dependentChisel

metals : doofin/metals#2 and https://github.com/scalameta/metals/pulls?q=is%3Apr+author%3Adoofin

Pinned Loading

hott-examples hott-examples Public

Homotopy type theory for theorem proving with univalence

Agda 8
fcall fcall Public

function call graph generator for haskell

Haskell
pureGraphdb pureGraphdb Public

Native haskell graph database

Haskell
program-analysis-scala program-analysis-scala Public

static analysis from Flemming Nielson's book

Scala
haskellAlgo haskellAlgo Public

numerical Methods and other algo

Haskell
dependentChisel dependentChisel Public

Chisel on Scala 3 with improved bit width inference

Scala 1