Alternatives and similar repositories for unison:

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

• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆126Updated last year
• mangpo / greenthumb
  ☆86Updated 2 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• marijnheule / microsat
  microsat
  ☆132Updated 2 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated this week
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 6 months ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆218Updated last year
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆154Updated 3 weeks ago
• agra-uni-bremen / metaSMT
  ☆51Updated 8 years ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated 3 months ago
• rems-project / lem
  Lem semantic definition language
  ☆137Updated last week
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆39Updated 2 weeks ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 4 months ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 4 months ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆70Updated this week
• SRI-CSL / yices2
  The Yices SMT Solver
  ☆392Updated 2 months ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 5 years ago
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆193Updated 9 months ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆82Updated last week
• kframework / X86-64-semantics
  Semantics of x86-64 in K
  ☆147Updated 5 years ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆57Updated 7 years ago
• smowton / llpe
  ☆50Updated last year
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• mit-plv / riscv-semantics
  A formal semantics of the RISC-V ISA in Haskell
  ☆163Updated last year
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆139Updated last month
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• martinjonas / Q3B
  ☆27Updated 9 months ago
• stanford-centaur / smt-switch
  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
  ☆121Updated last week