# puffnfresh/iridium

<https://repo.masters-masters.com/en/repos/puffnfresh/iridium>

[Home](https://repo.masters-masters.com/en) › [puffnfresh](https://repo.masters-masters.com/en/owners/puffnfresh) › [iridium](https://repo.masters-masters.com/en/repos/puffnfresh/iridium)

puffnfresh/iridium has 209 stars on GitHub. Its RepoMasters card: Prototype tier. xmonad with the X11 abstracted and configured with Idris Language: Idris.

| Field | Value |
| --- | --- |
| Owner | [puffnfresh](https://repo.masters-masters.com/en/owners/puffnfresh) |
| Stars | 209 |
| Forks | 9 |
| Language | [Idris](https://repo.masters-masters.com/en/languages/idris) |
| License | MIT |
| Created | 2014 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [puffnfresh/iridium](https://github.com/puffnfresh/iridium) |

## Repository

xmonad with the X11 abstracted and configured with Idris

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by puffnfresh

- [puffnfresh/roy · ★ 840 · JavaScript · Beta](https://repo.masters-masters.com/en/repos/puffnfresh/roy)
- [puffnfresh/bilby.js · ★ 587 · JavaScript · Alpha](https://repo.masters-masters.com/en/repos/puffnfresh/bilby.js)
- [puffnfresh/toggle-osx-shadows · ★ 409 · C · Alpha](https://repo.masters-masters.com/en/repos/puffnfresh/toggle-osx-shadows)
- [puffnfresh/Honer.app · ★ 302 · Objective-C · Alpha](https://repo.masters-masters.com/en/repos/puffnfresh/Honer.app)
- [puffnfresh/nix-files · ★ 154 · Nix · Prototype](https://repo.masters-masters.com/en/repos/puffnfresh/nix-files)
- [puffnfresh/brushtail · ★ 134 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/puffnfresh/brushtail)

## Nearby in Idris

- [statebox/idris-ct · ★ 273 · Idris · Alpha](https://repo.masters-masters.com/en/repos/statebox/idris-ct)
- [ziman/lightyear · ★ 243 · Idris · Prototype](https://repo.masters-masters.com/en/repos/ziman/lightyear)
- [stefan-hoeck/idris2-tutorial · ★ 240 · Idris · Prototype](https://repo.masters-masters.com/en/repos/stefan-hoeck/idris2-tutorial)
- [idris-community/idris2-lsp · ★ 205 · Idris · Prototype](https://repo.masters-masters.com/en/repos/idris-community/idris2-lsp)
- [idris-hackers/idris-demos · ★ 195 · Idris · Prototype](https://repo.masters-masters.com/en/repos/idris-hackers/idris-demos)
- [idris-hackers/idris-koans · ★ 181 · Idris · Prototype](https://repo.masters-masters.com/en/repos/idris-hackers/idris-koans)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.