Alternatives and similar repositories for tipsy

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

• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆220Updated 2 years ago
• kframework / k-legacy
  The K tools (deprecated, see README)
  ☆147Updated 7 years ago
• GumTreeDiff / cgum
  The C parser for GumTree
  ☆13Updated 4 years ago
• stepchowfun / cfg-checker
  Search for ambiguities in context-free grammars.
  ☆40Updated 4 years ago
• mit-pdos / fscq
  FSCQ is a certified file system written and proven in Coq
  ☆247Updated 2 years ago
• nfischer / rainbows-lang
  A prototype of the rainbows programming language
  ☆14Updated 6 months ago
• rems-project / lem
  Lem semantic definition language
  ☆146Updated 6 months ago
• readablesystems / cs260r-17
  Main repository for Harvard CS260r 2017.
  ☆11Updated 8 years ago
• cil-project / cil
  C Intermediate Language
  ☆379Updated 2 years ago
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 8 years ago
• qfiard / cuda-sat-solver
  An implementation of a SAT solver using the CUDA library
  ☆15Updated 7 years ago
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆536Updated last week
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆21Updated 9 years ago
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆173Updated 4 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆225Updated 4 months ago
• davewathaverford / the-omega-project
  Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…
  ☆72Updated 4 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 4 years ago
• boogie-org / boogie
  Boogie
  ☆555Updated this week
• mangpo / greenthumb
  ☆88Updated 3 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• boogie-org / boogie-friends
  Tools for interacting with Boogie
  ☆47Updated 6 months ago
• kframework / c-semantics
  Semantics of C in K
  ☆315Updated 3 years ago
• Z3Prover / z3test
  Test and benchmark repository for Z3.
  ☆28Updated last month
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆528Updated 3 months 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
• Wilfred / Brainfrack
  BF implementations in different languages
  ☆30Updated 7 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆154Updated last month
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• SRA-SiliconValley / jalangi
  Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2
  ☆122Updated 10 years ago