Soho vibes for foot
☆17Mar 9, 2026Updated 3 months ago
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 7 months ago
- Soho vibes for Rofi☆27Nov 16, 2025Updated 6 months ago
- Soho vibes for Firefox☆100Mar 7, 2026Updated 3 months ago
- Soho vibes for Helix☆39Apr 16, 2026Updated last month
- Soho vibes for Cursors☆175Nov 5, 2025Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A tiny statically typed programming language☆18Jul 22, 2014Updated 11 years ago
- Collaborative cheatsheets for console commands (tldr project) now in your Browser!☆14Jan 15, 2022Updated 4 years ago
- WIP Spotify plugin w/Telescope integration: don't use this yet!☆10Mar 6, 2021Updated 5 years ago
- an implementation of gradual typing in mit-scheme☆10Apr 11, 2021Updated 5 years ago
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 6 months ago
- A lightweight integrating markup language☆16Feb 24, 2020Updated 6 years ago
- ☆14Nov 4, 2025Updated 7 months ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆16May 22, 2024Updated 2 years ago
- Library classes for the Twelf Proof System☆22Jun 16, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- show your bluesky year in review. WIP.☆11Dec 19, 2024Updated last year
- CLI utility to move (or rename) your files to a new location and redirect all of its symbolic links, to the new path☆20Mar 5, 2021Updated 5 years ago
- 🌘 Inverted display mode for better viewing ergonomics in dark lighting☆13Dec 5, 2018Updated 7 years ago
- The doas equivalent for sudoedit.☆17Jun 26, 2025Updated 11 months ago
- Soho vibes for Discord mobile☆20Nov 5, 2025Updated 7 months ago
- ☆17Apr 4, 2024Updated 2 years ago
- A rust library to scrape an instagram user's photos and videos☆18Oct 3, 2024Updated last year
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 5 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
- 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.
- Preact hooks for asynchronous data fetching☆17Mar 10, 2024Updated 2 years ago
- 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
- Universal Advanced Music Player written in Rust.☆16Jun 2, 2026Updated last week
- Soho vibes for KDE Plasma☆37Mar 29, 2026Updated 2 months ago
- TUI for Arch Linux package management☆17Jun 3, 2026Updated last week
- A terminal application for managing packages across different package managers.☆13Feb 9, 2026Updated 4 months ago
- Unofficial Mirror: A fast, lightweight and minimalistic Wayland terminal emulator☆211May 22, 2026Updated 3 weeks 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.
- Soho vibes for Emacs☆34Dec 29, 2023Updated 2 years ago
- Terminal UI for fan2go.☆36May 28, 2026Updated 2 weeks ago
- Inspect pacman log file☆19Sep 29, 2024Updated last year
- contributions to Giac computer algebra system☆15Apr 1, 2023Updated 3 years ago
- dotfiles - Linux config files (beets, cmus, dunst, git, GnuPG, i3, mpv, ranger, rofi, sxhkd, X11, zsh)☆11Nov 22, 2018Updated 7 years ago
- Yes another task bar for Wayland☆11Apr 23, 2023Updated 3 years ago
- ☆10Nov 27, 2019Updated 6 years ago