Alternatives and similar repositories for tipsy

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

• mit-pdos / fscq
  FSCQ is a certified file system written and proven in Coq
  ☆253Updated 3 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆225Updated 2 years ago
• kframework / javascript-semantics
  KJS: A Complete Formal Semantics of JavaScript
  ☆103Updated 9 years ago
• stepchowfun / cfg-checker
  Search for ambiguities in context-free grammars.
  ☆40Updated 4 years ago
• kframework / k-legacy
  The K tools (deprecated, see README)
  ☆147Updated 7 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 9 years ago
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 8 years ago
• cil-project / cil
  C Intermediate Language
  ☆394Updated 2 years ago
• rems-project / lem
  Lem semantic definition language
  ☆150Updated 10 months ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 8 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆157Updated last week
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 4 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 5 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆47Updated 11 years ago
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆183Updated 5 years ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 4 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• uhub / awesome-coq
  A curated list of awesome Coq frameworks, libraries and software.
  ☆234Updated this week
• stedolan / bf.sed
  A brainfuck compiler, written in sed
  ☆159Updated 14 years ago
• karelklic / canal
  Abstract interpreter for real-world application programs
  ☆32Updated 12 years ago
• nfomon / shok
  shok command shell
  ☆144Updated 10 years ago
• Mego / Seriously
  A golfing language that is probably terrible
  ☆84Updated 6 months ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆151Updated 4 years ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 6 years ago
• Wilfred / Brainfrack
  BF implementations in different languages
  ☆30Updated 7 years ago
• wh5a / Algorithm-W-Step-By-Step
  Classic Algorithm W for type inference.
  ☆256Updated 15 years ago
• DistAlgo / distalgo
  This is the Python implementation of DistAlgo, a language for distributed algorithms.
  ☆92Updated 5 months ago
• kframework / c-semantics
  Semantics of C in K
  ☆321Updated 4 years ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆683Updated 2 months ago
• pclubiitk / pclub.in
  Jekyll-based repository for the Programming Club website
  ☆30Updated 2 years ago