Alternatives and similar repositories for tlaplus-nvim-plugin

Users that are interested in tlaplus-nvim-plugin are comparing it to the libraries listed below

• tlaplus-community / tree-sitter-tlaplus
  A tree-sitter grammar for TLA⁺ and PlusCal
  ☆67Updated last month
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 3 months ago
• serokell / blog-posts
  The place for submitting new articles to the Serokell blog.
  ☆16Updated last year
• nomeata / haskell-via-sokoban
  A haskell tutorial using CodeWorld
  ☆19Updated 6 months ago
• ShinKage / nvim-idris2
  EXPERIMENTAL: Idris2 plugin for neovim in Idris2
  ☆10Updated 3 years ago
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆37Updated 9 months ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆36Updated 10 months ago
• stevana / property-based-testing-stateful-systems-tutorial
  A tutorial about how to apply property-based testing to stateful systems.
  ☆78Updated 2 years ago
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated last year
• idris-community / idris2-nvim
  Simple configuration and extra tools for NVIM + LSP + Idris2
  ☆50Updated this week
• evanrelf / drama
  🎭 Actor library for Haskell
  ☆30Updated 2 years ago
• stevana / bits-and-bobs
  Bit-level codec library
  ☆17Updated 2 years ago
• phijor / agda-mode-ng
  Let's rethink how we interact with Agda
  ☆18Updated 2 years ago
• tek / ribosome
  A Neovim plugin host and framework for Haskell
  ☆19Updated 10 months ago
• channable / hoff
  A gatekeeper for your commits
  ☆46Updated last week
• haskell-effectful / effectful-contrib
  Libraries for the Effectful Haskell effects system
  ☆22Updated 3 years ago
• tek / helic
  Clipboard synchronization tool
  ☆12Updated 2 weeks ago
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆62Updated last week
• L-as / procex
  Ergonomic process launching with extreme flexibility and speed (compared to shh)
  ☆26Updated 3 months ago
• masaeedu / nix-optics
  ☆35Updated 4 years ago
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆21Updated last year
• typesanitizer / ozil
  Browsing man pages and help pages with zero friction.
  ☆35Updated 6 years ago
• ReplicaTest / REPLica
  Golden tests for command-line interfaces.
  ☆19Updated 2 years ago
• haskell / hsc2hs
  Pre-processor for .hsc files
  ☆41Updated 3 weeks ago
• 4e6 / nanoid-hs
  Haskell implementation of Nanoid, secure URL-friendly unique ID generator.
  ☆20Updated 7 years ago
• rebeccaskinner / rofi-hoogle
  Search Hoogle from Rofi
  ☆27Updated last year
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆45Updated 3 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆34Updated 6 months ago
• deadpendency / deadpendency
  ☆26Updated 2 years ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago