Unusable but free and open-source window manager for Linux and *BSD (<500LOC)
☆14Jul 6, 2019Updated 7 years ago
Alternatives and similar repositories for FreedoWM
Users that are interested in FreedoWM are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Console Application Checkboxes in C#☆12Sep 28, 2022Updated 3 years ago
- A test suite for strong beta-reduction of the pure, untyped lambda calculus with ~1200 handwritten tests☆16Jun 8, 2026Updated 2 months ago
- effects, but optimal☆16Jan 9, 2026Updated 7 months ago
- ☆21Apr 6, 2026Updated 4 months ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆32Sep 21, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Programming with pure lambda calculus☆144Jul 16, 2026Updated 3 weeks ago
- ☆14Sep 8, 2023Updated 2 years ago
- ☆45Aug 11, 2025Updated last year
- Learn how argc and argv are passed from environment to Unix program.☆19Jul 9, 2021Updated 5 years ago
- Make it do a backflip. But seriously, wmutils's contrib scripts with multihead.☆12Nov 15, 2017Updated 8 years ago
- An operating system🧑💻 written using C and Sage☆46May 11, 2024Updated 2 years ago
- QLL : Level loaders☆15Feb 18, 2020Updated 6 years ago
- Simple floating window manager☆21Aug 25, 2022Updated 3 years ago
- Try to downgrade the permissions of a process with root privileges☆17Aug 31, 2023Updated 2 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.
- It's like Porth, but in C++. Yep, we're going full circle.☆20Dec 8, 2022Updated 3 years ago
- ☆57Apr 17, 2025Updated last year
- `mp::inplace_string<CharT, MaxSize, Traits>` is a `std::string`-like class template that stores text content in-place inside the class☆11Oct 1, 2018Updated 7 years ago
- The BSD License, less paperwork, with a built-in life preserver☆12Apr 12, 2016Updated 10 years ago
- Display file contents in hexadecimal and ASCII.☆15Oct 5, 2019Updated 6 years ago
- SITCON 2019 Official Website☆10Oct 6, 2019Updated 6 years ago
- Small operating system written from scratch (covid/school project)☆82Aug 19, 2022Updated 3 years ago
- Emacs config with an Evil editor☆10Oct 4, 2021Updated 4 years ago
- Resources for working with the FixHub Power Series Smart Soldering Iron and Power Station.☆45May 1, 2026Updated 3 months 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.
- xcb wm☆21Aug 21, 2020Updated 5 years ago
- Nintendo 3DS: Linux <-> ARM9☆15Nov 7, 2020Updated 5 years ago
- A Gemini client for Varvara, written in Finwë.☆10Sep 21, 2024Updated last year
- Rob Pike's simple regex matcher converted to Go☆11Aug 14, 2022Updated 4 years ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- MnemOS Global Networking Protocol☆16Jan 26, 2024Updated 2 years ago
- Convert Java bytecode to firm IR☆18Feb 20, 2017Updated 9 years ago
- Flexible templating engine that supports variables, multiple-inheritance, and inline JavaScript☆10Jul 20, 2016Updated 10 years ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 9 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.
- Command line version of the MisaMino bot☆13Aug 26, 2019Updated 6 years ago
- DHBW Heidenheim - LaTeX Template☆32Mar 7, 2024Updated 2 years ago
- Ruby gem for Synology Web API☆12Jul 15, 2024Updated 2 years ago
- A VSCode dark theme with vivid colors☆12Apr 29, 2024Updated 2 years ago
- waccOS, an operating system kernel written in WACC.☆13Mar 8, 2019Updated 7 years ago
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Jan 23, 2022Updated 4 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 8 years ago