GitHub repos by VictorTaelin
15 public repos by VictorTaelin in the catalog, most starred first.
- VictorTaelin/OptMemStars: 2,372PythonRC
- VictorTaelin/WebMonkeysStars: 1,443JavaScriptBeta
- VictorTaelin/Interaction-CalculusStars: 961CBeta
- VictorTaelin/AI-scriptsStars: 715TypeScriptBeta
- VictorTaelin/uniichatStars: 651TypeScriptAlpha
- VictorTaelin/LJSONStars: 499JavaScriptAlpha
- VictorTaelin/CaramelStars: 417HaskellAlpha
- VictorTaelin/PureStateStars: 309JavaScriptAlpha
- VictorTaelin/abstract-algorithmStars: 286JavaScriptAlpha
- VictorTaelin/forallStars: 227JavaScriptPrototype
- VictorTaelin/Cedille-CoreStars: 220JavaScriptPrototype
- VictorTaelin/optlamStars: 139JavaScriptPrototype
- VictorTaelin/Interaction-Type-TheoryStars: 121RustPrototype
- VictorTaelin/calculus-of-constructionsStars: 117JavaScriptPrototype
- VictorTaelin/ChatSHStars: 108JavaScriptPrototype