Alternatives and similar repositories for vim-apl

Users that are interested in vim-apl are comparing it to the libraries listed below

• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆31Updated last month
• ShinKage / nvim-idris2
  EXPERIMENTAL: Idris2 plugin for neovim in Idris2
  ☆10Updated 3 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆34Updated 5 months ago
• secwang / ngnkcart
  ☆15Updated last year
• benknoble / vim-racket
  vim bundle for Racket
  ☆30Updated 5 months ago
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• abrudz / dyalog-apl-extended
  Dyalog APL Extended
  ☆28Updated last year
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 5 months ago
• 6cdh / tree-sitter-racket
  Racket parser for tree-sitter
  ☆31Updated 3 weeks ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated 2 months ago
• abrudz / dyalog_vision
  A realistic future development for the core language of Dyalog APL
  ☆11Updated 3 weeks ago
• rodrigogiraoserrao / RGSPL
  A Python interpreter for APL based off of the LSBASI series.
  ☆16Updated 4 years ago
• jamesnvc / lsp_server
  Language Server Protocol server for SWI-Prolog
  ☆100Updated this week
• kspalaiologos / A-Programming-Language
  An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.
  ☆18Updated 2 years ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆33Updated last month
• Unisay / purescript-lua
  Purescript compiler back-end for Lua
  ☆55Updated last month
• brendanzab / lean-holes
  Interactive holes for Lean 4
  ☆19Updated last year
• KislyjKisel / Raylib.lean
  Raylib bindings for Lean4
  ☆26Updated last month
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 3 months ago
• vmchale / pybqn
  BQN↔NumPy bridge
  ☆21Updated 2 months ago
• zoomlogo / flax
  flax tacit language
  ☆12Updated last year
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆19Updated this week
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆14Updated 6 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 2 years ago
• gitonthescene / ngnk-libs
  ☆22Updated this week
• otherjoel / splitflap
  🔖⚛️ RSS / Atom feed generation library for Racket
  ☆22Updated 2 months ago
• mk12 / vim-lean
  Lean Theorem Prover plugin for Vim.
  ☆16Updated 3 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• arthurxavierx / vim-unicoder
  unicoder.vim: easy unicode characters in insert mode with abbreviations
  ☆38Updated 6 years ago