our vim dotfiles
☆153Feb 20, 2026Updated last month
Alternatives and similar repositories for vim_dotfiles
Users that are interested in vim_dotfiles 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 minimal implementation of spotify/annoy in pure rust☆11Mar 2, 2023Updated 3 years ago
- An MVC framework for Sinatra☆18May 12, 2013Updated 12 years ago
- Coq plugin for extracting Rust code☆19Mar 30, 2026Updated 2 weeks ago
- Simple go cli to monitor postgresql ssl certificates☆17Jun 30, 2016Updated 9 years ago
- Evaluate various WebAssembly back-end frameworks and tool-chains for enterprise workloads☆18Nov 29, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- guarded interaction trees☆12Jul 4, 2025Updated 9 months ago
- Extensions for URWID☆16Sep 12, 2024Updated last year
- My *nix dotfiles☆12Jul 4, 2025Updated 9 months ago
- Skip text in INSERT mode☆11Nov 27, 2018Updated 7 years ago
- A rate limiter for the aiohttp.web framework☆14May 14, 2025Updated 11 months ago
- Material Icons in Elm☆11Jul 23, 2015Updated 10 years ago
- goff is a Yahoo Fantasy Sports API client for the Go programming language☆11Nov 13, 2022Updated 3 years ago
- Search neovim plugins and the online :help via Alfred.☆43Updated this week
- Functor products, coproducts, and composition☆14Apr 27, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Access Safari bookmarks, reading list, history and tabs (macOS)☆43Aug 21, 2020Updated 5 years ago
- Quick Look from the command-line 👀☆19Apr 12, 2025Updated last year
- A collection of useful additions to ecto we use in our projects.☆13Jan 27, 2026Updated 2 months ago
- Boilerplate-eliminator when working with free monads.☆14Jun 27, 2022Updated 3 years ago
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆13Jul 26, 2024Updated last year
- Manage your self-defined cheat sheets & knowledge base in Alfred☆11Dec 25, 2023Updated 2 years ago
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago
- Compositional Verification of Security Protocols☆34Apr 9, 2026Updated last week
- Unfoldable functors☆16Apr 27, 2022Updated 3 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.
- Contravariant functors☆11Oct 27, 2022Updated 3 years ago
- Algebra with units of measurement.☆28Dec 12, 2020Updated 5 years ago
- A (mostly) purely functional console-based esoteric language interpreter.☆14Oct 19, 2021Updated 4 years ago
- CLI tool for importing and utilizing exported social media data from popular services on Hugo websites.☆35Apr 5, 2026Updated last week
- Tracebacks for Humans (in Jupyter notebooks)☆12Dec 30, 2025Updated 3 months ago
- ☆11May 3, 2022Updated 3 years ago
- Track your work with your git activity.☆12Apr 9, 2018Updated 8 years ago
- Configurations for command line-based tools and shells.☆28Apr 10, 2026Updated last week
- Inference on marginal distributions using gradient-based optimization☆13Mar 27, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Another Network Tunnel; A simple program for local/remote port forwarding over a SSH tunnel.☆30Dec 2, 2025Updated 4 months ago
- 📀 You finally scored a record deal.☆11Apr 11, 2023Updated 3 years ago
- Dashboard service to command, control, and visualize module federation based systems☆20Mar 26, 2024Updated 2 years ago
- Use resque as a message bus!☆127Mar 31, 2015Updated 11 years ago
- Measure twenty audio features for any number of sound files. Then visualize the data over time.☆11Mar 11, 2026Updated last month
- Experiments with linear types☆14Feb 23, 2018Updated 8 years ago
- devTools Extension☆12Jan 9, 2024Updated 2 years ago