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
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆126Updated last year
• robbertkrebbers / ch2o
  ☆88Updated 3 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆156Updated this week
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆218Updated last year
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆57Updated 7 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆56Updated this week
• smowton / llpe
  ☆49Updated 11 months ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆132Updated 4 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 3 months ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆81Updated this week
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆158Updated this week
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆151Updated last month
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆116Updated last year
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆108Updated 5 years ago
• rems-project / lem
  Lem semantic definition language
  ☆136Updated 2 months ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 8 years ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆264Updated this week
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆154Updated last week
• kframework / X86-64-semantics
  Semantics of x86-64 in K
  ☆145Updated 4 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated this week
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 3 months ago
• GaloisInc / grift
  Galois RISC-V ISA Formal Tools
  ☆56Updated last year
• marijnheule / microsat
  microsat
  ☆132Updated 2 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆52Updated this week
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆317Updated 3 years ago
• viperproject / carbon
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆30Updated this week
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆126Updated last month