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
- Dungeon/Quest expansion to CrossCode!☆23Jun 25, 2025Updated last year
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Jan 23, 2024Updated 2 years ago
- Multiparty Session Types toolKit☆14May 7, 2025Updated last year
- Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"☆19May 18, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Session types in Idris2!☆25Dec 14, 2020Updated 5 years ago
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- Session Types with Priority in Linear Haskell☆28Jun 11, 2024Updated 2 years ago
- libmpack lua binding☆19Oct 25, 2025Updated last year
- The Pat mailbox-typed programming language☆28Oct 20, 2026Updated last week
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.☆31Oct 16, 2026Updated 2 weeks ago
- Patch to add integer-based scaling method to CrossCode through a new custom display type.☆19Jun 25, 2023Updated 3 years ago
- ☆26Sep 29, 2015Updated 11 years ago
- Unofficial set of LaTeX classes, styles, and knick-knacks aimed at use within the University of St Andrews.☆26Nov 9, 2016Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Effectful bindings for SQLite (forked from IdrisWeb)☆40May 1, 2018Updated 8 years ago
- A message-passing library, intended for simplifying network applications☆44Apr 7, 2018Updated 8 years ago
- A library for deadlock-free session-typed communication in Rust.☆50Feb 17, 2021Updated 5 years ago
- [MOVED]☆10Mar 20, 2018Updated 8 years ago
- ☆11May 10, 2016Updated 10 years ago
- An if_lua compatibility layer for Neovim☆10Sep 16, 2021Updated 5 years ago
- An open source IRC library for Android apps.☆10May 30, 2021Updated 5 years ago
- zsh dependency manager 🐚 💎☆11Feb 9, 2024Updated 2 years ago
- Testing different world generation methods in the web. Implemented with HTML5, Javascript and three.js☆11Jan 28, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Project to make writing plugins across major versions of flake8 easier☆11Aug 11, 2025Updated last year
- Android smart card USB reader driver☆14Jan 18, 2014Updated 12 years ago
- Example of 3d-object rotation and scaling with using Kivy framework☆11Nov 11, 2013Updated 12 years ago
- Find or build all reverse dependencies of a Haskell package using Nix☆14Jul 26, 2020Updated 6 years ago
- Blender addon which allows to control the gameengine from a blender session by using OSC, it monitors changes in blender and send them to…☆13Feb 24, 2015Updated 11 years ago
- Pure Python module to communicate with an Android device via TCP, without going through the ADB server.☆12Nov 11, 2013Updated 12 years ago
- Invoke Google Voice Search from anywhere in iOS☆14Dec 28, 2014Updated 11 years ago
- Web2py Vue Scaffold App☆11Jun 7, 2017Updated 9 years ago
- Arduino cheat sheet☆11May 4, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- For writing arabic onto programs that don't support arabic shaping and RTL☆11Nov 21, 2018Updated 7 years ago
- Timezone handling simplified for web2py☆13Jan 2, 2017Updated 9 years ago
- A Git/VCS library, in Lua, for Neovim and Neovim plugins☆10Mar 3, 2021Updated 5 years ago
- Language Modelling, CMI vs Perplexity☆11Mar 17, 2018Updated 8 years ago
- Convenience classes and methods for processing IMAP mailboxes☆12Jul 19, 2012Updated 14 years ago
- It is an algorithm analysed the acoustic features of a voice and creates an acoustic classifier - USEFUL for auto-speech-rater☆11Mar 8, 2019Updated 7 years ago
- Clipboard synchronization tool☆14Jul 2, 2026Updated 4 months ago