The zesty window manager
☆16May 31, 2021Updated 5 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GHC plugin for hlint☆12Oct 4, 2023Updated 2 years ago
- A table library for Idris 2☆15Oct 25, 2022Updated 3 years ago
- Require that callers propagate `HasCallStack` constraints☆21Dec 18, 2024Updated last year
- Generate FullPage HTML slides with Markdown☆21Feb 7, 2021Updated 5 years ago
- The paranoid bot (framework)☆54Feb 24, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Pure Haskell implementation of SplitMix pseudo-random number generator☆26Apr 17, 2026Updated 3 months ago
- The https://ghc.dev Website Generator☆20Jun 22, 2026Updated last month
- Fast parsing from bytestrings☆179Oct 8, 2025Updated 9 months ago
- Monoidal map type with support for semigroup and monoid subclasses.☆21Updated this week
- Generate a command line client from a servant API☆28Jan 12, 2024Updated 2 years ago
- Functional Programming for Logicians, 2019 Spring, ELTE☆12Jun 11, 2019Updated 7 years ago
- Dhall types and default values for the alacritty terminal emulator☆12May 9, 2021Updated 5 years ago
- Haskell charting library☆10Aug 21, 2021Updated 4 years ago
- A REPL for nix expressions in your browser☆14May 5, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Imagine a Dependently Typed Python☆10Apr 4, 2025Updated last year
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Oct 5, 2020Updated 5 years ago
- A small web programming library on top of reactive-banana and virtual-dom☆80Aug 25, 2015Updated 10 years ago
- Simple plotting tool for the terminal☆87Oct 3, 2023Updated 2 years ago
- Haskell (GHCJS) bindings to the virtual-dom project☆26May 11, 2015Updated 11 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 10 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- A Dockerfile to build a development environment for Android version of Epidemic.☆31Apr 24, 2016Updated 10 years ago
- tools for writing better type errors☆74Sep 15, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- First Class Record Fields in Haskell☆18Jun 11, 2026Updated last month
- Haskell numerical ODE solvers☆13Aug 21, 2017Updated 8 years ago
- hmetafont is a DSL for creating variable fonts in haskell, inspired by metafont☆11Dec 18, 2016Updated 9 years ago
- Implementation of Dhall in Dhall☆12Updated this week
- Read and write images as massiv arrays☆14Oct 23, 2021Updated 4 years ago
- Haskell implementation of Glumpy☆12Jun 21, 2021Updated 5 years ago
- Connecting Haskell projects, mentors, and learners!☆17Apr 2, 2018Updated 8 years ago
- Sparse matrix linear equation solver, using the Conjugate Gradient algorithm☆16Sep 5, 2020Updated 5 years ago
- Various finite representations of large or infinite sets and associated primitive functions☆12Nov 23, 2018Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A template for testing javascript code with clojurescript: test.check, unit tests, figwheel☆13Jun 29, 2016Updated 10 years ago
- Server-side VDOM UI framework for Concur☆138Oct 18, 2020Updated 5 years ago
- Automation of Haskell package release process.☆31Oct 31, 2023Updated 2 years ago
- Generate a type-safe openssl configuration file with dhall☆14Aug 25, 2023Updated 2 years ago
- VSCode pluging that provides LSP support for the Dhall programming language☆18Apr 11, 2023Updated 3 years ago
- Cabal-fmt vim plugin for formatting Cabal package files☆15Jun 30, 2020Updated 6 years ago
- Prettyprinting transformers for rainbow parens, precedence, etc.☆16Feb 27, 2022Updated 4 years ago