Abusing vim's incorrect UTF-8 decoding
☆11Mar 15, 2017Updated 9 years ago
Alternatives and similar repositories for vimcryption
Users that are interested in vimcryption are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- BibTeX database management in Idris☆18May 13, 2014Updated 12 years ago
- Multiparty Session Types toolKit☆14May 7, 2025Updated last year
- being a funny little programming language with a funny little abstract machine☆16Jun 25, 2015Updated 11 years ago
- Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"☆19May 18, 2017Updated 9 years ago
- Session types in Idris2!☆26Dec 14, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Open-source textbook about CHERI capabilities, for a developer audience☆18Apr 16, 2026Updated 4 months ago
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- User Interfaces for Programming Languages: The Compendium☆29Feb 14, 2021Updated 5 years ago
- Session Types with Priority in Linear Haskell☆28Jun 11, 2024Updated 2 years ago
- PowerShell script that gathers data about logons and logoffs from Event Logs.☆12Aug 2, 2013Updated 13 years ago
- Release history of Chatbot-Eliza☆10Dec 4, 2023Updated 2 years ago
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.☆31May 6, 2026Updated 3 months ago
- Create a Windows 7 (32bit) Vagrant box based on the Microsofts evaluation version of Windows Enterprise☆12Jun 18, 2021Updated 5 years ago
- libmpack lua binding☆19Oct 25, 2025Updated 10 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A Clash playground/starter kit, using Nix☆37Feb 8, 2019Updated 7 years ago
- Sample Ansible playbooks☆12May 18, 2022Updated 4 years ago
- ☆27Sep 29, 2015Updated 10 years ago
- Obsolete, Ammonite is now supported in IntelliJ 🎉 -->☆11Jan 7, 2017Updated 9 years ago
- Convertion program from Matlab to C++ using Armadillo☆21May 23, 2017Updated 9 years ago
- Convert your boring texts to nice emoji filled text on macOS!☆21Mar 20, 2017Updated 9 years ago
- ☆11May 10, 2016Updated 10 years ago
- A build of js-git that is made to run in the browser via browserify and uses promises by default (that can be used in combination with aw…☆13Sep 15, 2016Updated 9 years ago
- A simple CSS prototyping framework☆18Sep 10, 2020Updated 5 years 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.
- A blog post about capturing user's ssh keys☆17Jun 6, 2021Updated 5 years ago
- Ignore backups, build files, et al. in Emacs☆16Jun 11, 2022Updated 4 years ago
- Port of `env_logger` as a `slog-rs` drain.☆13Mar 8, 2022Updated 4 years ago
- Project to make writing plugins across major versions of flake8 easier☆11Aug 11, 2025Updated last year
- ☆12Jun 5, 2018Updated 8 years ago
- A message-passing library, intended for simplifying network applications☆45Apr 7, 2018Updated 8 years ago
- a small, expressive orm -- supports postgresql, mysql and sqlite☆13Jan 29, 2018Updated 8 years ago
- Major mode for editing Cask files☆12Mar 26, 2022Updated 4 years ago
- Clipboard synchronization tool☆14Jul 2, 2026Updated 2 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Command line client for 1Password that supports opvault vault format☆10Feb 5, 2019Updated 7 years ago
- Inline css style using webpack HTMLWebpackPlugin☆12Jun 4, 2020Updated 6 years ago
- Example project with Qt GUI controlling servo on Arduino UNO, over HDLC protocol.☆11Sep 29, 2015Updated 10 years ago
- Meetup organization for Munich Scala User Group☆10Oct 6, 2019Updated 6 years ago
- Perl and Mojolicious based web application for testing and debugging regular expressions.☆15Apr 11, 2014Updated 12 years ago
- Chess moves travelling through WebRTC☆10Apr 22, 2025Updated last year
- Command line tool to retry other commands with an exponential backoff.☆12Oct 3, 2025Updated 10 months ago