why3 alternatives and similar packages

Based on the "Language" category.
Alternatively, view why3 alternatives based on common mentions on social networks and blogs.

• elm-compiler

  10.0 5.6 why3 VS elm-compiler

  Compiler for Elm, a functional language for reliable webapps.
  

• purescript

  10.0 4.5 why3 VS purescript

  A strongly-typed language that compiles to JavaScript
  

Stream - Scalable APIs for Chat, Feeds, Moderation, & Video.

Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.

Promo getstream.io



• cryptol

  9.9 9.6 why3 VS cryptol

  Cryptol: The Language of Cryptography
  

• stylish-haskell

  9.9 6.4 why3 VS stylish-haskell

  DISCONTINUED. Haskell code prettifier [Moved to: https://github.com/haskell/stylish-haskell]
  

• liquidhaskell

  9.9 9.6 why3 VS liquidhaskell

  Liquid Types For Haskell
  

• polysemy

  9.9 6.2 why3 VS polysemy

  :gemini: higher-order, no-boilerplate monads
  

• elm-reactor

  9.8 0.0 why3 VS elm-reactor

  DISCONTINUED. Interactive development tool for Elm programs

• elm-server

  9.8 0.0 why3 VS elm-server

  DISCONTINUED. Server for developing Elm projects

• brittany

  9.8 0.0 why3 VS brittany

  haskell source code formatter
  

• ivory

  9.8 0.0 why3 VS ivory

  The Ivory EDSL
  

• haskell-src-exts

  9.7 0.0 why3 VS haskell-src-exts

  Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
  

• elm-get

  9.7 0.0 why3 VS elm-get

  DISCONTINUED. Tool for sharing and using Elm libraries

• elm-package

  9.7 0.0 why3 VS elm-package

  DISCONTINUED. Package manager for Elm libraries

• frp-arduino

  9.6 0.0 why3 VS frp-arduino

  Arduino programming without the hassle of C.
  

• haskell-tools-ast

  9.6 0.0 why3 VS haskell-tools-ast

  Developer tools for Haskell
  

• liquid-fixpoint

  9.6 9.6 why3 VS liquid-fixpoint

  Horn Clause Constraint Solving for Liquid Types
  

• haskell-tools-ast-gen

  9.6 0.0 why3 VS haskell-tools-ast-gen

  Developer tools for Haskell
  

• haskell-tools-ast-fromghc

  9.6 0.0 why3 VS haskell-tools-ast-fromghc

  Developer tools for Haskell
  

• elsa

  9.5 6.9 why3 VS elsa

  Elsa is a lambda calculus evaluator
  

• language-javascript

  9.5 0.0 why3 VS language-javascript

  Parser for JavaScript, in Haskell
  

• language-python

  9.5 1.1 why3 VS language-python

  A parser for Python 2.x and 3.x written in Haskell
  

• axel

  9.5 3.4 why3 VS axel

  Haskell + Lisp
  

• nirum

  9.4 0.0 why3 VS nirum

  Nirum: IDL compiler and RPC/distributed object framework for microservices
  

• elm-export

  9.4 0.0 why3 VS elm-export

  Create Elm types and JSON decoders from Haskell source.
  

• tal

  9.3 0.0 why3 VS tal

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

• language-java

  9.3 0.0 why3 VS language-java

  DISCONTINUED. Java parser and printer for haskell

• shentong

  9.3 0.0 why3 VS shentong

  A Haskell implementation of the Shen programming language.
  

• camfort

  9.3 8.8 why3 VS camfort

  Light-weight verification and transformation tools for Fortran
  

• elm-bridge

  9.2 4.2 why3 VS elm-bridge

  Haskell: Derive Elm types from Haskell types
  

• hfmt

  9.2 0.0 why3 VS hfmt

  Format Haskell programs. Inspired by the gofmt utility.
  

• type-of-html

  9.1 0.0 why3 VS type-of-html

  High performance type safe html generation
  

• ghc-justdoit

  9.1 0.0 why3 VS ghc-justdoit

  A magic typeclass that just does it
  

• jvm-parser

  9.1 3.5 why3 VS jvm-parser

  A Haskell parser for JVM bytecode files
  

• hgrep

  9.1 0.8 why3 VS hgrep

  DISCONTINUED. Search Haskell source code from the command line

• fortran-src

  9.0 7.6 why3 VS fortran-src

  Fortran parsing and static analysis infrastructure
  

• language-rust

  9.0 0.0 why3 VS language-rust

  Parser and pretty-printer for the Rust language
  

• peggy

  9.0 0.0 why3 VS peggy

  The Parser Generator for Haskell
  

• language-c-quote

  8.9 3.5 why3 VS language-c-quote

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

• exference

  8.9 0.0 why3 VS exference

  Haskell tool to generate expressions from types
  

• haskell-names

  8.8 3.6 why3 VS haskell-names

  Haskell suite library for name resolution
  

• language-ecmascript

  8.8 4.5 why3 VS language-ecmascript

  Haskell library: ECMAScript parser, pretty-printer and additional tools
  

• imprevu

  8.8 4.3 why3 VS imprevu

  The Nomyx game
  

• ministg

  8.8 0.0 why3 VS ministg

  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  

• nomyx-library

  8.8 4.3 why3 VS nomyx-library

  The Nomyx game
  

• formura

  8.7 0.0 L3 why3 VS formura

  Describe stencil formurae without even translating them
  

• aterm-utils

  8.7 3.2 why3 VS aterm-utils

  Utility functions for working with aterms as generated by Minitermite
  

• purescript-tsd-gen

  8.7 5.5 why3 VS purescript-tsd-gen

  TypeScript Declaration File (.d.ts) generator for PureScript
  

• homplexity

  8.7 0.0 why3 VS homplexity

  Haskell code complexity and quality measurement
  

• LibClang

  8.6 0.0 why3 VS LibClang

  Haskell FFI to libclang
  

• mikrokosmos

  8.6 0.0 why3 VS mikrokosmos

  (λ) Educational lambda calculus interpreter
  

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest.

Do you think we are missing an alternative of why3 or a related project?

InfluxDB – Built for High-Performance Time Series Workloads

featured www.influxdata.com

Popular Comparisons

• why3
  vs
  z3-encoding
• why3
  vs
  Feval
• why3
  vs
  smt-lib
• why3
  vs
  nirum
• why3
  vs
  alga

SaaSHub - Software Alternatives and Reviews

featured www.saashub.com