tlaplus-community / tlaplus-nvim-pluginLinks
In-place translation of TLA⁺ symbols into Unicode, in Neovim
☆14Updated 6 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:
- A tree-sitter grammar for TLA⁺ and PlusCal☆67Updated 4 months ago
- Golden tests for command-line interfaces.☆19Updated 2 years ago
- Imagine a Dependently Typed Python☆11Updated 5 months ago
- todo and unimplemented, robustly implemented☆36Updated last year
- Shackled within an elaborate prison of my own design.☆39Updated last year
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- Browsing man pages and help pages with zero friction.☆35Updated 6 years ago
- A haskell tutorial using CodeWorld☆19Updated 8 months ago
- Simple configuration and extra tools for NVIM + LSP + Idris2☆50Updated 2 months ago
- Type-level interfaces for type-level design in Rust☆25Updated 7 months ago
- A tutorial about how to apply property-based testing to stateful systems.☆79Updated 2 years ago
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆39Updated 2 months ago
- Conflict is a small esoteric language giving semantics to git merge conflicts☆14Updated 5 years ago
- Lua backend for Idris 2☆28Updated 3 years ago
- Search Hoogle from Rofi☆27Updated last year
- Bit-level codec library☆17Updated 2 years ago
- ☆27Updated last week
- Agda grammar for tree-sitter☆39Updated 3 weeks ago
- ☆35Updated 4 years ago
- Source code for haskle.net☆30Updated 2 years ago
- Clipboard synchronization tool☆12Updated 3 weeks ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated last year
- Require that callers propagate `HasCallStack` constraints☆21Updated 9 months ago
- The Montreal Haskell Compiler☆25Updated this week
- ☆20Updated 2 months ago
- A portable idris2 implementation of TLS☆32Updated 10 months ago
- Plugin for formatting Haskell source code☆40Updated 4 years ago
- Static security for database-backed Haskell applications using Liquid Haskell☆18Updated last year
- Haskell bindings for the Souffle datalog language☆105Updated last year
- Language-generic workbench for building static analysis☆47Updated last year