Soho vibes for foot
☆17Mar 9, 2026Updated 5 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:
- a sharable language☆16Jan 20, 2025Updated last year
- Soho vibes for Firefox☆99Mar 7, 2026Updated 5 months ago
- Soho vibes for Linux TTY☆16Nov 5, 2025Updated 9 months ago
- Soho vibes for Helix☆39Apr 16, 2026Updated 3 months ago
- GUI wayland screenshot tool not depending window manager.☆14Feb 28, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- repl plugin for neovim built on textobjects☆14Feb 1, 2023Updated 3 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 8 months ago
- A lightweight integrating markup language☆16Feb 24, 2020Updated 6 years ago
- Color palette tool for Rosé Pine☆40Nov 5, 2025Updated 9 months ago
- Abstract machines for functional programming languages☆15Feb 22, 2019Updated 7 years ago
- stream editor with sam structural regular expressions☆11Aug 23, 2022Updated 3 years 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
- 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.
- ☆15Nov 4, 2025Updated 9 months ago
- ☆17Apr 4, 2024Updated 2 years ago
- 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
- show your bluesky year in review. WIP.☆11Dec 19, 2024Updated last year
- Events, behaviors, and uneventful misbehaving☆18Apr 13, 2026Updated 3 months ago
- A rust library to scrape an instagram user's photos and videos☆18Oct 3, 2024Updated last year
- Soho vibes for Cursors☆184Jun 24, 2026Updated last month
- Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.☆16Mar 17, 2026Updated 4 months ago
- Soho vibes for cmus☆11Aug 25, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Soho vibes for KDE Plasma☆43Mar 29, 2026Updated 4 months ago
- An attempt to fix the light-themed webpages!☆14Feb 7, 2018Updated 8 years ago
- a fast and minimal system information tool for linux-based operating systems☆11Jul 15, 2026Updated 3 weeks ago
- DjVu support for zathura☆19Jul 18, 2026Updated 3 weeks ago
- Unofficial Mirror: A fast, lightweight and minimalistic Wayland terminal emulator☆217Jun 24, 2026Updated last month
- Notes written while consulting for the Higher Order Company☆17Sep 27, 2025Updated 10 months ago
- Soho vibes for Emacs☆36Dec 29, 2023Updated 2 years ago
- A hack to disable gtk+ 3 client side decoration☆14Aug 24, 2023Updated 2 years ago
- Declaratively make your neovim user commands☆11Mar 26, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- toy implementation of Hindley-Milner type system that prints out inference steps☆17Oct 26, 2025Updated 9 months ago
- contributions to Giac computer algebra system☆15Apr 1, 2023Updated 3 years ago
- 🌘 Inverted display mode for better viewing ergonomics in dark lighting☆14Dec 5, 2018Updated 7 years ago
- Terminal UI for fan2go.☆37Jul 20, 2026Updated 3 weeks ago
- A terminal application for managing packages across different package managers.☆13Feb 9, 2026Updated 6 months ago
- Inspect pacman log file☆19Sep 29, 2024Updated last year
- AUR package fzf finder to search, install, remove, and manage packages using yay☆23May 22, 2026Updated 2 months ago