smt-lib alternatives and similar packages

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

• purescript

  10.0 6.6 smt-lib VS purescript

  A strongly-typed language that compiles to JavaScript
  

• elm-compiler

  10.0 5.4 smt-lib VS elm-compiler

  Compiler for Elm, a functional language for reliable webapps.
  

InfluxDB - Power Real-Time Data Analytics at Scale

Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

Promo www.influxdata.com



• polysemy

  9.9 5.5 smt-lib VS polysemy

  :gemini: higher-order, no-boilerplate monads
  

• cryptol

  9.9 9.2 smt-lib VS cryptol

  Cryptol: The Language of Cryptography
  

• brittany

  9.9 0.0 smt-lib VS brittany

  haskell source code formatter

• stylish-haskell

  9.9 6.4 smt-lib VS stylish-haskell

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

• liquidhaskell

  9.9 9.3 smt-lib VS liquidhaskell

  Liquid Types For Haskell
  

• elm-server

  9.8 0.0 smt-lib VS elm-server

  Server for developing Elm projects

• ivory

  9.8 0.0 smt-lib VS ivory

  The Ivory EDSL
  

• elm-reactor

  9.8 0.0 smt-lib VS elm-reactor

  Interactive development tool for Elm programs

• elm-package

  9.7 0.0 smt-lib VS elm-package

  Package manager for Elm libraries

• haskell-src-exts

  9.7 0.0 smt-lib VS haskell-src-exts

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

• elm-get

  9.7 0.0 smt-lib VS elm-get

  Tool for sharing and using Elm libraries

• haskell-tools-ast-gen

  9.6 0.0 smt-lib VS haskell-tools-ast-gen

  Developer tools for Haskell

• haskell-tools-ast-fromghc

  9.6 0.0 smt-lib VS haskell-tools-ast-fromghc

  Developer tools for Haskell

• frp-arduino

  9.6 0.0 smt-lib VS frp-arduino

  Arduino programming without the hassle of C.
  

• haskell-tools-ast

  9.6 0.0 smt-lib VS haskell-tools-ast

  Developer tools for Haskell

• language-javascript

  9.6 0.0 smt-lib VS language-javascript

  Parser for JavaScript, in Haskell

• language-python

  9.5 2.7 smt-lib VS language-python

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

• liquid-fixpoint

  9.5 8.9 smt-lib VS liquid-fixpoint

  Horn Clause Constraint Solving for Liquid Types
  

• axel

  9.5 0.0 smt-lib VS axel

  Haskell + Lisp
  

• nirum

  9.4 0.0 smt-lib VS nirum

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

• elm-export

  9.4 0.0 smt-lib VS elm-export

  Create Elm types and JSON decoders from Haskell source.

• elsa

  9.4 2.9 smt-lib VS elsa

  Elsa is a lambda calculus evaluator
  

• language-java

  9.3 0.0 smt-lib VS language-java

  Java parser and printer for haskell

• tal

  9.3 0.0 smt-lib VS tal

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

• shentong

  9.3 0.0 smt-lib VS shentong

  A Haskell implementation of the Shen programming language.

• elm-bridge

  9.2 4.7 smt-lib VS elm-bridge

  Haskell: Derive Elm types from Haskell types

• camfort

  9.2 5.7 smt-lib VS camfort

  Light-weight verification and transformation tools for Fortran
  

• hfmt

  9.2 0.0 smt-lib VS hfmt

  Format Haskell programs. Inspired by the gofmt utility.

• clang-pure

  9.1 0.0 smt-lib VS clang-pure

  Easy C++ code analysis with pure Haskell

• jvm-parser

  9.1 3.5 smt-lib VS jvm-parser

  A Haskell parser for JVM bytecode files
  

• type-of-html

  9.1 0.0 smt-lib VS type-of-html

  High performance type safe html generation

• hgrep

  9.1 0.8 smt-lib VS hgrep

  Search Haskell source code from the command line

• ghc-justdoit

  9.1 0.0 smt-lib VS ghc-justdoit

  A magic typeclass that just does it

• peggy

  9.1 0.0 smt-lib VS peggy

  The Parser Generator for Haskell

• exference

  9.0 0.0 smt-lib VS exference

  Haskell tool to generate expressions from types

• language-c-quote

  9.0 3.7 smt-lib VS language-c-quote

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

• language-rust

  9.0 0.0 smt-lib VS language-rust

  Parser and pretty-printer for the Rust language

• language-ecmascript

  8.9 4.5 smt-lib VS language-ecmascript

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

• why3

  8.8 0.0 smt-lib VS why3

  Haskell support for the Why3 input format
  

• fortran-src

  8.8 5.8 smt-lib VS fortran-src

  Fortran parsing and static analysis infrastructure
  

• formura

  8.8 0.0 L3 smt-lib VS formura

  Describe stencil formurae without even translating them

• aterm-utils

  8.8 3.2 smt-lib VS aterm-utils

  Utility functions for working with aterms as generated by Minitermite
  

• nomyx-library

  8.8 4.3 smt-lib VS nomyx-library

  The Nomyx game
  

• imprevu

  8.8 4.3 smt-lib VS imprevu

  The Nomyx game
  

• haskell-names

  8.7 0.0 smt-lib VS haskell-names

  Haskell suite library for name resolution
  

• homplexity

  8.7 0.0 smt-lib VS homplexity

  Haskell code complexity and quality measurement
  

• purescript-tsd-gen

  8.7 5.5 smt-lib VS purescript-tsd-gen

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

• ministg

  8.7 0.0 smt-lib VS ministg

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

* 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 smt-lib or a related project?

WorkOS - The modern identity platform for B2B SaaS sponsored workos.com

Popular Comparisons

• smt-lib
  vs
  why3
• really-simple-xml-parser
  vs
  fortran-src
• brittany
  vs
  stylish-haskell
• elm-reactor
  vs
  purescript
• purescript
  vs
  liquidhaskell

SaaSHub - Software Alternatives and Reviews sponsored www.saashub.com