sized-types alternatives and similar packages

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

• elm-compiler

  10.0 4.0 sized-types VS elm-compiler

  Compiler for Elm, a functional language for reliable webapps.
  

• purescript

  10.0 2.7 sized-types VS purescript

  A strongly-typed language that compiles to JavaScript
  

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



• liquidhaskell

  9.9 9.9 sized-types VS liquidhaskell

  Liquid Types For Haskell
  

• cryptol

  9.9 9.4 sized-types VS cryptol

  Cryptol: The Language of Cryptography
  

• stylish-haskell

  9.9 6.4 sized-types VS stylish-haskell

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

• polysemy

  9.9 6.2 sized-types VS polysemy

  :gemini: higher-order, no-boilerplate monads
  

• elm-server

  9.8 0.0 sized-types VS elm-server

  DISCONTINUED. Server for developing Elm projects

• brittany

  9.8 0.0 sized-types VS brittany

  haskell source code formatter
  

• ivory

  9.8 0.0 sized-types VS ivory

  The Ivory EDSL
  

• elm-reactor

  9.8 0.0 sized-types VS elm-reactor

  DISCONTINUED. Interactive development tool for Elm programs

• elm-get

  9.7 0.0 sized-types VS elm-get

  DISCONTINUED. Tool for sharing and using Elm libraries

• elm-package

  9.7 0.0 sized-types VS elm-package

  DISCONTINUED. Package manager for Elm libraries

• haskell-src-exts

  9.7 0.0 sized-types VS haskell-src-exts

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

• haskell-tools-ast-fromghc

  9.6 0.0 sized-types VS haskell-tools-ast-fromghc

  Developer tools for Haskell
  

• haskell-tools-ast-gen

  9.6 0.0 sized-types VS haskell-tools-ast-gen

  Developer tools for Haskell
  

• frp-arduino

  9.6 0.0 sized-types VS frp-arduino

  Arduino programming without the hassle of C.
  

• haskell-tools-ast

  9.6 0.0 sized-types VS haskell-tools-ast

  Developer tools for Haskell
  

• language-javascript

  9.5 0.0 sized-types VS language-javascript

  Parser for JavaScript, in Haskell
  

• elsa

  9.5 2.4 sized-types VS elsa

  Elsa is a lambda calculus evaluator
  

• axel

  9.5 3.4 sized-types VS axel

  Haskell + Lisp
  

• liquid-fixpoint

  9.5 9.4 sized-types VS liquid-fixpoint

  Horn Clause Constraint Solving for Liquid Types
  

• language-python

  9.5 0.0 sized-types VS language-python

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

• nirum

  9.4 0.0 sized-types VS nirum

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

• elm-export

  9.4 0.0 sized-types VS elm-export

  Create Elm types and JSON decoders from Haskell source.
  

• shentong

  9.3 0.0 sized-types VS shentong

  A Haskell implementation of the Shen programming language.
  

• camfort

  9.3 8.2 sized-types VS camfort

  Light-weight verification and transformation tools for Fortran
  

• language-java

  9.3 0.0 sized-types VS language-java

  DISCONTINUED. Java parser and printer for haskell

• tal

  9.3 0.0 sized-types VS tal

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

• elm-bridge

  9.2 4.2 sized-types VS elm-bridge

  Haskell: Derive Elm types from Haskell types
  

• hfmt

  9.2 0.0 sized-types VS hfmt

  Format Haskell programs. Inspired by the gofmt utility.
  

• peggy

  9.1 0.0 sized-types VS peggy

  The Parser Generator for Haskell
  

• type-of-html

  9.1 0.0 sized-types VS type-of-html

  High performance type safe html generation
  

• jvm-parser

  9.1 3.5 sized-types VS jvm-parser

  A Haskell parser for JVM bytecode files
  

• ghc-justdoit

  9.1 0.0 sized-types VS ghc-justdoit

  A magic typeclass that just does it
  

• hgrep

  9.1 0.8 sized-types VS hgrep

  DISCONTINUED. Search Haskell source code from the command line

• language-rust

  9.0 0.0 sized-types VS language-rust

  Parser and pretty-printer for the Rust language
  

• fortran-src

  8.9 8.6 sized-types VS fortran-src

  Fortran parsing and static analysis infrastructure
  

• exference

  8.9 0.0 sized-types VS exference

  Haskell tool to generate expressions from types
  

• language-ecmascript

  8.9 4.5 sized-types VS language-ecmascript

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

• language-c-quote

  8.9 3.5 sized-types VS language-c-quote

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

• formura

  8.8 0.0 L3 sized-types VS formura

  Describe stencil formurae without even translating them
  

• nomyx-library

  8.8 4.3 sized-types VS nomyx-library

  The Nomyx game
  

• imprevu

  8.8 4.3 sized-types VS imprevu

  The Nomyx game
  

• ministg

  8.8 0.0 sized-types VS ministg

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

• aterm-utils

  8.7 3.2 sized-types VS aterm-utils

  Utility functions for working with aterms as generated by Minitermite
  

• why3

  8.7 0.0 sized-types VS why3

  Haskell support for the Why3 input format
  

• homplexity

  8.7 0.0 sized-types VS homplexity

  Haskell code complexity and quality measurement
  

• haskell-names

  8.7 0.0 sized-types VS haskell-names

  Haskell suite library for name resolution
  

• purescript-tsd-gen

  8.7 5.5 sized-types VS purescript-tsd-gen

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

• LibClang

  8.6 0.0 sized-types VS LibClang

  Haskell FFI to libclang
  

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

InfluxDB high-performance time series database

featured influxdata.com

Popular Comparisons

• sized-types
  vs
  CoreErlang
• sized-types
  vs
  language-pig
• sized-types
  vs
  language-thrift
• sized-types
  vs
  pyfi
• sized-types
  vs
  lens-toml-parser

SaaSHub - Software Alternatives and Reviews

featured www.saashub.com