PrototypeCommon
puffnfresh/iridium
xmonad with the X11 abstracted and configured with Idris
- Owner
- puffnfresh (personal account)
- Stars
- Stars: 209
- Forks
- Forks: 9
- Language
- Idris
- License
- MIT
- Created
- 2014
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by puffnfresh
All 8 repos by puffnfresh- puffnfresh/royStars: 840JavaScriptBeta
- puffnfresh/bilby.jsStars: 587JavaScriptAlpha
- puffnfresh/toggle-osx-shadowsStars: 409CAlpha
- puffnfresh/Honer.appStars: 302Objective-CAlpha
- puffnfresh/nix-filesStars: 154NixPrototype
- puffnfresh/brushtailStars: 134JavaScriptPrototype
Nearby in Idris
All Idris repos- statebox/idris-ctStars: 272IdrisAlpha
- ziman/lightyearStars: 243IdrisPrototype
- stefan-hoeck/idris2-tutorialStars: 240IdrisPrototype
- idris-community/idris2-lspStars: 205IdrisPrototype
- idris-hackers/idris-demosStars: 195IdrisPrototype
- idris-hackers/idris-koansStars: 181IdrisPrototype