Dan Frumin Dan Frumin

Tracking 773 commits to 96 open source packages


Location: Nijmegen


Repositories

co-dan/interactive-diagrams
Interactive-diagrams
Haskell - Last pushed - 37 stars - 2 forks
co-dan/graphviz-render
A simple Haskell/Scotty web service for rendering Graphviz documents
HTML - BSD-3-Clause - Last pushed - 2 stars
co-dan/hott-snippets
snippin
Coq - Last pushed - 1 stars
co-dan/niels-HITs-coq
several HITs
Coq - Updated - 0 stars
See all Dan Frumin's repositories

Repositories Contributed To

sashabaranov/particles-env
particles-env mirror
C# - Last pushed - 1 stars
lymar/hastache
Haskell implementation of Mustache template
Haskell - Other - Last pushed - 94 stars - 16 forks
hamishmack/vado
Run commands on remote machines using ssh
Haskell - MIT - Last pushed - 9 stars - 2 forks
jaspervdj/hakyll
A static website compiler library in Haskell
Haskell - Other - Last pushed - 1.88K stars - 331 forks
dhaley/org-mode
An organization and note-taking mode for Emacs, by Carsten Dominik
Emacs Lisp - GPL-3.0 - Last pushed - 0 stars
sachac/org-mode
My copy of org-mode - upstream is at git://orgmode.org/org-mode.git
Emacs Lisp - GPL-3.0 - Last pushed - 1 stars - 2 forks
See all Dan Frumin's contributions

Published Packages

restricted-workers
This library provides an abstract interface for running various kinds of workers under resource r...
Latest release 0.1.1 - Updated - 37 stars
See all Dan Frumin's packages

Last synced: 2016-12-16 12:02:07 UTC

Login to resync this page