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 5.4 sized-types VS elm-compiler

  Compiler for Elm, a functional language for reliable webapps.
  

• purescript

  10.0 6.6 sized-types VS purescript

  A strongly-typed language that compiles to JavaScript
  

WorkOS - The modern identity platform for B2B SaaS

The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

Promo workos.com



• liquidhaskell

  9.9 9.3 sized-types VS liquidhaskell

  Liquid Types For Haskell
  

• brittany

  9.9 0.0 sized-types VS brittany

  haskell source code formatter

• stylish-haskell

  9.9 6.4 sized-types VS stylish-haskell

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

• polysemy

  9.9 5.5 sized-types VS polysemy

  :gemini: higher-order, no-boilerplate monads
  

• cryptol

  9.9 9.2 sized-types VS cryptol

  Cryptol: The Language of Cryptography
  

• ivory

  9.8 0.0 sized-types VS ivory

  The Ivory EDSL
  

• elm-server

  9.8 0.0 sized-types VS elm-server

  Server for developing Elm projects

• elm-reactor

  9.8 0.0 sized-types VS elm-reactor

  Interactive development tool for Elm programs

• elm-get

  9.7 0.0 sized-types VS elm-get

  Tool for sharing and using Elm libraries

• elm-package

  9.7 0.0 sized-types VS elm-package

  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
  

• frp-arduino

  9.6 0.0 sized-types VS frp-arduino

  Arduino programming without the hassle of C.
  

• language-javascript

  9.6 0.0 sized-types VS language-javascript

  Parser for JavaScript, in Haskell

• haskell-tools-ast

  9.6 0.0 sized-types VS haskell-tools-ast

  Developer tools for Haskell

• 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

• liquid-fixpoint

  9.5 8.9 sized-types VS liquid-fixpoint

  Horn Clause Constraint Solving for Liquid Types
  

• language-python

  9.5 2.7 sized-types VS language-python

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

• axel

  9.5 0.0 sized-types VS axel

  Haskell + Lisp
  

• 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.

• elsa

  9.4 2.9 sized-types VS elsa

  Elsa is a lambda calculus evaluator
  

• shentong

  9.3 0.0 sized-types VS shentong

  A Haskell implementation of the Shen programming language.

• tal

  9.3 0.0 sized-types VS tal

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

• language-java

  9.3 0.0 sized-types VS language-java

  Java parser and printer for haskell

• elm-bridge

  9.2 4.7 sized-types VS elm-bridge

  Haskell: Derive Elm types from Haskell types

• camfort

  9.2 5.7 sized-types VS camfort

  Light-weight verification and transformation tools for Fortran
  

• hfmt

  9.2 0.0 sized-types VS hfmt

  Format Haskell programs. Inspired by the gofmt utility.

• clang-pure

  9.1 0.0 sized-types VS clang-pure

  Easy C++ code analysis with pure 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
  

• hgrep

  9.1 0.8 sized-types VS hgrep

  Search Haskell source code from the command line

• ghc-justdoit

  9.1 0.0 sized-types VS ghc-justdoit

  A magic typeclass that just does it

• peggy

  9.1 0.0 sized-types VS peggy

  The Parser Generator for Haskell

• exference

  9.0 0.0 sized-types VS exference

  Haskell tool to generate expressions from types

• language-c-quote

  9.0 3.7 sized-types VS language-c-quote

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

• language-rust

  9.0 0.0 sized-types VS language-rust

  Parser and pretty-printer for the Rust language

• language-ecmascript

  8.9 4.5 sized-types VS language-ecmascript

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

• fortran-src

  8.8 5.8 sized-types VS fortran-src

  Fortran parsing and static analysis infrastructure
  

• formura

  8.8 0.0 L3 sized-types VS formura

  Describe stencil formurae without even translating them

• aterm-utils

  8.8 3.2 sized-types VS aterm-utils

  Utility functions for working with aterms as generated by Minitermite
  

• imprevu

  8.8 4.3 sized-types VS imprevu

  The Nomyx game
  

• why3

  8.8 0.0 sized-types VS why3

  Haskell support for the Why3 input format
  

• nomyx-library

  8.8 4.3 sized-types VS nomyx-library

  The Nomyx game
  

• haskell-names

  8.7 0.0 sized-types VS haskell-names

  Haskell suite library for name resolution
  

• homplexity

  8.7 0.0 sized-types VS homplexity

  Haskell code complexity and quality measurement
  

• purescript-tsd-gen

  8.7 5.5 sized-types VS purescript-tsd-gen

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

• ministg

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

InfluxDB - Power Real-Time Data Analytics at Scale sponsored www.influxdata.com

Popular Comparisons

• sized-types
  vs
  CoreErlang
• sized-types
  vs
  language-thrift
• sized-types
  vs
  pyfi
• sized-types
  vs
  lens-toml-parser
• really-simple-xml-parser
  vs
  fortran-src

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