GitHub repository: AviCraimer/old-type-theory-js
Primary language: JavaScript
Description: Experimental Implementations of Type Theories in Javascript