nielstron / vimulator
A vim-emulator for jEdit 5
☆14Updated 2 years ago
Alternatives and similar repositories for vimulator:
Users that are interested in vimulator are comparing it to the libraries listed below
- Assorted functional-oriented data structures and algorithms for Java.☆110Updated last month
- Implementation of the λΠ-calculus modulo rewriting☆207Updated last week
- The code for the series of tutorials on my blog about the GraalVM Truffle language implementation framework☆44Updated last month
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆68Updated this week
- Troupe programming language☆21Updated this week
- The Twelf Programming Language☆128Updated 2 months ago
- Agda interaction in vim☆132Updated 3 years ago
- Horn Clause Constraint Solving for Liquid Types☆144Updated this week
- Language Server for Idris2☆176Updated 2 months ago
- The Princess Theorem Prover☆26Updated this week
- A Java parser combinator library written with an unmatched feature set.☆125Updated 3 years ago
- Linter component for Isabelle.☆18Updated last month
- A Verified Compiler for Gallina, Written in Gallina