PrototypeCommune
VictorTaelin/calculus-of-constructions
Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
- Propriétaire
- VictorTaelin (compte personnel)
- Étoiles
- Étoiles : 117
- Forks
- Forks : 11
- Langage
- JavaScript
- Licence
- Aucune
- Création
- 2017
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de VictorTaelin
Les 15 dépôts de VictorTaelin- VictorTaelin/OptMemÉtoiles : 2 372PythonRC
- VictorTaelin/WebMonkeysÉtoiles : 1 443JavaScriptBêta
- VictorTaelin/Interaction-CalculusÉtoiles : 961CBêta
- VictorTaelin/AI-scriptsÉtoiles : 715TypeScriptBêta
- VictorTaelin/uniichatÉtoiles : 651TypeScriptAlpha
- VictorTaelin/LJSONÉtoiles : 499JavaScriptAlpha
D’autres dépôts JavaScript
Tous les dépôts JavaScript- raviwijerathna1/blockchain-votingÉtoiles : 117JavaScriptPrototype
- MIZHOUCL/MizTraceÉtoiles : 117JavaScriptPrototype
- Tsanyamra/PeelZizÉtoiles : 117JavaScriptPrototype
- etgryphon/sproutcore-uiÉtoiles : 117JavaScriptPrototype
- davejohnson/phonegap-windowsÉtoiles : 117JavaScriptPrototype
- wuyuntao/jquery-autosuggestÉtoiles : 117JavaScriptPrototype