Pinned Loading

1. tla.nvim tla.nvim Public

   TLA+/PlusCal support for Neovim

   Lua 37 3

2. tlaplus-community/tree-sitter-tlaplus tlaplus-community/tree-sitter-tlaplus Public

   A tree-sitter grammar for TLA⁺ and PlusCal

   C 80 19

3. lotos lotos Public

   A library for testing concurrent data structures that you lacked!

   Scala 15 1

4. zumba zumba Public

   Simple video-chat with desktop client

   Scala 3 3