staticanalysis alternatives and similar packages

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

Elm

10.0 4.0 staticanalysis VS Elm

Compiler for Elm, a functional language for reliable webapps.
binaryen

10.0 3.4 staticanalysis VS binaryen

DISCONTINUED. DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

CodeRabbit: AI Code Reviews for Developers

Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

Promo coderabbit.ai

idris

10.0 3.2 staticanalysis VS idris

A Dependently Typed Functional Programming Language
dhall

9.9 7.1 staticanalysis VS dhall

Maintainable configuration files
egison

9.9 0.0 staticanalysis VS egison

The Egison Programming Language
haste-compiler

9.9 0.0 staticanalysis VS haste-compiler

A GHC-based Haskell to JavaScript compiler
kaleidoscope

9.9 0.0 staticanalysis VS kaleidoscope

Haskell LLVM JIT Compiler Tutorial
accelerate

9.9 7.1 staticanalysis VS accelerate

Embedded language for high-performance array computations
pi-forall

9.8 6.3 staticanalysis VS pi-forall

A demo implementation of a simple dependently-typed language
hyper-haskell-server

9.7 4.7 L5 staticanalysis VS hyper-haskell-server

The strongly hyped Haskell interpreter.
morte

9.7 0.0 staticanalysis VS morte

A bare-bones calculus-of-constructions
husk-scheme

9.7 4.2 staticanalysis VS husk-scheme

A full implementation of the Scheme programming language for the Haskell Platform.
accelerate-llvm

9.6 2.6 staticanalysis VS accelerate-llvm

LLVM backend for Accelerate
sjsp

9.6 1.2 staticanalysis VS sjsp

DISCONTINUED. Simple JavaScript Profiler
glambda

9.6 2.8 staticanalysis VS glambda

The home of the Glamorous Glambda interpreter
hint

9.6 7.0 staticanalysis VS hint

DISCONTINUED. Runtime Haskell interpreter [Moved to: https://github.com/haskell-hint/hint]
ajhc

9.5 0.0 staticanalysis VS ajhc

A fork of jhc. And also a Haskell compiler.
inspection-testing

9.5 4.3 staticanalysis VS inspection-testing

Inspection Testing for Haskell
bound

9.4 4.2 staticanalysis VS bound

Combinators for manipulating locally-nameless generalized de Bruijn terms
wasm

9.4 4.7 staticanalysis VS wasm

Haskell WebAssembly Toolkit
ghc-proofs

9.3 0.0 staticanalysis VS ghc-proofs

Let GHC prove program equations for you
accelerate-examples

9.2 0.0 staticanalysis VS accelerate-examples

Examples for the Accelerate language
sunroof-compiler

9.2 0.0 staticanalysis VS sunroof-compiler

Monadic Javascript Compiler
CPL

9.2 2.4 staticanalysis VS CPL

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

9.1 0.0 staticanalysis VS pcf

A small compiler for PCF
accelerate-cuda

9.1 0.0 staticanalysis VS accelerate-cuda

DEPRECATED: Accelerate backend for NVIDIA GPUs
llvm-hs-pretty

9.1 0.0 staticanalysis VS llvm-hs-pretty

Pretty printer for LLVM AST to Textual IR
annah

9.0 0.0 staticanalysis VS annah

Distributed programming language that desugars to Morte
lambdacube-compiler

9.0 0.0 staticanalysis VS lambdacube-compiler

LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:
dhall-nix

9.0 0.0 staticanalysis VS dhall-nix

DISCONTINUED. Dhall to Nix compiler
elm-street

9.0 2.5 staticanalysis VS elm-street

:deciduous_tree: Crossing the road between Haskell and Elm
dhall-json

8.8 0.0 staticanalysis VS dhall-json

DISCONTINUED. Compile Dhall to JSON or YAML
ntha

8.7 0.0 staticanalysis VS ntha

The Ntha Programming Language
haskell-to-elm

8.6 4.3 staticanalysis VS haskell-to-elm

Generate Elm types, encoders, and decoders from Haskell types
epic

8.6 0.0 staticanalysis VS epic

Epic - a Supercombinator Compiler
hLLVM

8.5 0.0 staticanalysis VS hLLVM

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

8.5 0.0 staticanalysis VS unbound

Replib: generic programming & Unbound: generic treatment of binders
accelerate-io

8.3 3.2 staticanalysis VS accelerate-io

Read and write Accelerate arrays in various formats
peg

8.2 0.0 staticanalysis VS peg

A lazy non-deterministic concatenative programming language
sunroof-examples

8.2 0.0 staticanalysis VS sunroof-examples

Tests for Sunroof
kempe

8.1 5.1 staticanalysis VS kempe

Kempe is a compiled stack-based language
haskelm

8.0 0.0 staticanalysis VS haskelm

Haskell to Elm translation using Template Haskell. Contains both a library and executable.
nom

8.0 0.0 staticanalysis VS nom

Haskell implementation of nominal datatypes and functions
accelerate-fft

7.9 0.0 staticanalysis VS accelerate-fft

FFT library for Haskell based on the embedded array language Accelerate
lazyboy

7.9 0.0 staticanalysis VS lazyboy

An EDSL implemented in Haskell for programming the Nintendo Game Boy.
elm-syntax

7.8 5.6 staticanalysis VS elm-syntax

Library for generating Elm syntax from Haskell in a scope-safe way
strict-ghc-plugin

7.7 0.0 staticanalysis VS strict-ghc-plugin

DISCONTINUED. Compiler plugin for making Haskell strict
alms

7.6 0.0 staticanalysis VS alms

The Alms Programming Language
feldspar-compiler

7.5 0.0 staticanalysis VS feldspar-compiler

This is the compiler for the Feldspar Language.
hoe

7.4 0.0 staticanalysis VS hoe

Haskell One-liner Evaluator