Eric Campbell (@ericthewry)
github

ericthewry

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    8
  • Global Rank 1,106,139 (Top 39 %)
  • Followers 12
  • Following 1
  • Registered almost 10 years ago
  • Most used languages
    Haskell
         75.0 %
    JavaScript
         25.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 176,329
  • Country Ranking
    Haskell
         1,068

Top repositories

1

semantics

A repository of toy haskell formalizations of various formal languages
Haskell
3
star
2

integer_matrices

JavaScript
2
star
3

interpreters

An Implementation of Many of the Definitional Interpreters from John C. Reynold's 1972 paper
Haskell
2
star
4

epikat

Epistemic Reasoning in KAT
Haskell
1
star