An old plugin-heavy vim config (I do things differently nowadays)
☆31Jul 21, 2019Updated 7 years ago
Alternatives and similar repositories for vimrc
Users that are interested in vimrc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An IRC bot written in Haskell☆11Oct 11, 2010Updated 16 years ago
- ☆10Jan 9, 2018Updated 8 years ago
- nixpkgs package status, freshness and security status monitor☆37Nov 18, 2016Updated 9 years ago
- Different useful things I have come up with to write my papers in scribble rather than directly in LaTeX☆13Jul 6, 2012Updated 14 years ago
- Resident MIDI Keyboard for Android☆14May 8, 2026Updated 6 months 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.
- Some Random Scripts☆11Feb 1, 2021Updated 5 years ago
- ☆14Jun 1, 2012Updated 14 years ago
- A computer algebra system (CAS) for high school students☆14Dec 26, 2018Updated 7 years ago
- slow work in progress towards better cljs tools☆13Oct 23, 2014Updated 12 years ago
- Helper scripts for QEmu emulation for the Rasperry Pi family of virtual boards☆10Feb 18, 2021Updated 5 years ago
- IRC bot in rust☆18Nov 24, 2014Updated 11 years ago
- Propositional logic tools, inspired by the Coq standard library.☆10Dec 19, 2017Updated 8 years ago
- Scripts I use with ledger☆10Aug 22, 2011Updated 15 years ago
- A Haskell Bittorrent Tracker. Uses snap for web, and handles UDP also.☆10Aug 4, 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.
- PHP REPL and other stuff☆22May 29, 2013Updated 13 years ago
- Steam controller handling.☆22Mar 16, 2022Updated 4 years ago
- High-Level Redis Database☆14Jul 18, 2022Updated 4 years ago
- Firmware for my custom keyboard running on the Teensy 3.1☆15May 29, 2020Updated 6 years ago
- web2py: jqgrid interface☆10Aug 14, 2012Updated 14 years ago
- Miscellaneous files from my blog☆19Apr 5, 2012Updated 14 years ago
- Tools to ease Haskell source code navigation☆11Oct 9, 2018Updated 8 years ago
- My personal config files☆26Apr 27, 2026Updated 6 months ago
- Add USB connectivity to any RC transmitter☆10Feb 10, 2016Updated 10 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.
- Nokogiri for Clojure☆43Jun 22, 2014Updated 12 years ago
- CUPS/Foomatic driver for Brother P-touch and QL label printers☆13Mar 17, 2025Updated last year
- A formalisation of Restriction Categories in Agda☆12Sep 15, 2016Updated 10 years ago
- An example of building a shared library (.so) in Haskell and calling it from C and Python.☆10Aug 30, 2012Updated 14 years ago
- Command line utility for fixing miscellaneous stuff within Visual Studio and its tools☆11Feb 23, 2026Updated 8 months ago
- A query explainer for Datomic☆40Feb 23, 2015Updated 11 years ago
- An external Buzzer for NMEA2000 / SeaTalk-NG Alarms.☆15May 3, 2023Updated 3 years ago
- ATS programing on mbed platform☆14Oct 10, 2015Updated 11 years ago
- Demos for developmental products by S-cubism, including web2py-plugins and etc.☆11Jan 16, 2013Updated 13 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- hostmot2 firmware for the embedded micro mojo v3 fpga☆11Mar 29, 2020Updated 6 years ago
- Yet Another Arduino AutoPilot☆13May 14, 2022Updated 4 years ago
- ☆15May 23, 2017Updated 9 years ago
- Futuristic New Age Golden Test management☆15Sep 27, 2022Updated 4 years ago
- [wip] Spin up a running Datomic Free box from the commandline. Done.☆10Jun 6, 2013Updated 13 years ago
- web2py snippets for sniptMate Vim plugin☆10Jun 28, 2010Updated 16 years ago
- PioT: Off-Grid Farm Automation with Raspberry Pi☆11Dec 11, 2025Updated 11 months ago
Are these results useful?