z3-encoding alternatives and related packages

Based on the "Language" category

• elm-compiler

  10.0 9.1 z3-encoding VS elm-compiler

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

• purescript

  10.0 8.1 z3-encoding VS purescript

  PureScript Programming Language Compiler

• stylish-haskell

  9.9 4.1 z3-encoding VS stylish-haskell

  Haskell code prettifier

• cryptol

  9.9 8.9 z3-encoding VS cryptol

  Cryptol

• liquidhaskell

  9.9 9.6 z3-encoding VS liquidhaskell

  Liquid Types for Haskell

• ivory

  9.8 2.3 z3-encoding VS ivory

  Safe embedded C programming.

• elm-server

  9.8 0.6 z3-encoding VS elm-server

  Server for developing Elm projects

• brittany

  9.8 6.6 z3-encoding VS brittany

  Haskell source code formatter

• elm-reactor

  9.8 0.6 z3-encoding VS elm-reactor

  Interactive development tool for Elm programs

• haskell-src-exts

  9.7 5.5 z3-encoding VS haskell-src-exts

  Manipulating Haskell source

• elm-get

  9.7 0.6 z3-encoding VS elm-get

  Tool for sharing and using Elm libraries

• elm-package

  9.7 0.6 z3-encoding VS elm-package

  Package manager for Elm libraries

• frp-arduino

  9.6 1.6 z3-encoding VS frp-arduino

  Arduino programming without the hassle of C.

• haskell-tools-ast-gen

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

  Facilities for generating new parts of the Haskell-Tools AST

• haskell-tools-ast-fromghc

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

  Creating the Haskell-Tools AST from GHC's representations

• haskell-tools-ast

  9.6 5.3 z3-encoding VS haskell-tools-ast

  Haskell AST for efficient tooling

• nirum

  9.5 6.8 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.1 z3-encoding VS language-javascript

  Parser for JavaScript

• language-python

  9.4 2.2 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

• jvm-parser

  9.2 2.0 z3-encoding VS jvm-parser

  A parser for JVM bytecode files

• language-java

  9.2 0.0 z3-encoding VS language-java

  Manipulating Java source

• hfmt

  9.2 4.2 z3-encoding VS hfmt

  Haskell source code formatter

• tal

  9.2 0.0 z3-encoding VS tal

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

• elsa

  9.2 3.1 z3-encoding VS elsa

  A tiny language for understanding the lambda-calculus

• ghc-justdoit

  9.1 2.6 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

• elm-bridge

  9.1 4.8 z3-encoding VS elm-bridge

  Derive Elm types from Haskell types

• hgrep

  9.0 0.0 z3-encoding VS hgrep

  Search Haskell source code from the command line

• aterm-utils

  9.0 0.0 z3-encoding VS aterm-utils

  Utility functions for working with aterms as generated by Minitermite

• language-ecmascript

  9.0 0.7 z3-encoding VS language-ecmascript

  JavaScript parser and pretty-printer library

• type-of-html

  9.0 5.8 z3-encoding VS type-of-html

  High performance type driven html generation.

• liquid-fixpoint

  9.0 8.3 z3-encoding VS liquid-fixpoint

  Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

• camfort

  9.0 7.9 z3-encoding VS camfort

  CamFort - Cambridge Fortran infrastructure

• language-c-quote

  8.9 0.0 z3-encoding VS language-c-quote

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

• exference

  8.9 0.0 z3-encoding VS exference

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

• why3

  8.9 0.0 z3-encoding VS why3

  Haskell support for the Why3 input format.

• 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)

• pyfi

  8.7 0.0 z3-encoding VS pyfi

  Call python inline from haskell

• haskell-names

  8.6 4.4 z3-encoding VS haskell-names

  Name resolution library for Haskell

• 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.1 z3-encoding VS Obsidian

  Embedded language for GPU Programming

• fortran-src

  8.5 8.3 z3-encoding VS fortran-src

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

• ministg

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

• Paraiso

  8.4 0.0 L2 z3-encoding VS Paraiso

  a code generator for partial differential equations solvers.

• raw-feldspar

  8.3 4.1 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

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

• really-simple-xml-parser
  vs
  fortran-src
• stylish-haskell
  vs
  brittany
• haskell-tools-ast
  vs
  ghc-justdoit
• naver-translate
  vs
  jvm-parser
• jvm-parser
  vs
  naver-translate