puffnfresh / iridium
xmonad with the X11 abstracted and configured with Idris
☆206Updated 5 years ago
Alternatives and similar repositories for iridium:
Users that are interested in iridium are comparing it to the libraries listed below
- Implementation of cryptographic primitives using Idris☆121Updated 6 years ago
- The missing tutorial module for the lens library☆82Updated 10 months ago
- The Haskell Refactoring Tool☆138Updated 7 years ago
- GNU bash backend for Idris☆53Updated 6 years ago
- Collection of Idris tests and demonstration programs☆190Updated 6 years ago
- Distributed programming language that desugars to Morte