David Young (@roboguy13)
github

roboguy13

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    17
  • Global Rank 706,172 (Top 25 %)
  • Followers 18
  • Following 68
  • Registered about 11 years ago
  • Most used languages
    Haskell
         83.3 %
    Racket
         16.7 %

Top repositories

1

MetaForth

A natively compiled Forth implementation with delayed evaluation (similar to Lisp-style quoting)
Haskell
5
star
2

rewrite-logic

A simple proof assistant based on string rewriting (work in progress)
Haskell
3
star
3

fun-suslik

Haskell
3
star
4

existentialist

A package for working with heterogenous lists using existential types
Haskell
2
star
5

gpu-embed

Haskell
1
star
6

quaternions

A Racket module to work with quaternions
Racket
1
star