Alternatives and similar repositories for unison:

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

• mangpo / greenthumb
  ☆86Updated 2 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 4 months ago
• agra-uni-bremen / metaSMT
  ☆51Updated 8 years ago
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆154Updated 2 weeks ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆115Updated last year
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆138Updated 2 weeks ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 4 months ago
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆317Updated 3 years ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆39Updated last week
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆82Updated 3 months ago
• gangtan / CPUmodels
  GoNative project: formal machines models in Coq
  ☆36Updated 7 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆126Updated last year
• 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
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆157Updated 2 weeks ago
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆54Updated 2 years ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆82Updated this week
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆107Updated 5 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• kframework / X86-64-semantics
  Semantics of x86-64 in K
  ☆146Updated 5 years ago
• bluerock-io / BRiCk
  Formalization of C++ for verification purposes.
  ☆75Updated this week
• smowton / llpe
  ☆49Updated last year
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆158Updated this week
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 5 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆218Updated last year
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆265Updated this week
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 3 years ago
• martinjonas / Q3B
  ☆27Updated 9 months ago