Soho vibes for foot
☆17Mar 9, 2026Updated last month
Alternatives and similar repositories for foot
Users that are interested in foot are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Soho vibes for Linux TTY☆16Nov 5, 2025Updated 5 months ago
- Soho vibes for Rofi☆27Nov 16, 2025Updated 5 months ago
- Soho vibes for Firefox☆99Mar 7, 2026Updated last month
- GUI wayland screenshot tool not depending window manager.☆14Feb 28, 2021Updated 5 years ago
- Soho vibes for Helix☆39Apr 16, 2026Updated 2 weeks 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.
- ☆13Apr 25, 2026Updated last week
- repl plugin for neovim built on textobjects☆13Feb 1, 2023Updated 3 years ago
- Collaborative cheatsheets for console commands (tldr project) now in your Browser!☆14Jan 15, 2022Updated 4 years ago
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 5 months ago
- A lightweight integrating markup language☆16Feb 24, 2020Updated 6 years ago
- Print window informations☆16Apr 12, 2016Updated 10 years ago
- ☆12Feb 20, 2026Updated 2 months ago
- stream editor with sam structural regular expressions☆11Aug 23, 2022Updated 3 years ago
- bmpanel - lightweight, netwm compliant, x11 panel with desktop switcher, taskbar, systray and clock☆18Mar 26, 2009Updated 17 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.
- ☆14Nov 4, 2025Updated 5 months ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- Library classes for the Twelf Proof System☆23Jun 16, 2020Updated 5 years ago
- Keyboard oriented Acme style editing for Neovim☆11Dec 8, 2021Updated 4 years ago
- My home/system config☆14Apr 25, 2026Updated last week
- The no-nonsense task killer for your terminal.☆19Sep 2, 2024Updated last year
- The doas equivalent for sudoedit.☆15Jun 26, 2025Updated 10 months ago
- Soho vibes for Discord mobile☆20Nov 5, 2025Updated 5 months ago
- Events, behaviors, and uneventful misbehaving☆17Apr 13, 2026Updated 2 weeks 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.
- ☆17Apr 4, 2024Updated 2 years ago
- Category theory concepts in type classes and instances.☆23Mar 13, 2026Updated last month
- Reason about Term Rewriting Systems☆18Jul 24, 2022Updated 3 years ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 4 months ago
- An article on the illegal predatory practices of Google Classroom and other reasons why you should stop using it for Education.☆13Apr 26, 2023Updated 3 years ago
- Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.☆15Mar 17, 2026Updated last month
- An attempt to fix the light-themed webpages!☆13Feb 7, 2018Updated 8 years ago
- Soho vibes for cmus☆11Aug 25, 2021Updated 4 years ago
- A hack to disable gtk+ 3 client side decoration☆14Aug 24, 2023Updated 2 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.
- Universal Advanced Music Player written in Rust.☆16Apr 1, 2026Updated last month
- DjVu support for zathura☆19Mar 31, 2026Updated last month
- Soho vibes for KDE Plasma☆35Mar 29, 2026Updated last month
- TUI for Arch Linux package management☆17Jan 17, 2026Updated 3 months ago
- Unofficial Mirror: A fast, lightweight and minimalistic Wayland terminal emulator☆205Apr 23, 2026Updated last week
- Soho vibes for Emacs☆34Dec 29, 2023Updated 2 years ago
- toy implementation of Hindley-Milner type system that prints out inference steps☆17Oct 26, 2025Updated 6 months ago