Dustin Jamner (@DIJamner)
github

DIJamner

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    33
  • Global Rank 456,106 (Top 16 %)
  • Followers 20
  • Following 2
  • Registered over 11 years ago
  • Most used languages
    Coq     25.0 %
    Shell
         25.0 %
    Racket
         25.0 %
    Haskell
         25.0 %

Top repositories

1

lambda-compiler

A simple compiler from the lambda calculus to MIPS assembly
Racket
19
star
2

InDependent

A gradual, dependently typed language
Haskell
7
star
3

pyrosome

Coq
2
star
4

kubuntu-config

Configuring Kubuntu for my laptop
Shell
1
star