tlaplus-community / tlaplus-nvim-pluginLinks
In-place translation of TLA⁺ symbols into Unicode, in Neovim
☆14Updated 5 months ago
Alternatives and similar repositories for tlaplus-nvim-plugin
Users that are interested in tlaplus-nvim-plugin are comparing it to the libraries listed below
Sorting:
- Imagine a Dependently Typed Python☆11Updated 4 months ago
- Golden tests for command-line interfaces.☆19Updated 2 years ago
- A tree-sitter grammar for TLA⁺ and PlusCal☆67Updated 3 months ago
- Language-generic workbench for building static analysis☆47Updated last year
- A Neovim plugin host and framework for Haskell☆20Updated 11 months ago
- Browsing man pages and help pages with zero friction.☆35Updated 6 years ago
- A haskell tutorial using CodeWorld☆19Updated 7 months ago
- Nix support for the Unison programming language☆63Updated last week
- Agda grammar for tree-sitter☆37Updated this week
- Simple configuration and extra tools for NVIM + LSP + Idris2☆50Updated last month
- todo and unimplemented, robustly implemented☆36Updated 11 months ago
- A vim plugin that helps you refactor Haskell code☆16Updated 6 years ago
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated 2 years ago
- A tutorial about how to apply property-based testing to stateful systems.☆78Updated 2 years ago
- A portable idris2 implementation of TLS☆32Updated 10 months ago
- ☆44Updated 2 years ago
- The place for submitting new articles to the Serokell blog.☆16Updated last year
- Lua backend for Idris 2☆28Updated 3 years ago
- Clipboard synchronization tool☆12Updated 2 weeks ago
- ☆27Updated this week
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆36Updated 8 months ago
- Shackled within an elaborate prison of my own design.☆39Updated last year
- Package manager for Idris☆37Updated 3 years ago
- Functional choreographic programming in Haskell☆101Updated 2 months ago
- A Dhall encoding of the GitLab CI configuration schema☆48Updated last year
- Search Hoogle from Rofi☆27Updated last year
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- Haskell implementation of Nanoid, secure URL-friendly unique ID generator.☆20Updated 7 years ago
- Effectful Streaming for Idris☆15Updated 4 years ago