Marty Stumpf (@thealmarty)
github

thealmarty

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    6
  • Global Rank 1,300,168 (Top 45 %)
  • Followers 52
  • Following 11
  • Registered over 6 years ago
  • Most used languages
    Haskell
         66.7 %
    OCaml
         33.3 %
  • Location πŸ‡¨πŸ‡¦ Canada
  • Country Total Rank 27,507
  • Country Ranking
    OCaml
         75
    Haskell
         133

Top repositories

1

BoxesGoBananas

Implementations of Boxes Go Bananas: Encoding Higher-Order Abstract Syntax With Parametric Polymorphism
Haskell
3
star
2

ocaml_algorithms

Algorithms written in OCaml
OCaml
2
star
3

LambdaPi

A dependently typed language core (lambda calculus) written in Haskell.
Haskell
1
star