The zesty window manager
☆16May 31, 2021Updated 4 years ago
Alternatives and similar repositories for Xest-Window-Manager
Users that are interested in Xest-Window-Manager are comparing it to the libraries listed below
Sorting:
- GHC plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- A table library for Idris 2☆15Oct 25, 2022Updated 3 years ago
- Monoidal map type with support for semigroup and monoid subclasses.☆21Jan 20, 2026Updated last month
- Require that callers propagate `HasCallStack` constraints☆21Dec 18, 2024Updated last year
- Generate FullPage HTML slides with Markdown☆21Feb 7, 2021Updated 5 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆26Jan 4, 2026Updated 2 months ago
- The paranoid bot (framework)☆54Feb 24, 2022Updated 4 years ago
- Generate a command line client from a servant API☆28Jan 12, 2024Updated 2 years ago
- Fast parsing from bytestrings☆174Oct 8, 2025Updated 4 months ago
- Build server rendered, interactive websites with Haskell☆31Dec 1, 2023Updated 2 years ago
- physics engine and other tools for 2D shapes☆30Nov 25, 2018Updated 7 years ago
- Haskell (GHCJS) bindings to the virtual-dom project☆26May 11, 2015Updated 10 years ago
- a tech demo for a bullet hell game. for the full game visit https://gilmi.me/nyx☆34Mar 7, 2019Updated 7 years ago
- A Dockerfile to build a development environment for Android version of Epidemic.☆31Apr 24, 2016Updated 9 years ago
- Dhall bindings for Idris☆41Aug 14, 2025Updated 6 months ago
- Server-side VDOM UI framework for Concur☆138Oct 18, 2020Updated 5 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Oct 5, 2020Updated 5 years ago
- Simple plotting tool for the terminal☆87Oct 3, 2023Updated 2 years ago
- FTRL-Proximal Online Learning Algorithm☆15May 22, 2017Updated 8 years ago
- Act!O(n) Arena☆11Dec 29, 2025Updated 2 months ago
- Cryptocurrency tax and tracking tools for the Beancount platform.☆11Aug 23, 2024Updated last year
- A small web programming library on top of reactive-banana and virtual-dom☆79Aug 25, 2015Updated 10 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- Generate easy-to-remember, hard-to-guess passwords☆14Mar 31, 2024Updated last year
- Nix derivations for ReasonML☆12Sep 4, 2019Updated 6 years ago
- How to share source code on online forums in order to get help with it☆10Apr 4, 2024Updated last year
- A collection of scripts which output xmobar-readable information☆12Nov 13, 2021Updated 4 years ago
- ☆11May 7, 2023Updated 2 years ago
- Regularized and Pruned Extreme Learning Machines in R☆11Nov 19, 2016Updated 9 years ago
- Haskell version of jsmin js minifier☆29Jan 11, 2023Updated 3 years ago
- Vim configuration files for Haskell code☆32Mar 24, 2012Updated 13 years ago
- ☆10Apr 15, 2017Updated 8 years ago
- 11 key one handed artsey/ardux keyboard☆11Feb 20, 2024Updated 2 years ago
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- channels.nix.gsc.io☆15May 24, 2023Updated 2 years ago
- Handle ASCII text with style and safety☆10Mar 23, 2025Updated 11 months ago
- A collection of macros for Hy☆10Feb 5, 2015Updated 11 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago