Reusable static analysis interfaces and modules.

staticanalysis alternatives and similar packages

Based on the "Compiler" category

• haste-compiler

  10.0 0.0 staticanalysis VS haste-compiler

  Haskell To ECMAScript compiler

• idris

  10.0 8.7 staticanalysis VS idris

  Functional Programming Language with Dependent Types

• Elm

  10.0 8.8 staticanalysis VS Elm

  The Elm language module.

• binaryen

  9.9 9.2 staticanalysis VS binaryen

  Haskell bindings to binaryen

• accelerate

  9.9 7.8 staticanalysis VS accelerate

  An embedded language for accelerated array processing

• dhall

  9.9 9.2 staticanalysis VS dhall

  A configuration language guaranteed to terminate

• kaleidoscope

  9.9 0.0 staticanalysis VS kaleidoscope

  Haskell Kaleidoscope tutorial

• egison

  9.9 9.7 staticanalysis VS egison

  Programming language with non-linear pattern-matching against non-free data

• morte

  9.8 1.6 staticanalysis VS morte

  A bare-bones calculus of constructions

• pi-forall

  9.8 0.0 staticanalysis VS pi-forall

  Demo implementation of typechecker for dependently-typed language

• hyper-haskell-server

  9.8 1.9 L5 staticanalysis VS hyper-haskell-server

  Server back-end for the HyperHaskell graphical Haskell interpreter

• husk-scheme

  9.7 4.3 staticanalysis VS husk-scheme

  R5RS Scheme interpreter, compiler, and library.

• ajhc

  9.6 0.1 staticanalysis VS ajhc

  Haskell compiler that produce binary through C language

• sjsp

  9.6 3.1 staticanalysis VS sjsp

  Simple JavaScript Profiler

• glambda

  9.5 0.0 staticanalysis VS glambda

  A simply typed lambda calculus interpreter, written with GADTs

• accelerate-llvm

  9.5 6.9 staticanalysis VS accelerate-llvm

  Accelerate backend generating LLVM

• ghc-proofs

  9.4 0.0 staticanalysis VS ghc-proofs

  GHC plugin to prove program equations by simplification

• inspection-testing

  9.4 6.1 staticanalysis VS inspection-testing

  GHC plugin to do inspection esting

• sunroof-compiler

  9.3 0.0 staticanalysis VS sunroof-compiler

  Monadic Javascript Compiler

• bound

  9.3 4.2 staticanalysis VS bound

  Making de Bruijn Succ Less

• accelerate-cuda

  9.2 0.0 staticanalysis VS accelerate-cuda

  Accelerate backend for NVIDIA GPUs

• annah

  9.2 0.0 staticanalysis VS annah

  Medium-level language that desugars to Morte

• accelerate-examples

  9.2 2.9 staticanalysis VS accelerate-examples

  Examples using the Accelerate library

• dhall-nix

  9.1 0.0 staticanalysis VS dhall-nix

  Dhall to Nix compiler

• lambdacube-compiler

  9.1 0.4 staticanalysis VS lambdacube-compiler

  LambdaCube 3D is a DSL to program GPUs

• CPL

  9.0 0.0 staticanalysis VS CPL

  An interpreter of Hagino's Categorical Programming Language (CPL).

• ntha

  9.0 0.0 staticanalysis VS ntha

  A tiny statically typed functional programming language.

• wasm

  9.0 3.2 staticanalysis VS wasm

  WebAssembly Language Toolkit and Interpreter

• dhall-json

  8.9 0.0 staticanalysis VS dhall-json

  Compile Dhall to JSON or YAML

• llvm-hs-pretty

  8.9 3.9 staticanalysis VS llvm-hs-pretty

  Pretty printer for LLVM IR.

• epic

  8.8 0.0 staticanalysis VS epic

  Compiler for a simple functional language

• elm-street

  8.7 4.3 staticanalysis VS elm-street

  Crossing the road between Haskell and Elm

• pcf

  8.6 0.0 staticanalysis VS pcf

  A one file compiler for PCF

• hLLVM

  8.5 0.0 staticanalysis VS hLLVM

  A library for analyzing and transforming LLVM (3.5) assembly codes

• sunroof-examples

  8.5 0.0 staticanalysis VS sunroof-examples

  Tests for Sunroof

• unbound

  8.4 4.3 staticanalysis VS unbound

  Generic support for programming with names and binders

• hinter

  8.3 0.0 staticanalysis VS hinter

  Runtime Haskell interpreter (GHC API wrapper)

• hint

  8.3 0.0 staticanalysis VS hint

  Runtime Haskell interpreter (GHC API wrapper)

• accelerate-io

  8.2 1.6 staticanalysis VS accelerate-io

  Read and write Accelerate arrays in various formats

• peg

  8.1 0.0 staticanalysis VS peg

  a lazy non-deterministic concatenative programming language

• haskelm

  8.1 0.0 staticanalysis VS haskelm

  Elm to Haskell translation

• haskell-to-elm

  8.0 7.4 staticanalysis VS haskell-to-elm

  Generate Elm types and JSON encoders and decoders from Haskell types

• strict-ghc-plugin

  7.8 0.0 staticanalysis VS strict-ghc-plugin

  Compiler plugin for making Haskell strict

• feldspar-compiler

  7.7 7.3 staticanalysis VS feldspar-compiler

  Compiler for the Feldspar language

• accelerate-fft

  7.7 0.0 staticanalysis VS accelerate-fft

  FFT using the Accelerate library

• hoe

  7.6 0.0 staticanalysis VS hoe

  hoe

• alms

  7.6 0.0 staticanalysis VS alms

  a practical affine language

• core-compiler

  7.5 3.8 staticanalysis VS core-compiler

  compile your own mini functional language with Core

• dhall-text

  7.3 2.2 staticanalysis VS dhall-text

  Template text using Dhall

• dhall-bash

  7.2 0.0 staticanalysis VS dhall-bash

  Compile Dhall to Bash

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

Popular Comparisons

• husk-scheme
  vs
  hyper-haskell-server
• Elm
  vs
  haskelm
• hint
  vs
  fst
• idris
  vs
  hackager
• const-math-ghc-plugin
  vs
  idris

SaaSHub - Software Alternatives and Reviews View more from us