Alternatives and similar repositories for tla.vim

Users that are interested in tla.vim are comparing it to the libraries listed below

• maxbrunsfeld / tree-tags
  A command-line code search tool based on Tree-sitter
  ☆38Updated 7 years ago
• tlaplus-community / tree-sitter-tlaplus
  A tree-sitter grammar for TLA⁺ and PlusCal
  ☆73Updated 2 weeks ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆28Updated last year
• janestreet / patdiff
  File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/
  ☆244Updated 3 weeks ago
• avsm / ocaml-annot
  OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)
  ☆37Updated 7 years ago
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆20Updated 5 years ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆125Updated 2 years ago
• maxpert / drep
  dynamic regular expression print
  ☆89Updated 3 years ago
• leanprover / lean.vim
  ☆19Updated 4 years ago
• cryptouri / cryptouri.rs
  Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding
  ☆37Updated 2 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆86Updated last year
• tlaplus-community / tlaplus-nvim-plugin
  In-place translation of TLA⁺ symbols into Unicode, in Neovim
  ☆14Updated 10 months ago
• talex5 / tla
  A Dockerfile for building the TLA+ tools
  ☆13Updated 7 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 7 years ago
• semgrep / ocaml-tree-sitter-semgrep
  Generate parsers from tree-sitter grammars extended to support Semgrep patterns
  ☆13Updated this week
• florentc / vim-tla
  Vim filetype for the TLA+ specification language and proofs
  ☆22Updated 4 years ago
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆200Updated 2 years ago
• XVilka / bvim
  The bvim is an advanced fork of bvi, a display-oriented editor for binary files, based on the vi texteditor. This version include support…
  ☆31Updated 13 years ago
• janestreet / ocaml_intrinsics
  Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…
  ☆38Updated 3 weeks ago
• lostbearlabs / tiny-tlaplus-examples
  Very small examples of TLA+ features.
  ☆42Updated 6 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• janestreet / ppx_python
  ARCHIVED. [@@deriving] plugin to generate Python conversion functions
  ☆34Updated last year
• facebookarchive / propfuzz
  A Rust toolkit to combine property-based testing and fuzzing.
  ☆137Updated 3 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆21Updated 6 years ago
• jfecher / golden-tests
  A golden file testing library for rust
  ☆38Updated 4 months ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆30Updated 2 years ago
• vmchale / tomlcheck
  A syntax checker for TOML files
  ☆28Updated 6 years ago
• the-lambda-church / dmlenu
  a clone of dmenu written in OCaml.
  ☆47Updated 4 years ago
• attresearch / yakker
  ☆24Updated 14 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆44Updated last year