marklemay/DependentlyTypedPython marklemay/DependentlyTypedPython

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Python
  • Created almost 8 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
marklemay/DependentlyTypedPython
github

marklemay

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

a really jenky implementation of dependent types in (a very small subset of) python

More 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

calculus-of-constructions

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

dDynamic

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

thesis

the source files for my thesis
TeX
3
star
7

massdebate

a debate site, with a twist
Python
2
star
8

dependent_data_elimination

2
star
9

scala-linux-provence-module

a helper library for LPM
Scala
2
star
10

neo4j-scala-graph

use neo4j with scala graphs
Scala
2
star