Alternatives and similar repositories for unison

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

• mangpo / greenthumb
  ☆88Updated 2 years ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆126Updated 2 years ago
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆155Updated last week
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆119Updated last year
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 7 months ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆60Updated 8 years ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆181Updated last month
• martinjonas / Q3B
  ☆28Updated 2 months ago
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 5 years ago
• harp-lab / gdlog
  ☆82Updated 8 months ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆158Updated 7 months ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆161Updated this week
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆40Updated 3 months ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated this week
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆83Updated last month
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆52Updated 2 years ago
• kframework / X86-64-semantics
  Semantics of x86-64 in K
  ☆156Updated 5 years ago
• smowton / llpe
  ☆53Updated last year
• GaloisInc / grift
  Galois RISC-V ISA Formal Tools
  ☆58Updated 2 months ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆86Updated this week
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆56Updated this week
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆70Updated 9 years ago
• mit-plv / riscv-semantics
  A formal semantics of the RISC-V ISA in Haskell
  ☆167Updated last year
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆107Updated 6 years ago
• compiler-tree-technologies / cil
  Generates CIL MLIR dialect from C/C++ source.
  ☆33Updated 4 years ago