Mark Lemay (@marklemay)
github

marklemay

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    58
  • Global Rank 307,272 (Top 11 %)
  • Followers 9
  • Following 28
  • Registered almost 12 years ago
  • Most used languages
    Scala
         50.0 %
    Python
         20.0 %
    Haskell
         10.0 %
    Java
         10.0 %
    TeX
         10.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 62,569
  • Country Ranking
    Scala
         617
    Haskell
         1,181
    TeX
         2,529

Top repositories

1

scala-validations

macro validations for common string like constructs
Scala
11
star
2

GraphAutomata

a library for manipulating and learning graph automata
Scala
9
star
3

tptpParser

an xtext based parser for the tptp grammer.
Java
8
star
4

DependentlyTypedPython

a really jenky implementation of dependent types in (a very small subset of) python
Python
7
star
5

calculus-of-constructions

a simple implementation of the pure calculus of constructions
Scala
6
star
6

dDynamic

a minimal dependently typed language with equality resolving at runtime
Haskell
5
star
7

thesis

the source files for my thesis
TeX
3
star
8

massdebate

a debate site, with a twist
Python
2
star
9

dependent_data_elimination

2
star
10

scala-linux-provence-module

a helper library for LPM
Scala
2
star
11

neo4j-scala-graph

use neo4j with scala graphs
Scala
2
star