Openbox configuration tool
☆26Jun 9, 2026Updated 3 weeks ago
Alternatives and similar repositories for obconf
Users that are interested in obconf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Openbox Window Manager (OpenboxWM)☆714Jun 3, 2026Updated last month
- IDesk gives users icons on their desktop. Features include transparency, configurable actions to run shell commands, PNG, SVG and GIF ima…☆41Apr 6, 2025Updated last year
- Various tools and scripts used by the Numix Project☆13Jul 11, 2020Updated 5 years ago
- Openbox Theme Collections☆18Feb 23, 2018Updated 8 years ago
- Numix theme for Plymouth☆18Oct 2, 2021Updated 4 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.
- ObKey - Openbox Key Editor (PyGObject version)☆11Nov 10, 2018Updated 7 years ago
- ☆18Sep 14, 2024Updated last year
- Deepin Desktop☆22Feb 19, 2016Updated 10 years ago
- WebSocket server implementation of OCaml☆14May 14, 2019Updated 7 years ago
- (experimental) nightly debian packaging of pythons☆28May 16, 2026Updated last month
- ☆18Apr 25, 2022Updated 4 years ago
- Rule check for Adblock filter. Mirror of https://arestwo.org/famlam/redundantRuleChecker.html (might be disappear soon). Now avaiable at …☆11Jun 4, 2026Updated last month
- Hypercore Protocol Website☆20Dec 28, 2022Updated 3 years ago
- Small tweaks of standart Adwaita theme for my desktop (based on adw-mod currently).☆11May 16, 2026Updated last month
- 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.
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 7 years ago
- Fintie Sets in Cubical Agda☆13Aug 30, 2019Updated 6 years ago
- ☆19Feb 2, 2026Updated 5 months ago
- Browser hardening & privacy resources.☆11Jan 3, 2020Updated 6 years ago
- Adds aliases for the pacman package manager. Also includes optional helper aliases.☆12Jan 5, 2026Updated 5 months ago
- Random Mad Libs generator, using Python, NLTK, and Markov chains to replace words with weirder ones.☆15Feb 16, 2014Updated 12 years ago
- A simple photo gallery webapp☆15Jun 1, 2021Updated 5 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆26Apr 28, 2026Updated 2 months ago
- HTA Console is a basic but practical Javascript Console Log to help debugging HTML Applications.☆13Aug 1, 2017Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Caribou leverages Notty to generate simple terminal user interfaces.☆17Oct 14, 2023Updated 2 years ago
- My Analysis of the VC4 Assembly Code from the RPI4☆38Feb 12, 2025Updated last year
- A Lv2 version of the old LADSPA SooperLooper plugin☆24Dec 10, 2025Updated 6 months ago
- ☆22Apr 4, 2017Updated 9 years ago
- Mocaccino micro flavor. Micro LFS musl-based distro for embedded applications☆20Mar 16, 2022Updated 4 years ago
- Embeddable console 1bpp font that supports many european/eastern unicode codepoints. Aimed to gamedev (C++11).☆14May 15, 2015Updated 11 years ago
- GNU sed's parser translated from C to Python☆15Mar 20, 2024Updated 2 years ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆19Updated this week
- All higher inductive types can be obtained from three simple HITs.☆17Apr 6, 2018Updated 8 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.
- Scripts to use with rofi☆18Sep 3, 2021Updated 4 years ago
- Soho vibes for XFCE4 Terminal☆18Nov 5, 2025Updated 7 months ago
- Implementation of sprintf for Coq☆19Apr 6, 2020Updated 6 years ago
- GRUB script to boot various Linux live CD/DVD ISO images☆58Jun 21, 2020Updated 6 years ago
- ☆35Sep 14, 2024Updated last year
- Super configurable, extra lightweight, and fluidly fast Window Manager for X☆26Jul 30, 2020Updated 5 years ago
- NadyMainJade Theme for Hexo☆10Oct 22, 2014Updated 11 years ago