Lee Pike (@leepike)
github

leepike

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    303
  • Global Rank 88,086 (Top 4 %)
  • Followers 130
  • Following 16
  • Registered about 14 years ago
  • Most used languages
    Haskell
         80.0 %
    TeX
         20.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 21,470
  • Country Ranking
    Haskell
         163
    TeX
         208

Top repositories

1

Copilot

A (Haskell DSL) stream language for generating hard real-time C code.
Haskell
148
star
2

SmartCheck

A Smarter QuickCheck
TeX
102
star
3

theresistance

Bayesian solver for The Resistance card game: https://en.wikipedia.org/wiki/The_Resistance_(game)
Haskell
11
star
4

copilot-sbv

SBV backend for Copilot.
Haskell
5
star
5

ivory-hoare-examples

Small pre/post examples in Ivory.
Haskell
1
star