Soho vibes for foot
☆17Mar 9, 2026Updated 6 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
- ☆15Jul 16, 2026Updated 2 months ago
- Soho vibes for Rofi☆29Nov 16, 2025Updated 10 months ago
- Soho vibes for Firefox☆100Mar 7, 2026Updated 6 months ago
- Soho vibes for Linux TTY☆16Nov 5, 2025Updated 10 months 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.
- GUI wayland screenshot tool not depending window manager.☆13Feb 28, 2021Updated 5 years ago
- repl plugin for neovim built on textobjects☆14Feb 1, 2023Updated 3 years ago
- an implementation of gradual typing in mit-scheme☆10Apr 11, 2021Updated 5 years ago
- Collaborative cheatsheets for console commands (tldr project) now in your Browser!☆14Jan 15, 2022Updated 4 years ago
- A lightweight integrating markup language☆16Feb 24, 2020Updated 6 years ago
- Rendered display of markdown on terminal☆15Aug 3, 2026Updated last month
- Abstract machines for functional programming languages☆16Feb 22, 2019Updated 7 years ago
- stream editor with sam structural regular expressions☆11Aug 23, 2022Updated 4 years ago
- Print window informations☆15Apr 12, 2016Updated 10 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.
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated 2 years ago
- A neovim plugin for mapping key sequences in insert mode without disrupting typing.☆18Dec 29, 2021Updated 4 years ago
- Keyboard oriented Acme style editing for Neovim☆12Dec 8, 2021Updated 4 years ago
- a simple and opinionated development plugin.☆14Sep 4, 2026Updated 2 weeks ago
- show your bluesky year in review. WIP.☆12Dec 19, 2024Updated last year
- Reason about Term Rewriting Systems☆19Jul 24, 2022Updated 4 years ago
- Soho vibes for Cursors☆185Jun 24, 2026Updated 2 months ago
- Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.☆16Mar 17, 2026Updated 6 months ago
- Soho vibes for cmus☆11Aug 25, 2021Updated 5 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.
- Soho vibes for KDE Plasma☆46Mar 29, 2026Updated 5 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 2 months ago
- TUI for Arch Linux package management☆18Jun 3, 2026Updated 3 months ago
- DjVu support for zathura☆19Jul 18, 2026Updated 2 months ago
- Notes written while consulting for the Higher Order Company☆17Sep 27, 2025Updated 11 months ago
- 27.8.26 Unofficial Mirror: A fast, lightweight and minimalistic Wayland terminal emulator☆221Aug 27, 2026Updated 3 weeks ago
- Soho vibes for Emacs☆37Dec 29, 2023Updated 2 years ago
- A hack to disable gtk+ 3 client side decoration☆14Aug 24, 2023Updated 3 years 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.
- Declaratively make your neovim user commands☆11Mar 26, 2026Updated 5 months ago
- toy implementation of Hindley-Milner type system that prints out inference steps☆18Oct 26, 2025Updated 10 months ago
- 🌘 Inverted display mode for better viewing ergonomics in dark lighting☆14Dec 5, 2018Updated 7 years ago
- A terminal application for managing packages across different package managers.☆13Feb 9, 2026Updated 7 months ago
- Compiler for the fort programming language☆14Jun 30, 2025Updated last year
- 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 3 months ago