Alternatives and similar repositories for tipsy

Users that are interested in tipsy are comparing it to the libraries listed below

• drsam94 / Spl
  A Compiler for the Shakespeare Programming Language Written in Python. Compiles from SPL to C.
  ☆82Updated 3 years ago
• kframework / k-legacy
  The K tools (deprecated, see README)
  ☆146Updated 7 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆221Updated 2 years ago
• readablesystems / cs260r-17
  Main repository for Harvard CS260r 2017.
  ☆11Updated 8 years ago
• stepchowfun / cfg-checker
  Search for ambiguities in context-free grammars.
  ☆40Updated 4 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 11 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆135Updated 4 years ago
• boogie-org / boogie
  Boogie
  ☆551Updated this week
• mit-pdos / fscq
  FSCQ is a certified file system written and proven in Coq
  ☆247Updated 2 years ago
• chatziko / lci
  A lambda calculus interpeter
  ☆65Updated 7 months ago
• johnyf / tool_lists
  Links to tools by subject
  ☆379Updated last year
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆154Updated last month
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆523Updated 2 months ago
• cil-project / cil
  C Intermediate Language
  ☆377Updated last year
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆125Updated 3 months ago
• textmate / lex-flex.tmbundle
  TextMate support for Lex-Flex
  ☆31Updated 12 years ago
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆231Updated 4 years ago
• kframework / javascript-semantics
  KJS: A Complete Formal Semantics of JavaScript
  ☆89Updated 8 years ago
• pclubiitk / pclub.in
  Jekyll-based repository for the Programming Club website
  ☆30Updated last year
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆224Updated 3 months ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated 11 months ago
• rems-project / lem
  Lem semantic definition language
  ☆144Updated 4 months ago
• GaloisInc / saw-script
  The SAW scripting language.
  ☆475Updated this week
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆528Updated 3 weeks ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 3 years ago
• PrincetonUniversity / VST
  Verified Software Toolchain
  ☆469Updated last month
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆534Updated 3 weeks ago
• SRI-CSL / yices2
  SRI Yices SMT Solver
  ☆420Updated 3 weeks ago