My xmonad configuration.
☆31Aug 17, 2015Updated 11 years ago
Alternatives and similar repositories for chrisdone-xmonad
Users that are interested in chrisdone-xmonad are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Library for Nix expression dependency generation☆11Jun 25, 2015Updated 11 years ago
- Timing attack resistant type systems☆24May 13, 2015Updated 11 years ago
- Directed acyclic word graphs☆11Jul 22, 2013Updated 13 years ago
- Extract the compiler arguments from a cabal file.☆17Sep 22, 2025Updated last year
- Haskell helpers for deploying to Heroku☆18Jun 30, 2015Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Reddit command line client☆12Oct 8, 2015Updated 11 years ago
- Package Python software as an RPM including all dependencies (even the interpreter).☆11Jan 14, 2020Updated 6 years ago
- ☆75Jan 31, 2017Updated 9 years ago
- An old tutorial for using `Effects` in Idris.☆23Sep 10, 2015Updated 11 years ago
- Generate a cabal freeze file from a stack.yaml☆36Aug 25, 2018Updated 8 years ago
- Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)☆68Jan 21, 2014Updated 12 years ago
- My haskell-mode configuration for Emacs☆19Aug 7, 2022Updated 4 years ago
- haskell prof file CLI/Curses tool☆32May 2, 2017Updated 9 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18May 14, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Repository for the MessageQueue tutorial (given, at least, at Hal9 and CUFP 2014)☆12Sep 4, 2014Updated 12 years ago
- ☆11Jan 11, 2019Updated 7 years ago
- Learning project by a group of people interested in learning the Idris language☆50Feb 18, 2015Updated 11 years ago
- Implementation of cryptographic primitives using Idris☆121May 5, 2018Updated 8 years ago
- REPO UNMAINTAINED!!! Try this: https://github.com/hdevtools/hdevtools/☆169Aug 10, 2019Updated 7 years ago
- ☆20Aug 7, 2015Updated 11 years ago
- Scala demo code from my/Edwin Brady's talk "Scala vs. Idris: Dependent types now and in the future" at Strange Loop 2013☆11Sep 20, 2013Updated 13 years ago
- Compute pop-up menus from text and overlay properties☆11Jul 28, 2015Updated 11 years ago
- Webmachine inspired toolkit for building http applications and services.☆22Sep 13, 2015Updated 11 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A simple XML module for Idris.☆12May 22, 2020Updated 6 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Jun 13, 2017Updated 9 years ago
- A small collection of X utilities useful when running XMonad.☆11Jun 1, 2014Updated 12 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆40May 1, 2018Updated 8 years ago
- Read ghc-core with style. javascript and CSS style.☆13Jul 4, 2015Updated 11 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 11 years ago
- Bitcoin CLI tools: Haskell port of Sx using Haskoin☆13Nov 2, 2015Updated 10 years ago
- A tool for caching cabal builds in a Nix store☆32Dec 23, 2015Updated 10 years ago
- DrScala - A doctor for your code☆17Mar 17, 2014Updated 12 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A somewhat different approach to cabal hell problem.☆25Sep 27, 2012Updated 14 years ago
- Deploying things with dependencies to AWS EC2☆17Oct 2, 2017Updated 9 years ago
- ☆13May 18, 2026Updated 5 months ago
- Fragment-based code distribution!☆129May 12, 2021Updated 5 years ago
- A ctags file generator for cabal/stack project dependencies.☆170Jun 20, 2021Updated 5 years ago
- ☆14Apr 17, 2022Updated 4 years ago
- Automatically download Raspbian and create customized SD card☆19Feb 22, 2015Updated 11 years ago