m
marklemay
Interested in Dependent types, functional programming, and automated theorem proving.
68 repositories
11 followers
Boston
Repositories
Select a repository to view its commits, contributors, and more.public
scala-validations
macro validations for common string like constructs
Scala
11
2
0
Updated 3 years ago
public
GraphAutomata
a library for manipulating and learning graph automata
Scala
9
4
0
Updated 2 years ago
public
tptpParser
an xtext based parser for the tptp grammer.
Java
8
2
0
Updated 2 years ago
public
DependentlyTypedPython
a really jenky implementation of dependent types in (a very small subset of) python
Python
7
0
0
Updated 2 years ago
public
calculus-of-constructions
a simple implementation of the pure calculus of constructions
Scala
6
1
0
Updated a year ago
public
dDynamic
a minimal dependently typed language with equality resolving at runtime
Haskell
5
1
2
Updated 8 months ago
public
thesis
the source files for my thesis
TeX
3
0
0
Updated a year ago
public
massdebate
a debate site, with a twist
Python
2
1
0
Updated 9 years ago
public
neo4j-scala-graph
use neo4j with scala graphs
Scala
2
0
0
Updated 3 years ago
public
scala-linux-provence-module
a helper library for LPM
Scala
2
1
0
Updated 3 years ago
public
dependent_data_elimination
2
0
0
Updated 3 years ago
public
ddynamic-web
a frontend for ddynamic
JavaScript
1
0
0
Updated 3 months ago