PrototypeCommune
puffnfresh/iridium
xmonad with the X11 abstracted and configured with Idris
- Propriétaire
- puffnfresh (compte personnel)
- Étoiles
- Étoiles : 209
- Forks
- Forks : 9
- Langage
- Idris
- Licence
- MIT
- Création
- 2014
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de puffnfresh
Les 8 dépôts de puffnfresh- puffnfresh/royÉtoiles : 840JavaScriptBêta
- puffnfresh/bilby.jsÉtoiles : 587JavaScriptAlpha
- puffnfresh/toggle-osx-shadowsÉtoiles : 409CAlpha
- puffnfresh/Honer.appÉtoiles : 302Objective-CAlpha
- puffnfresh/nix-filesÉtoiles : 154NixPrototype
- puffnfresh/brushtailÉtoiles : 134JavaScriptPrototype
D’autres dépôts Idris
Tous les dépôts Idris- statebox/idris-ctÉtoiles : 272IdrisAlpha
- ziman/lightyearÉtoiles : 243IdrisPrototype
- stefan-hoeck/idris2-tutorialÉtoiles : 240IdrisPrototype
- idris-community/idris2-lspÉtoiles : 205IdrisPrototype
- idris-hackers/idris-demosÉtoiles : 195IdrisPrototype
- idris-hackers/idris-koansÉtoiles : 181IdrisPrototype