Syntax highlighter for ANTLR files in vim
☆30Nov 21, 2018Updated 7 years ago
Alternatives and similar repositories for vim-antlr
Users that are interested in vim-antlr are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 全方位控诉Windows的使用和开发体验☆12Jun 30, 2020Updated 6 years ago
- A git repo that is creepy☆15Sep 14, 2020Updated 5 years ago
- Source code for a presentation on refactoring C++ while accounting for preprocessor interactions☆12Dec 31, 2023Updated 2 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- Chocolatey 'docker' package☆12Jan 21, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Nov 30, 2018Updated 7 years ago
- Fast multidimensional algorithms☆18Feb 8, 2020Updated 6 years ago
- Invoke Python libraries from Guile☆13Sep 5, 2016Updated 9 years ago
- A certified semantics for relational programming workout.☆27Jun 29, 2026Updated last week
- Builds a data science work environment for Russell Jurney's book Agile Data Science.☆46Jul 31, 2014Updated 11 years ago
- Markdown 风格指南☆11Feb 23, 2020Updated 6 years ago
- ToSVG - Vimscript to export buffer as SVG☆10Jan 14, 2022Updated 4 years ago
- What if we could see which if-else branch gets executed? Haha jk... unless?☆12Jun 19, 2022Updated 4 years ago
- Example of Calling Lua from Fortran☆10Jun 22, 2015Updated 11 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A Python interface to the MAGMA libraries☆10Sep 3, 2016Updated 9 years ago
- Haskell parser and manipulation functions for Fortran code☆17Mar 18, 2016Updated 10 years ago
- Port of whitequark/parser's lexer in C☆14Nov 23, 2022Updated 3 years ago
- The security airlock is the entry point to a rocket. Everything from the outside environment that wants to enter a rocket, needs to go th…☆10Oct 2, 2024Updated last year
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Jan 7, 2023Updated 3 years ago
- Porting of Rogue-clone II for Vim☆92Nov 21, 2021Updated 4 years ago
- IRC bot for Hy☆23Nov 1, 2014Updated 11 years ago
- Techies: A no-code platform for orchestrating collaborative AI agents through YAML configuration.☆11Sep 4, 2025Updated 10 months ago
- A Declarative Theorem Prover for First-Order Classical Logic☆32Jun 14, 2024Updated 2 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.
- An optimizer for the SICP scheme → register machine compiler.☆13Jul 14, 2020Updated 5 years ago
- Discover daily Overwatch arcade gamemodes without having to login to Overwatch. Arcade modes are posted daily. Also get notified by follo…☆10Jul 18, 2021Updated 4 years ago
- A self-hosting Scheme to JavaScript compiler☆34Jan 1, 2010Updated 16 years ago
- compiler for fortran stencils using verified lifting,☆20Apr 5, 2022Updated 4 years ago
- ☆12Jun 20, 2016Updated 10 years ago
- DataGenerators is a data generation package. It can use techniques for search and optimization to find effective data for uses such as te…☆13Jun 19, 2017Updated 9 years ago
- C++奇技淫巧收录☆45Jun 12, 2020Updated 6 years ago
- Enchant Apache Traffic Server with mruby power.☆10Dec 29, 2016Updated 9 years ago
- Qt Documentation in CHM format☆11Oct 8, 2016Updated 9 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.
- Inspect RuboCop node pattern matching☆11Oct 18, 2017Updated 8 years ago
- Code written while working through the book LISP in Small Pieces☆27Feb 16, 2014Updated 12 years ago
- C compiler written in Ruby☆29Mar 2, 2020Updated 6 years ago
- A set of tools to work with cgroup tree and process classification/QoS according to it☆10Oct 1, 2019Updated 6 years ago
- A super simple function navigator for fzf☆19Feb 24, 2025Updated last year
- A Domain-Specific Language (DSL) for simplified music notation.☆19Jun 1, 2015Updated 11 years ago
- Shows synchronized pages of a file in multiple windows☆13Apr 26, 2013Updated 13 years ago