A basic window manager written in Zig.
☆18Oct 2, 2025Updated 6 months ago
Alternatives and similar repositories for ZigWindowManager
Users that are interested in ZigWindowManager are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A monadic approach to static analysis following the methodology of AAM☆18Oct 31, 2015Updated 10 years ago
- my phd thesis☆26Aug 7, 2024Updated last year
- Streaming parsers collection☆17Jun 19, 2020Updated 5 years ago
- A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.☆12Jul 16, 2021Updated 4 years ago
- Cursor data and manipulation☆22May 29, 2025Updated 11 months 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.
- Tool to convert literate code between styles or to code.☆11Jun 4, 2019Updated 6 years ago
- ☆16Mar 22, 2025Updated last year
- terminal size matters☆15May 8, 2025Updated 11 months ago
- Pandoc filter to use Wikidata as reference manager☆19Nov 15, 2020Updated 5 years ago
- hmetafont is a DSL for creating variable fonts in haskell, inspired by metafont☆11Dec 18, 2016Updated 9 years ago
- A simple tool for visualising differences in Criterion benchmark results☆15Apr 11, 2025Updated last year
- Replacement PCBs for the FC660m, FC750r and FC980m.☆15Mar 20, 2023Updated 3 years ago
- Very simple PNG parser for Zig☆10Mar 20, 2024Updated 2 years ago
- Generic unification-based type inference library☆25May 20, 2015Updated 10 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.
- Library for parsing, transforming and producing PDF files☆25May 5, 2011Updated 14 years ago
- A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Jan 31, 2026Updated 3 months ago
- The Wireworld Computer in Javascript/Canvas http://dested.com/projects/wire/☆36Aug 14, 2023Updated 2 years ago
- Cassandra CQL client☆16Apr 13, 2026Updated 2 weeks ago
- terminal ui widget based on illwill☆19Apr 17, 2026Updated last week
- Odin bindings for the Godot script API☆11May 20, 2023Updated 2 years ago
- Publish content from Obsidian to Arena and the other way around.☆65Aug 19, 2024Updated last year
- ☆42Jan 3, 2024Updated 2 years ago
- Exports and installs all active instances of a font and avoids caching.☆14Dec 18, 2021Updated 4 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.
- Mach engine examples☆83Jul 9, 2024Updated last year
- The opentheory tool processes higher order logic theory packages☆17Mar 21, 2023Updated 3 years ago
- [mirror] Zig Wayland scanner and libwayland bindings☆119Updated this week
- 🔑 A godot gdextension to interact with the OS keyring☆15Jun 2, 2025Updated 10 months ago
- wayland ported to the zig build system☆12Apr 16, 2026Updated 2 weeks ago
- A webpage for testing typefaces, live at www.impallari.com/testing☆11Jul 13, 2015Updated 10 years ago
- Playing with Haskell effect systems☆13Dec 24, 2019Updated 6 years ago
- [folk] disk usage analyzer with an ncurses interface☆16Nov 3, 2025Updated 5 months ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18May 15, 2019Updated 6 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 simple open-source turn-base RPG!☆16Feb 21, 2023Updated 3 years ago
- define ZF Set Theory in Agda and it's model on Ordinal and Ordinal Definable Set☆14Nov 14, 2025Updated 5 months ago
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆17Jan 5, 2015Updated 11 years ago
- resilient location sharing☆14Sep 23, 2021Updated 4 years ago
- Catergorise ANSI - ANSI escape code parser and categoriser☆21Nov 3, 2022Updated 3 years ago
- IsarMathLib is a library of formalized mathematics for Isabelle/ZF.☆19Mar 28, 2026Updated last month
- Functional Reactive Programming (FRP) with GObject Introspection in Haskell☆17Sep 14, 2021Updated 4 years ago