@prashant007
github

prashant007

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    4
  • Global Rank 1,611,161 (Top 56 %)
  • Followers 1
  • Registered over 10 years ago
  • Most used languages
    Haskell
         66.7 %
    Racket
         33.3 %

Top repositories

1

XDP

Semiring Dynamic Programming Library For PADL
Haskell
2
star
2

MPL

Haskell
1
star
3

SymbolicDebugger

An automatic debugger based on symbolic logic
Racket
1
star