A modern version of ‘ls’.
☆14Jun 10, 2022Updated 3 years ago
Alternatives and similar repositories for exa
Users that are interested in exa are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11May 28, 2015Updated 10 years ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆14Dec 11, 2024Updated last year
- Find Go docs quickly using Chrome omnibox☆10Jul 26, 2016Updated 9 years ago
- Conver pyim dictionary to fcitx dictionary☆12Feb 12, 2022Updated 4 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A terminal-renderer☆11Jun 8, 2025Updated 10 months ago
- Kanata grammar for Tree-sitter☆15Sep 21, 2025Updated 6 months ago
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- The CompCert formally-verified C compiler☆11Apr 4, 2026Updated last week
- Calculates the uncomputable Busy Beaver Σ-function☆11May 23, 2016Updated 9 years ago
- Python 版 IRC 机器人☆14Mar 29, 2016Updated 10 years ago
- Wrap, align and justify the words in a string.☆29Feb 12, 2018Updated 8 years ago
- Whosum Social Assistant Chrome Extension☆12Nov 22, 2023Updated 2 years ago
- Skype icon wrapper for linux☆17Apr 29, 2016Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- FeOS Sound System☆13Oct 26, 2014Updated 11 years ago
- A set of tools for working with datafrog☆28Sep 1, 2025Updated 7 months ago
- Unicode symbols for ZSH☆15Nov 8, 2019Updated 6 years ago
- This plugin render a fenced JSON options into a function plot. It is essentially a Joplin wrapper of the function-plot library of Maurici…☆10Oct 20, 2022Updated 3 years ago
- Unencrypted, UDP-based alternative to the Gemini protocol☆19Sep 20, 2024Updated last year
- ☆19Dec 10, 2024Updated last year
- Fork of screenkey tool☆15Mar 29, 2016Updated 10 years ago
- Hugoext allows to pipe Go Hugo markdown content files through an arbitrary processing tool. It abides the same destination file tree for …☆10Jul 29, 2021Updated 4 years ago
- ☆17Apr 2, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆21Aug 7, 2016Updated 9 years ago
- Node.js bindings for the FUSE api (Filesystem in Userspace)☆17Feb 19, 2024Updated 2 years ago
- Remove glyps from TTF fonts☆13Dec 4, 2025Updated 4 months ago
- PAM based X11 screen locker that hides desktop content☆17Mar 3, 2016Updated 10 years ago
- Simplified viml testing☆16Oct 29, 2023Updated 2 years ago
- A Hugo module for the Simple Icons icon set.☆11Apr 1, 2026Updated last week
- ☆15Apr 13, 2022Updated 3 years ago
- Local semantic indexing and search for Emacs☆10Aug 23, 2025Updated 7 months ago
- A cheap psychedelic simulator on Linux. EPILEPSY WARNING!☆14Aug 24, 2019Updated 6 years ago
- 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.
- Console tool for managment Jira issues☆11Feb 14, 2022Updated 4 years ago
- Insert SPDX license header☆14Mar 6, 2026Updated last month
- Stable sort algorithms and their stability proofs in Rocq☆25Dec 10, 2025Updated 4 months ago
- Normalizing bash administration and development across different OS-es and distributions☆10Mar 25, 2024Updated 2 years ago
- mpdscrobble: a simple Last.fm scrobbler for MPD. Also compatible with ListenBrainz and Maloja.☆16Jul 4, 2024Updated last year
- A plugin for vim that enables you to replay your editing Session☆33Oct 27, 2015Updated 10 years ago
- A transient UI for Cargo, Rust's package manager☆11Dec 17, 2025Updated 3 months ago