why3 alternatives and related packages

Based on the "Language" category

• purescript

  10.0 8.1 why3 VS purescript

  PureScript Programming Language Compiler

• elm-compiler

  10.0 9.1 why3 VS elm-compiler

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

• cryptol

  9.9 8.9 why3 VS cryptol

  Cryptol

• elm-server

  9.9 0.6 why3 VS elm-server

  Server for developing Elm projects

• stylish-haskell

  9.9 4.1 why3 VS stylish-haskell

  Haskell code prettifier

• elm-reactor

  9.9 0.6 why3 VS elm-reactor

  Interactive development tool for Elm programs

• liquidhaskell

  9.9 9.6 why3 VS liquidhaskell

  Liquid Types for Haskell

• brittany

  9.8 6.6 why3 VS brittany

  Haskell source code formatter

• ivory

  9.8 2.3 why3 VS ivory

  Safe embedded C programming.

• haskell-src-exts

  9.7 5.5 why3 VS haskell-src-exts

  Manipulating Haskell source

• elm-package

  9.7 0.6 why3 VS elm-package

  Package manager for Elm libraries

• elm-get

  9.7 0.6 why3 VS elm-get

  Tool for sharing and using Elm libraries

• frp-arduino

  9.6 1.7 why3 VS frp-arduino

  Arduino programming without the hassle of C.

• haskell-tools-ast

  9.6 5.3 why3 VS haskell-tools-ast

  Haskell AST for efficient tooling

• haskell-tools-ast-fromghc

  9.6 5.3 why3 VS haskell-tools-ast-fromghc

  Creating the Haskell-Tools AST from GHC's representations

• haskell-tools-ast-gen

  9.6 5.3 why3 VS haskell-tools-ast-gen

  Facilities for generating new parts of the Haskell-Tools AST

• nirum

  9.5 6.8 why3 VS nirum

  IDL compiler and RPC/distributed object framework for microservices

• language-python

  9.5 2.2 why3 VS language-python

  Parsing and pretty printing of Python code.

• elm-export

  9.5 0.0 why3 VS elm-export

  A library to generate Elm types from Haskell source.

• language-javascript

  9.4 4.1 why3 VS language-javascript

  Parser for JavaScript

• shentong

  9.3 0.0 why3 VS shentong

  A Haskell implementation of the Shen programming language

• jvm-parser

  9.2 2.0 why3 VS jvm-parser

  A parser for JVM bytecode files

• elsa

  9.2 3.1 why3 VS elsa

  A tiny language for understanding the lambda-calculus

• hfmt

  9.2 4.2 why3 VS hfmt

  Haskell source code formatter

• tal

  9.2 0.0 why3 VS tal

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

• language-java

  9.2 0.0 why3 VS language-java

  Manipulating Java source

• ghc-justdoit

  9.1 2.6 why3 VS ghc-justdoit

  A magic typeclass that just does it

• elm-bridge

  9.1 4.8 why3 VS elm-bridge

  Derive Elm types from Haskell types

• peggy

  9.1 0.0 why3 VS peggy

  The Parser Generator for Haskell

• language-ecmascript

  9.0 0.7 why3 VS language-ecmascript

  JavaScript parser and pretty-printer library

• aterm-utils

  9.0 0.0 why3 VS aterm-utils

  Utility functions for working with aterms as generated by Minitermite

• type-of-html

  9.0 5.8 why3 VS type-of-html

  High performance type driven html generation.

• liquid-fixpoint

  9.0 8.3 why3 VS liquid-fixpoint

  Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

• camfort

  9.0 7.9 why3 VS camfort

  CamFort - Cambridge Fortran infrastructure

• hgrep

  9.0 0.0 why3 VS hgrep

  Search Haskell source code from the command line

• language-c-quote

  8.9 0.0 why3 VS language-c-quote

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

• exference

  8.9 0.0 why3 VS exference

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

• formura

  8.8 0.0 L3 why3 VS formura

  Formura is a simple language to describe stencil computation.

• LibClang

  8.8 0.0 why3 VS LibClang

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

• pyfi

  8.7 0.0 why3 VS pyfi

  Call python inline from haskell

• nomyx-library

  8.6 0.0 why3 VS nomyx-library

  Library of rules for Nomyx

• imprevu

  8.6 0.0 why3 VS imprevu

  Reactive programming language based on a DSL

• Obsidian

  8.6 0.1 why3 VS Obsidian

  Embedded language for GPU Programming

• haskell-names

  8.6 4.4 why3 VS haskell-names

  Name resolution library for Haskell

• fortran-src

  8.5 8.4 why3 VS fortran-src

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

• ministg

  8.5 0.6 why3 VS ministg

  an interpreter for an operational semantics for the STG machine.

• sized-types

  8.5 0.0 why3 VS sized-types

  Sized types in Haskell using the GHC Nat kind.

• Paraiso

  8.4 0.0 L2 why3 VS Paraiso

  a code generator for partial differential equations solvers.

• raw-feldspar

  8.3 4.1 why3 VS raw-feldspar

  Resource-Aware Feldspar

• feldspar-language

  8.2 0.7 why3 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 why3 or a related project?

Add another 'Language' Package

why3 Recommendations

There are no recommendations yet. Be the first to promote why3!

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

Recently added why3 resources

Popular Comparisons

• why3
  vs
  language-thrift
• why3
  vs
  alga
• why3
  vs
  lens-toml-parser
• why3
  vs
  CoreErlang
• fortran-src
  vs
  really-simple-xml-parser