Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.
☆15May 5, 2019Updated 7 years ago
Alternatives and similar repositories for coq.vim
Users that are interested in coq.vim are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- HOL Guidebook☆12Oct 11, 2024Updated last year
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Mar 28, 2017Updated 9 years ago
- cumino is the Vim's way to prepare Haskell recipies.☆21Jun 9, 2013Updated 13 years ago
- Artifact for our TOPLAS paper On the Impact of Programming Languages on Code Quality☆14Dec 11, 2019Updated 6 years ago
- Flowcaml compiler☆18Apr 11, 2013Updated 13 years 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.
- second-order abstract syntax☆31Sep 15, 2021Updated 4 years ago
- My branch of the Cyclone programming language☆19Jul 8, 2011Updated 15 years ago
- The Candle theorem prover (fork of the HOL Light sources)☆23Updated this week
- OpenType font decoder for OCaml☆20May 20, 2024Updated 2 years ago
- Making Slackbots is hard! But wait: now it's easy.☆14Jul 27, 2014Updated 11 years ago
- Fast lookup of the Unicode General Category property for `char` in Rust.☆22Sep 16, 2025Updated 10 months ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 11 years ago
- Another Weibo Library☆10Jan 20, 2017Updated 9 years ago
- A Dict k v in Idris☆15Dec 15, 2020Updated 5 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.
- Build-to-Order BLAS☆12Apr 9, 2019Updated 7 years ago
- Safely privileged daemon to let userspace wait on global barriers with low, constant overhead☆21Sep 11, 2019Updated 6 years ago
- Utilities for making your applications more debuggable.☆16Jun 4, 2026Updated last month
- System configuration and utilities for Linux ⚙☆12Jul 12, 2026Updated last week
- GTK and HTML viewers for mirage-profile trace files☆21Feb 8, 2023Updated 3 years ago
- [deprecated, moving to https://github.com/JanJoris/oh-my-posh] a easy to use powershell theme manager☆10Aug 21, 2016Updated 9 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 8 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- Seamless vim register manipulation in :terminal buffer via terminal-api☆11Mar 16, 2020Updated 6 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.
- A package for managing a static, mathematically-inclined web log☆27Oct 3, 2015Updated 10 years ago
- A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Jan 31, 2026Updated 5 months ago
- Serialize Ruby objects to Protocol Buffers☆16Nov 13, 2025Updated 8 months ago
- This is a Vim Plugin for making directory automatically.☆15Jun 17, 2020Updated 6 years ago
- Vim mode for Idris 2☆79Aug 31, 2022Updated 3 years ago
- Algorithm for locating anagrams and evaluating their quality☆13May 11, 2017Updated 9 years ago
- Babel plugin to replace extension of file name written in import statement☆18Feb 28, 2025Updated last year
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆129Jan 23, 2026Updated 5 months ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Sep 28, 2015Updated 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.
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 years ago
- A framework for accessing bash completions from Python☆19Mar 26, 2025Updated last year
- OCaml ppx preprocessor to generate SQLite3 prepared statements and query functions☆12Nov 17, 2015Updated 10 years ago
- modal keybindings to give vim-like navigation for anything with a cursor☆13Jan 2, 2018Updated 8 years ago
- A public description of our private LumiGuide monorepo that can be used in talks and in mailing list discussions☆10Mar 26, 2017Updated 9 years ago
- Parser for ELF object format.☆12Dec 24, 2021Updated 4 years ago
- A vim mode for Haskell☆31Sep 4, 2014Updated 11 years ago