hwayne / tla.vim

Related projects: ⓘ

• injinj / linecook
  Command line editor, C api, readline replacement
  ☆26Updated last month
• tlaplus-community / tlauc
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
  ☆26Updated 4 months ago
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆19Updated 4 years ago
• binpash / libdash
  The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…
  ☆39Updated 7 months ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• vmchale / tomlcheck
  A syntax checker for TOML files
  ☆28Updated 4 years ago
• maxbrunsfeld / tree-tags
  A command-line code search tool based on Tree-sitter
  ☆35Updated 5 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆28Updated 2 weeks ago
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆18Updated 6 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 3 months ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆8Updated 4 years ago
• florentc / vim-tla
  Vim filetype for the TLA+ specification language and proofs
  ☆20Updated 3 years ago
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• leanprover / lean.vim
  ☆18Updated 2 years ago
• tlaplus-community / tree-sitter-tlaplus
  A tree-sitter grammar for TLA⁺ and PlusCal
  ☆57Updated this week
• tlaplus / v2-tlapm
  The rewrite of TLAPM, the TLAPS proof manager
  ☆0Updated 5 years ago
• attresearch / yakker
  ☆22Updated 12 years ago
• janestreet / ppx_js_style
  Code style checker for Jane Street Packages
  ☆19Updated 3 weeks ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 3 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 7 years ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 2 years ago
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆32Updated 6 months ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆112Updated last year
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• graydon / exhaustigen
  ☆10Updated 2 years ago
• plaidfinch / myxine
  Get a GUI fast in any language under the sea!
  ☆47Updated last year
• krohrer / caml-inspect
  Inspection of internal value representations and the object graph
  ☆32Updated 8 years ago
• janestreet / ocaml_intrinsics
  Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…
  ☆29Updated 3 weeks ago
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆22Updated 2 years ago