why3 alternatives and similar packages

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

• purescript

  10.0 8.3 why3 VS purescript

  A strongly-typed language that compiles to JavaScript
  

• elm-compiler

  10.0 4.9 why3 VS elm-compiler

  Compiler for Elm, a functional language for reliable webapps.
  

Build time-series-based applications quickly and at scale.

InfluxDB is the Time Series Data Platform where developers build real-time applications for analytics, IoT and cloud-native services in less time with less code.

Promo www.influxdata.com



• brittany

  9.9 4.2 why3 VS brittany

  haskell source code formatter

• stylish-haskell

  9.9 6.4 why3 VS stylish-haskell

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

• cryptol

  9.9 9.3 why3 VS cryptol

  Cryptol: The Language of Cryptography
  

• polysemy

  9.9 5.5 why3 VS polysemy

  :gemini: higher-order, no-boilerplate monads
  

• liquidhaskell

  9.9 9.7 why3 VS liquidhaskell

  Liquid Types For Haskell
  

• elm-reactor

  9.8 0.0 why3 VS elm-reactor

  Interactive development tool for Elm programs

• ivory

  9.8 0.0 why3 VS ivory

  The Ivory EDSL
  

• elm-server

  9.8 0.0 why3 VS elm-server

  Server for developing Elm projects

• 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

  Tool for sharing and using Elm libraries

• elm-package

  9.7 0.0 why3 VS elm-package

  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-fromghc

  9.6 0.0 why3 VS haskell-tools-ast-fromghc

  Developer tools for Haskell

• haskell-tools-ast

  9.6 0.0 why3 VS haskell-tools-ast

  Developer tools for Haskell

• haskell-tools-ast-gen

  9.6 0.0 why3 VS haskell-tools-ast-gen

  Developer tools for Haskell

• language-javascript

  9.5 0.0 why3 VS language-javascript

  Parser for JavaScript, in Haskell

• liquid-fixpoint

  9.5 9.4 why3 VS liquid-fixpoint

  Horn Clause Constraint Solving for Liquid Types
  

• nirum

  9.5 0.0 why3 VS nirum

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

• elm-export

  9.5 0.0 why3 VS elm-export

  Create Elm types and JSON decoders from Haskell source.

• language-python

  9.5 2.7 why3 VS language-python

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

• elsa

  9.4 0.0 why3 VS elsa

  Elsa is a lambda calculus evaluator
  

• axel

  9.4 5.5 why3 VS axel

  Haskell + Lisp
  

• language-java

  9.3 0.0 why3 VS language-java

  Java parser and printer for haskell

• tal

  9.3 0.0 why3 VS tal

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

• shentong

  9.3 0.0 why3 VS shentong

  A Haskell implementation of the Shen programming language.

• camfort

  9.2 0.6 why3 VS camfort

  Light-weight verification and transformation tools for Fortran
  

• elm-bridge

  9.2 5.0 why3 VS elm-bridge

  Haskell: Derive Elm types from Haskell types

• hfmt

  9.2 0.7 why3 VS hfmt

  Format Haskell programs. Inspired by the gofmt utility.

• peggy

  9.1 0.0 why3 VS peggy

  The Parser Generator for Haskell

• ghc-justdoit

  9.1 0.0 why3 VS ghc-justdoit

  A magic typeclass that just does it

• jvm-parser

  9.1 2.0 why3 VS jvm-parser

  A Haskell parser for JVM bytecode files
  

• hgrep

  9.1 0.8 why3 VS hgrep

  Search Haskell source code from the command line

• type-of-html

  9.1 0.0 why3 VS type-of-html

  High performance type safe html generation

• language-c-quote

  9.1 1.8 why3 VS language-c-quote

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

• exference

  9.0 0.0 why3 VS exference

  Haskell tool to generate expressions from types

• language-ecmascript

  9.0 0.0 why3 VS language-ecmascript

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

• aterm-utils

  9.0 0.0 why3 VS aterm-utils

  Utility functions for working with aterms as generated by Minitermite
  

• language-rust

  8.9 0.0 why3 VS language-rust

  Parser and pretty-printer for the Rust language

• fortran-src

  8.8 5.8 why3 VS fortran-src

  Fortran parsing and static analysis infrastructure
  

• formura

  8.8 0.0 L3 why3 VS formura

  Describe stencil formurae without even translating them

• ministg

  8.8 0.0 why3 VS ministg

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

• homplexity

  8.8 0.0 why3 VS homplexity

  Haskell code complexity and quality measurement
  

• haskell-names

  8.7 0.0 why3 VS haskell-names

  Haskell suite library for name resolution
  

• LibClang

  8.7 0.0 why3 VS LibClang

  Haskell FFI to libclang

• nomyx-library

  8.7 0.0 why3 VS nomyx-library

  The Nomyx game
  

• imprevu

  8.7 0.0 why3 VS imprevu

  The Nomyx game
  

• pyfi

  8.6 0.0 why3 VS pyfi

  Call python inline from haskell

• mikrokosmos

  8.5 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?

Truly a developer’s best friend sponsored scoutapm.com

Popular Comparisons

• why3
  vs
  smt-lib
• why3
  vs
  z3-encoding
• why3
  vs
  alga
• why3
  vs
  CoreErlang
• why3
  vs
  language-thrift

Delete the most useless function ever: context switching. sponsored www.zigi.ai