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
Sorting:
- vim bundle for Racket☆29Updated 4 months ago
- An experimental non-deterministic concatenative golfing language☆24Updated last month
- The glitch-soc/Mastodon fork running on types.pl☆22Updated 2 months ago
- Like APL, but with emojis☆15Updated 3 years ago
- John Tromp homepage☆25Updated last month
- IDE support for the functional logic programming language Curry☆31Updated last week
- EXPERIMENTAL: Idris2 plugin for neovim in Idris2☆10Updated 3 years ago
- Dyalog APL Extended☆28Updated last year
- 🎏 Experimental human-friendly data serialization language☆22Updated 3 years ago
- An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.☆18Updated 2 years ago
- A Neovim client for VsCoq 2 vscoqtop.☆10Updated 3 months ago
- A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, m…☆27Updated last year
- My Advent of Code solutions☆22Updated 4 months ago
- A Python interpreter for APL based off of the LSBASI series.☆16Updated 4 years ago
- flax tacit language☆12Updated last year
- A realistic future development for the core language of Dyalog APL☆11Updated 2 months ago
- An menu/quick reference for Programming Language concepts☆20Updated last year
- Haskell grammar for tree-sitter.☆168Updated last month
- The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.☆37Updated last month
- Code formatter for Scheme, Lisp, and any S-expressions☆28Updated this week
- VSCode extension for Metamath☆10Updated last month
- ☆15Updated last year
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆34Updated 4 months ago
- Purescript compiler back-end for Lua☆55Updated 2 weeks ago
- Dyalog APL ←→ Python interface☆78Updated 3 months ago
- Portable code formatting library. Format any Lisp from any Lisp.☆30Updated 2 years ago
- GitHub repo backing Programming Language Ranking website ⬇️☆33Updated last month
- ☆16Updated last month
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- 🎸 Pretty guitar scales in your terminal☆28Updated 3 years ago