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 months ago
• tree-sitter / tree-sitter-haskell
  Haskell grammar for tree-sitter.
  ☆176Updated 3 months ago
• lukstafi / curious-ocaml
  A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, m…
  ☆31Updated 2 years ago
• arthurxavierx / vim-unicoder
  unicoder.vim: easy unicode characters in insert mode with abbreviations
  ☆38Updated 6 years ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆25Updated last month
• jamesnvc / lsp_server
  Language Server Protocol server for SWI-Prolog
  ☆121Updated last week
• khzaw / vim-conceal
  A vim plugin making use of vim's conceal feature for additional visual eyecandy.
  ☆68Updated 2 years ago
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆147Updated 2 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆26Updated 4 months ago
• 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
  ☆34Updated last month
• zoomlogo / flax
  flax tacit language
  ☆12Updated 2 weeks ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆40Updated 11 months ago
• pocco81 / koy
  🎏 Experimental human-friendly data serialization language
  ☆24Updated 3 years ago
• pwmt / girara
  User interface library
  ☆70Updated last week
• tsbohc / zest.nvim
  macros to configure neovim in fennel
  ☆89Updated 4 years ago
• Omnikar / uiua-math
  Library of math functions for the Uiua programming language
  ☆31Updated last month
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆68Updated this week
• mk12 / vim-lean
  Lean Theorem Prover plugin for Vim.
  ☆16Updated 4 years ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated 2 years ago
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆40Updated last year
• alexherbo2 / dotfiles
  ~taupiqueur
  ☆49Updated last week
• tsoding / parcoom
  Parser Combinators of Monad
  ☆39Updated 5 years ago
• Beaglefoot / awk-language-server
  Language Server for AWK and associated VSCode client extension
  ☆107Updated last year
• abrudz / dyalog-apl-extended
  Dyalog APL Extended
  ☆28Updated last year
• tsoding / haskell-music
  Source Code from "Making Music with Haskell" video
  ☆142Updated 5 years ago
• latex-lsp / tree-sitter-latex
  LaTeX grammar for tree-sitter
  ☆153Updated last week
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆310Updated 2 weeks ago
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆93Updated this week