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
Sorting:
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆20Jan 15, 2026Updated 2 months ago
- Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"☆19May 18, 2017Updated 8 years ago
- Session types in Idris2!☆27Dec 14, 2020Updated 5 years ago
- The power of :smile available to everyone☆30Feb 5, 2019Updated 7 years ago
- Multiparty Session Types toolKit☆15May 7, 2025Updated 10 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☆27Jun 11, 2024Updated last year
- PowerShell script that gathers data about logons and logoffs from Event Logs.☆12Aug 2, 2013Updated 12 years ago
- Release history of Chatbot-Eliza☆10Dec 4, 2023Updated 2 years ago
- Create a Windows 7 (32bit) Vagrant box based on the Microsofts evaluation version of Windows Enterprise☆12Jun 18, 2021Updated 4 years ago
- libmpack lua binding☆19Oct 25, 2025Updated 4 months ago
- A Clash playground/starter kit, using Nix☆36Feb 8, 2019Updated 7 years ago
- show flycheck errors in the frame title☆10Mar 21, 2021Updated 5 years ago
- journald support for slog-rs☆13Dec 17, 2021Updated 4 years ago
- ☆27Sep 29, 2015Updated 10 years ago
- packer scripts for running the raspberrypi with qemu☆15Oct 12, 2016Updated 9 years ago
- Vim plugin to expedite use of cmdline commands☆75Feb 23, 2020Updated 6 years ago
- Obsolete, Ammonite is now supported in IntelliJ 🎉 -->☆11Jan 7, 2017Updated 9 years ago
- A web worker for Ogg encoding☆14Jul 27, 2015Updated 10 years ago
- Mirror of the tclkit repository formerly hosted at google code (tclkit, sdx, vqtcl aka vlerq)☆19Oct 11, 2016Updated 9 years ago
- A library for deadlock-free session-typed communication in Rust.☆50Feb 17, 2021Updated 5 years ago
- Convert your boring texts to nice emoji filled text on macOS!☆21Mar 20, 2017Updated 9 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
- Library emulating Android APIs over GWT☆21Oct 5, 2022Updated 3 years ago
- A blog post about capturing user's ssh keys☆17Jun 6, 2021Updated 4 years ago
- Ignore backups, build files, et al. in Emacs☆16Jun 11, 2022Updated 3 years ago
- ☆37Mar 12, 2016Updated 10 years ago
- An if_lua compatibility layer for Neovim☆10Sep 16, 2021Updated 4 years ago
- Clipboard synchronization tool☆13Mar 8, 2026Updated 2 weeks ago
- A laser-cut card tray for holding multiple decks of cards☆11Oct 2, 2016Updated 9 years ago
- Chess moves travelling through WebRTC☆10Apr 22, 2025Updated 11 months ago
- Use Pug.js within any python framework☆16Aug 11, 2021Updated 4 years ago
- Web2py Vue Scaffold App☆11Jun 7, 2017Updated 8 years ago
- Turn your Raspberry Pi into an independent backup module for your network.☆16Dec 8, 2022Updated 3 years ago
- Developed with web2py and inspired by Agile methodology using Scrum and Kanban simplifying teamwork.☆21Feb 25, 2016Updated 10 years ago
- A blog-aware static site generator written in perl.☆20Oct 15, 2022Updated 3 years ago
- Henning Hasemann's pyte vim theme packaged to work with Tim Pope's pathogen plugin.☆14Jul 21, 2017Updated 8 years ago
- Language Modelling, CMI vs Perplexity☆11Mar 17, 2018Updated 8 years ago