z3-encoding alternatives and related packages

Based on the "Language" category

• purescript

  10.0 8.1 z3-encoding VS purescript

  PureScript Programming Language Compiler

• elm-compiler

  10.0 9.2 z3-encoding VS elm-compiler

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

• cryptol

  9.9 8.9 z3-encoding VS cryptol

  Cryptol

• elm-server

  9.9 1.0 z3-encoding VS elm-server

  Server for developing Elm projects

• elm-reactor

  9.9 1.0 z3-encoding VS elm-reactor

  Interactive development tool for Elm programs

• liquidhaskell

  9.9 9.5 z3-encoding VS liquidhaskell

  Liquid Types for Haskell

• stylish-haskell

  9.9 4.9 z3-encoding VS stylish-haskell

  Haskell code prettifier

• ivory

  9.8 2.4 z3-encoding VS ivory

  Safe embedded C programming.

• brittany

  9.8 7.7 z3-encoding VS brittany

  Haskell source code formatter

• elm-package

  9.7 1.0 z3-encoding VS elm-package

  Package manager for Elm libraries

• haskell-src-exts

  9.7 6.3 z3-encoding VS haskell-src-exts

  Manipulating Haskell source

• elm-get

  9.7 1.0 z3-encoding VS elm-get

  Tool for sharing and using Elm libraries

• frp-arduino

  9.6 2.5 z3-encoding VS frp-arduino

  Arduino programming without the hassle of C.

• haskell-tools-ast-fromghc

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

  Creating the Haskell-Tools AST from GHC's representations

• haskell-tools-ast

  9.6 6.5 z3-encoding VS haskell-tools-ast

  Haskell AST for efficient tooling

• haskell-tools-ast-gen

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

  Facilities for generating new parts of the Haskell-Tools AST

• language-python

  9.5 2.7 z3-encoding VS language-python

  Parsing and pretty printing of Python code.

• nirum

  9.5 8.0 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 4.8 z3-encoding VS language-javascript

  Parser for JavaScript

• language-java

  9.3 0.1 z3-encoding VS language-java

  Manipulating Java source

• shentong

  9.3 0.3 z3-encoding VS shentong

  A Haskell implementation of the Shen programming language

• jvm-parser

  9.2 1.8 z3-encoding VS jvm-parser

  A parser for JVM bytecode files

• hfmt

  9.2 3.5 z3-encoding VS hfmt

  Haskell source code formatter

• ghc-justdoit

  9.1 3.0 z3-encoding VS ghc-justdoit

  A magic typeclass that just does it

• peggy

  9.1 0.0 z3-encoding VS peggy

  The Parser Generator for Haskell

• elsa

  9.1 0.3 z3-encoding VS elsa

  A tiny language for understanding the lambda-calculus

• language-ecmascript

  9.0 2.3 z3-encoding VS language-ecmascript

  JavaScript parser and pretty-printer library

• aterm-utils

  9.0 0.0 z3-encoding VS aterm-utils

  Utility functions for working with aterms as generated by Minitermite

• type-of-html

  9.0 6.9 z3-encoding VS type-of-html

  High performance type driven html generation.

• liquid-fixpoint

  9.0 8.7 z3-encoding VS liquid-fixpoint

  Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

• camfort

  9.0 8.3 z3-encoding VS camfort

  CamFort - Cambridge Fortran infrastructure

• hgrep

  9.0 1.5 z3-encoding VS hgrep

  Search Haskell source code from the command line

• elm-bridge

  9.0 4.8 z3-encoding VS elm-bridge

  Derive Elm types from Haskell types

• 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

• language-c-quote

  8.9 1.2 z3-encoding VS language-c-quote

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

• tal

  8.8 0.0 z3-encoding VS tal

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

• formura

  8.8 0.0 L3 z3-encoding VS formura

  Formura is a simple language to describe stencil computation.

• LibClang

  8.8 0.0 z3-encoding VS LibClang

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

• nomyx-library

  8.6 0.0 z3-encoding VS nomyx-library

  Library of rules for Nomyx

• imprevu

  8.6 0.0 z3-encoding VS imprevu

  Reactive programming language based on a DSL

• Obsidian

  8.6 0.6 z3-encoding VS Obsidian

  Embedded language for GPU Programming

• pyfi

  8.6 0.0 z3-encoding VS pyfi

  Call python inline from haskell

• haskell-names

  8.6 5.0 z3-encoding VS haskell-names

  Name resolution library for Haskell

• fortran-src

  8.5 8.6 z3-encoding VS fortran-src

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

• Paraiso

  8.5 0.0 L2 z3-encoding VS Paraiso

  a code generator for partial differential equations solvers.

• ministg

  8.5 0.9 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.

• feldspar-language

  8.2 1.0 z3-encoding VS feldspar-language

  A functional embedded language for DSP and parallelism

* 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

z3-encoding Recommendations

There are no recommendations yet. Be the first to promote z3-encoding!

Have you used z3-encoding? Share your experience. Write a short recommendation and z3-encoding, you and your project will be promoted on Awesome Haskell.
Recommend z3-encoding

Recently added z3-encoding resources

Popular Comparisons

• fortran-src
  vs
  really-simple-xml-parser
• stylish-haskell
  vs
  brittany
• ghc-justdoit
  vs
  haskell-tools-ast
• liquidhaskell
  vs
  portable-template-haskell-lens
• portable-template-haskell-lens
  vs
  liquidhaskell