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
- An experimental non-deterministic concatenative golfing language☆24Updated 3 weeks ago
- A Neovim client for VsCoq 2 vscoqtop.☆10Updated last month
- EXPERIMENTAL: Idris2 plugin for neovim in Idris2☆10Updated 3 years ago
- vim bundle for Racket☆29Updated 3 months ago
- Like APL, but with emojis☆15Updated 3 years ago
- Dyalog APL ←→ Python interface☆78Updated 2 months ago
- flax tacit language☆12Updated last year
- ☆15Updated last year
- Library of math functions for the Uiua programming language☆25Updated this week
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆140Updated last year
- Haskell grammar for tree-sitter.☆165Updated last week
- Code presented in the APL Quest☆12Updated last year
- My Advent of Code solutions☆22Updated 3 months ago
- The glitch-soc/Mastodon fork running on types.pl☆22Updated 3 weeks ago
- NeoVim plugin for interacting with Agda written in Lua☆18Updated last year
- macros to configure neovim in fennel☆89Updated 3 years ago
- A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, m…☆26Updated last year
- A Python script for wrapping Jellyfish (a fork of Jelly) so you can more easily play with the language.☆58Updated 3 months ago
- A vim plugin making use of vim's conceal feature for additional visual eyecandy.☆70Updated last year
- IDE support for the functional logic programming language Curry☆31Updated 3 weeks ago
- 🎏 Experimental human-friendly data serialization language☆22Updated 3 years ago
- A Python interpreter for APL based off of the LSBASI series.☆16Updated 4 years ago
- An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.☆18Updated 2 years ago
- High-level interface for low-level programming☆111Updated 2 weeks ago
- Syntax highlighting for Fennel☆51Updated 3 years ago
- Agda interaction pluging for neovim☆37Updated 6 months ago
- A list of awesome libraries for BQN.☆32Updated 4 months ago
- Vim plugin for GHCup☆24Updated 4 years ago
- ⌨️ A modern TUI typing game featuring online racing against friends.☆93Updated 3 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated last year