High-level assertion encoding to Z3 solver

z3-encoding alternatives and similar packages

Based on the "Language" category

• purescript

  10.0 8.1 z3-encoding VS purescript

  PureScript Programming Language Compiler

• elm-compiler

  10.0 9.6 z3-encoding VS elm-compiler

  Values to help with elm-package, elm-make, and elm-lang.org.

• stylish-haskell

  9.9 5.1 z3-encoding VS stylish-haskell

  Haskell code prettifier

• liquidhaskell

  9.9 9.4 z3-encoding VS liquidhaskell

  Liquid Types for Haskell

• cryptol

  9.9 8.9 z3-encoding VS cryptol

  Cryptol

• elm-reactor

  9.8 0.1 z3-encoding VS elm-reactor

  Interactive development tool for Elm programs

• ivory

  9.8 0.9 z3-encoding VS ivory

  Safe embedded C programming.

• brittany

  9.8 7.1 z3-encoding VS brittany

  Haskell source code formatter

• elm-server

  9.8 0.0 z3-encoding VS elm-server

  Server for developing Elm projects

• elm-package

  9.7 0.0 z3-encoding VS elm-package

  Package manager for Elm libraries

• haskell-src-exts

  9.7 4.0 z3-encoding VS haskell-src-exts

  Manipulating Haskell source

• elm-get

  9.7 0.1 z3-encoding VS elm-get

  Tool for sharing and using Elm libraries

• frp-arduino

  9.6 3.6 z3-encoding VS frp-arduino

  Arduino programming without the hassle of C.

• haskell-tools-ast-gen

  9.6 2.9 z3-encoding VS haskell-tools-ast-gen

  Facilities for generating new parts of the Haskell-Tools AST

• haskell-tools-ast-fromghc

  9.6 3.6 z3-encoding VS haskell-tools-ast-fromghc

  Creating the Haskell-Tools AST from GHC's representations

• haskell-tools-ast

  9.6 2.9 z3-encoding VS haskell-tools-ast

  Haskell AST for efficient tooling

• nirum

  9.5 3.9 z3-encoding VS nirum

  IDL compiler and RPC/distributed object framework for microservices

• elm-export

  9.5 0.0 z3-encoding VS elm-export

  A library to generate Elm types from Haskell source.

• language-javascript

  9.4 5.8 z3-encoding VS language-javascript

  Parser for JavaScript

• language-python

  9.4 5.3 z3-encoding VS language-python

  Parsing and pretty printing of Python code.

• shentong

  9.3 0.0 z3-encoding VS shentong

  A Haskell implementation of the Shen programming language

• tal

  9.2 0.0 z3-encoding VS tal

  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

• jvm-parser

  9.2 2.3 z3-encoding VS jvm-parser

  A parser for JVM bytecode files

• elsa

  9.2 2.7 z3-encoding VS elsa

  A tiny language for understanding the lambda-calculus

• hfmt

  9.2 3.1 z3-encoding VS hfmt

  Haskell source code formatter

• language-java

  9.2 0.0 z3-encoding VS language-java

  Manipulating Java source

• ghc-justdoit

  9.1 1.7 z3-encoding VS ghc-justdoit

  A magic typeclass that just does it

• elm-bridge

  9.1 3.6 z3-encoding VS elm-bridge

  Derive Elm types from Haskell types

• camfort

  9.1 7.8 z3-encoding VS camfort

  CamFort - Cambridge Fortran infrastructure

• liquid-fixpoint

  9.1 8.5 z3-encoding VS liquid-fixpoint

  Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

• peggy

  9.1 0.0 z3-encoding VS peggy

  The Parser Generator for Haskell

• aterm-utils

  9.0 0.0 z3-encoding VS aterm-utils

  Utility functions for working with aterms as generated by Minitermite

• hgrep

  9.0 0.0 z3-encoding VS hgrep

  Search Haskell source code from the command line

• language-ecmascript

  9.0 0.0 z3-encoding VS language-ecmascript

  JavaScript parser and pretty-printer library

• type-of-html

  9.0 4.3 z3-encoding VS type-of-html

  High performance type driven html generation.

• language-c-quote

  8.9 0.0 z3-encoding VS language-c-quote

  C/CUDA/OpenCL/Objective-C quasiquoting library.

• why3

  8.9 0.0 z3-encoding VS why3

  Haskell support for the Why3 input format.

• exference

  8.9 0.0 z3-encoding VS exference

  Tool to search/generate (haskell) expressions with a given type

• formura

  8.8 0.0 L3 z3-encoding VS formura

  Formura is a simple language to describe stencil computation.

• LibClang

  8.7 0.0 z3-encoding VS LibClang

  Haskell bindings for libclang (a C++ parsing library)

• pyfi

  8.6 0.0 z3-encoding VS pyfi

  Call python inline from haskell

• imprevu

  8.6 0.0 z3-encoding VS imprevu

  Reactive programming language based on a DSL

• nomyx-library

  8.6 0.0 z3-encoding VS nomyx-library

  Library of rules for Nomyx

• fortran-src

  8.5 8.5 z3-encoding VS fortran-src

  Parser and anlyses for Fortran standards 66, 77, 90.

• haskell-names

  8.5 3.3 z3-encoding VS haskell-names

  Name resolution library for Haskell

• ministg

  8.5 0.1 z3-encoding VS ministg

  an interpreter for an operational semantics for the STG machine.

• sized-types

  8.5 0.0 z3-encoding VS sized-types

  Sized types in Haskell using the GHC Nat kind.

• Obsidian

  8.5 0.0 z3-encoding VS Obsidian

  Embedded language for GPU Programming

• Paraiso

  8.4 0.0 L2 z3-encoding VS Paraiso

  a code generator for partial differential equations solvers.

• raw-feldspar

  8.3 3.3 z3-encoding VS raw-feldspar

  Resource-Aware Feldspar

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest. Visit our partner's website for more details.

Do you think we are missing an alternative of z3-encoding or a related project?

Add another 'Language' Package

Popular Comparisons

• fortran-src
  vs
  really-simple-xml-parser
• brittany
  vs
  stylish-haskell
• elm-reactor
  vs
  purescript
• frp-arduino
  vs
  haskell-names
• haskell-tools-ast
  vs
  ghc-justdoit