Dépôts de idris-hackers
8 dépôts publics de idris-hackers au catalogue, du plus étoilé au moins étoilé.
- idris-hackers/software-foundationsÉtoiles : 459IdrisAlpha
- idris-hackers/idris-modeÉtoiles : 275Emacs LispAlpha
- idris-hackers/idris-vimÉtoiles : 221Vim ScriptPrototype
- idris-hackers/idris-demosÉtoiles : 195IdrisPrototype
- idris-hackers/idris-koansÉtoiles : 181IdrisPrototype
- idris-hackers/idris-cryptoÉtoiles : 121IdrisPrototype
- idris-hackers/IdrisWebÉtoiles : 109TeXPrototype
- idris-hackers/atom-language-idrisÉtoiles : 100TypeScriptPrototype