Alternatives and similar repositories for vim-apl

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

• benknoble / vim-racket
  vim bundle for Racket
  ☆32Updated 2 weeks ago
• lukstafi / curious-ocaml
  A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, m…
  ☆31Updated last year
• pocco81 / koy
  🎏 Experimental human-friendly data serialization language
  ☆24Updated 3 years ago
• tree-sitter / tree-sitter-haskell
  Haskell grammar for tree-sitter.
  ☆171Updated last month
• zoomlogo / flax
  flax tacit language
  ☆12Updated last year
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last month
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆40Updated last year
• leanprover / lean.vim
  ☆18Updated 4 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆37Updated 9 months ago
• jamesnvc / lsp_server
  Language Server Protocol server for SWI-Prolog
  ☆112Updated last month
• rodrigogiraoserrao / RGSPL
  A Python interpreter for APL based off of the LSBASI series.
  ☆16Updated 4 years ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆32Updated 5 months ago
• arthurxavierx / vim-unicoder
  unicoder.vim: easy unicode characters in insert mode with abbreviations
  ☆37Updated 6 years ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆36Updated this week
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆146Updated last year
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• idris-community / idris2-nvim
  Simple configuration and extra tools for NVIM + LSP + Idris2
  ☆51Updated 3 months ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆26Updated 2 months ago
• mk12 / vim-lean
  Lean Theorem Prover plugin for Vim.
  ☆16Updated 3 years ago
• pwmt / girara
  User interface library
  ☆67Updated 2 weeks ago
• lark-parser / vim-lark-syntax
  Vim files needed to have syntax highlighting in python lark-parser files
  ☆18Updated 2 years ago
• rmehri01 / thock
  ⌨️ A modern TUI typing game featuring online racing against friends.
  ☆94Updated 4 years ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆32Updated this week
• MarcelGarus / orchard
  A playground for programming language ideas.
  ☆20Updated this week
• KislyjKisel / Raylib.lean
  Raylib bindings for Lean4
  ☆27Updated 5 months ago
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆65Updated last month
• qexat / violette
  Violette is a simple functional programming language.
  ☆23Updated this week
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated last year
• abrudz / dyalog-apl-extended
  Dyalog APL Extended
  ☆28Updated last year