PrototypeCommon
VictorTaelin/calculus-of-constructions
Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
- Owner
- VictorTaelin (personal account)
- Stars
- Stars: 117
- Forks
- Forks: 11
- Language
- JavaScript
- License
- None
- Created
- 2017
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by VictorTaelin
All 15 repos by VictorTaelin- VictorTaelin/OptMemStars: 2,372PythonRC
- VictorTaelin/WebMonkeysStars: 1,443JavaScriptBeta
- VictorTaelin/Interaction-CalculusStars: 961CBeta
- VictorTaelin/AI-scriptsStars: 715TypeScriptBeta
- VictorTaelin/uniichatStars: 651TypeScriptAlpha
- VictorTaelin/LJSONStars: 499JavaScriptAlpha
Nearby in JavaScript
All JavaScript repos- raviwijerathna1/blockchain-votingStars: 117JavaScriptPrototype
- MIZHOUCL/MizTraceStars: 117JavaScriptPrototype
- Tsanyamra/PeelZizStars: 117JavaScriptPrototype
- etgryphon/sproutcore-uiStars: 117JavaScriptPrototype
- davejohnson/phonegap-windowsStars: 117JavaScriptPrototype
- wuyuntao/jquery-autosuggestStars: 117JavaScriptPrototype