zoomlogo / vim-apl
☆11Updated 2 years ago
Alternatives and similar repositories for vim-apl:
Users that are interested in vim-apl are comparing it to the libraries listed below
- vim bundle for Racket☆29Updated 2 months ago
- EXPERIMENTAL: Idris2 plugin for neovim in Idris2☆10Updated 3 years ago
- IDE support for the functional logic programming language Curry☆30Updated this week
- An experimental non-deterministic concatenative golfing language☆24Updated last month
- Agda interaction pluging for neovim☆37Updated 4 months ago
- Solving LeetCode problems in Dyalog APL☆12Updated 2 years ago
- Autocomplete LaTeX symbol into your text via nvim-compe☆15Updated 3 years ago
- 🎏 Experimental human-friendly data serialization language☆22Updated 2 years ago
- WIP Spotify plugin w/Telescope integration: don't use this yet!☆11Updated 4 years ago
- Haskell Debugger Extension for Vim.☆10Updated last year
- A Python interpreter for APL based off of the LSBASI series.☆16Updated 3 years ago
- The glitch-soc/Mastodon fork running on types.pl☆22Updated last month
- A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, m…☆26Updated last year
- A realistic future development for the core language of Dyalog APL☆11Updated 2 months ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆29Updated 2 months ago
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- Code presented in the APL Quest☆12Updated 11 months ago
- Like APL, but with emojis☆15Updated 2 years ago
- Haskell grammar for tree-sitter.☆165Updated last month
- flax tacit language☆12Updated 11 months ago
- Neovim plugin for forester☆14Updated 3 months ago
- A concatenative cyborg chimera.☆8Updated 2 months ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Dyalog APL Extended☆28Updated 9 months ago
- unicoder.vim: easy unicode characters in insert mode with abbreviations☆39Updated 5 years ago
- Simple configuration and extra tools for NVIM + LSP + Idris2☆47Updated 3 months ago
- ☆15Updated last year
- A Python script for wrapping Jellyfish (a fork of Jelly) so you can more easily play with the language.☆58Updated last month
- Debug Adapter for Haskell debugging system.☆56Updated 3 weeks ago