Dan Frumin (@co-dan)
github

co-dan

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    66
  • Global Rank 280,620 (Top 10 %)
  • Followers 87
  • Following 98
  • Registered about 12 years ago
  • Most used languages
    Coq     50.0 %
    Haskell
         30.0 %
    Ruby
         10.0 %
    HTML
         10.0 %
  • Location πŸ‡³πŸ‡± Netherlands
  • Country Total Rank 4,470
  • Country Ranking
    Coq     3
    Haskell
         40
    Ruby
         503
    HTML
         1,270

Top repositories

1

interactive-diagrams

Interactive-diagrams
Haskell
39
star
2

alfred-teatimer

Simple timer workflow for Alfred 2
Ruby
5
star
3

thesis

The Coq code for my PhD thesis
Coq
4
star
4

graphviz-render

A simple Haskell/Scotty web service for rendering Graphviz documents
HTML
3
star
5

SeLoC

Strong non-interference for fine-grained concurrent programs
Coq
3
star
6

pipes-irc

A Proxy interface to the Internet Relay Chat
Haskell
2
star
7

BI-cutelim

Cut elimination for the logic of Bunched Implications (BI), and some extensions.
Coq
2
star
8

co-dan

what am i doing here?
1
star
9

hott-snippets

snippin
Coq
1
star
10

niels-HITs-coq

several HITs
Coq
1
star
11

NPNTool

Petri net tools for Haskell
Haskell
1
star