doofin

Follow

Eason du doofin

Follow

part-time researcher about functional and formal math

71 followers · 74 following

Sponsoring

Achievements

Achievements

Organizations

doofin/README.md

Hi there 👋

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

My old blog about math : https://blog.functorcoder.com/

new website: https://www.ecofunctor.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
dependentChisel dependentChisel Public

Chisel on Scala 3 with improved bit width inference

Scala 6
differentiable-idris differentiable-idris Public

dependent types meets deep learning

Idris 44 7
scala4Android scala4Android Public

scala android template

Scala 12 2
functorcoder functorcoder Public

open source vscode coding assistant in Scala.js

Scala 16
idris-industry/ikan idris-industry/ikan Public

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

Idris 32 3