Gabriel Scherer@gasche 
functional-language top 10 algebraic-effects top 10 opam top 100

Expertise

Global rank

# 69,279

Location

None
Languages
OCaml
coq
Nim
TeX
Common ...
Frameworks
Django
Products
opam
Atom
Emacs
Vim
Git
sed
Topics
functio...
algebra...
multico...
integra...
depende...
theorem...
program...
binary-...
Package...
Reverse...

Help us improve

If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.