Popularity

7.4

Growing

Activity

3.6

Growing

Stars 37

Watchers 4

Forks 1

Last Commit over 2 years ago

Monthly Downloads: 3

Programming language: Haskell

License: MIT License

Tags: Language

hindley-milner alternatives and similar packages

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

elm-compiler

10.0 5.4 hindley-milner VS elm-compiler

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

10.0 6.6 hindley-milner VS purescript

A strongly-typed language that compiles to JavaScript

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

liquidhaskell

9.9 9.3 hindley-milner VS liquidhaskell

Liquid Types For Haskell
cryptol

9.9 9.2 hindley-milner VS cryptol

Cryptol: The Language of Cryptography
stylish-haskell

9.9 6.4 hindley-milner VS stylish-haskell

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

9.9 0.0 hindley-milner VS brittany

haskell source code formatter
polysemy

9.9 5.5 hindley-milner VS polysemy

:gemini: higher-order, no-boilerplate monads
elm-server

9.8 0.0 hindley-milner VS elm-server

Server for developing Elm projects
elm-reactor

9.8 0.0 hindley-milner VS elm-reactor

Interactive development tool for Elm programs
ivory

9.8 0.0 hindley-milner VS ivory

The Ivory EDSL
elm-get

9.7 0.0 hindley-milner VS elm-get

Tool for sharing and using Elm libraries
elm-package

9.7 0.0 hindley-milner VS elm-package

Package manager for Elm libraries
haskell-src-exts

9.7 0.0 hindley-milner VS haskell-src-exts

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

9.6 0.0 hindley-milner VS frp-arduino

Arduino programming without the hassle of C.
haskell-tools-ast-gen

9.6 0.0 hindley-milner VS haskell-tools-ast-gen

Developer tools for Haskell
language-javascript

9.6 0.0 hindley-milner VS language-javascript

Parser for JavaScript, in Haskell
haskell-tools-ast

9.6 0.0 hindley-milner VS haskell-tools-ast

Developer tools for Haskell
haskell-tools-ast-fromghc

9.6 0.0 hindley-milner VS haskell-tools-ast-fromghc

Developer tools for Haskell
language-python

9.5 2.7 hindley-milner VS language-python

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

9.5 8.9 hindley-milner VS liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types
axel

9.5 0.0 hindley-milner VS axel

Haskell + Lisp
nirum

9.4 0.0 hindley-milner VS nirum

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

9.4 0.0 hindley-milner VS elm-export

Create Elm types and JSON decoders from Haskell source.
elsa

9.4 2.9 hindley-milner VS elsa

Elsa is a lambda calculus evaluator
tal

9.3 0.0 hindley-milner VS tal

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

9.3 0.0 hindley-milner VS language-java

Java parser and printer for haskell
shentong

9.3 0.0 hindley-milner VS shentong

A Haskell implementation of the Shen programming language.
camfort

9.2 5.7 hindley-milner VS camfort

Light-weight verification and transformation tools for Fortran
elm-bridge

9.2 4.7 hindley-milner VS elm-bridge

Haskell: Derive Elm types from Haskell types
hfmt

9.2 0.0 hindley-milner VS hfmt

Format Haskell programs. Inspired by the gofmt utility.
ghc-justdoit

9.1 0.0 hindley-milner VS ghc-justdoit

A magic typeclass that just does it
clang-pure

9.1 0.0 hindley-milner VS clang-pure

Easy C++ code analysis with pure Haskell
jvm-parser

9.1 3.5 hindley-milner VS jvm-parser

A Haskell parser for JVM bytecode files
peggy

9.1 0.0 hindley-milner VS peggy

The Parser Generator for Haskell
type-of-html

9.1 0.0 hindley-milner VS type-of-html

High performance type safe html generation
hgrep

9.1 0.8 hindley-milner VS hgrep

Search Haskell source code from the command line
exference

9.0 0.0 hindley-milner VS exference

Haskell tool to generate expressions from types
language-rust

9.0 0.0 hindley-milner VS language-rust

Parser and pretty-printer for the Rust language
language-c-quote

9.0 3.7 hindley-milner VS language-c-quote

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

8.9 4.5 hindley-milner VS language-ecmascript

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

8.8 4.3 hindley-milner VS nomyx-library

The Nomyx game
fortran-src

8.8 5.8 hindley-milner VS fortran-src

Fortran parsing and static analysis infrastructure
formura

8.8 0.0 L3 hindley-milner VS formura

Describe stencil formurae without even translating them
aterm-utils

8.8 3.2 hindley-milner VS aterm-utils

Utility functions for working with aterms as generated by Minitermite
imprevu

8.8 4.3 hindley-milner VS imprevu

The Nomyx game
why3

8.8 0.0 hindley-milner VS why3

Haskell support for the Why3 input format
ministg

8.7 0.0 hindley-milner VS ministg

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

8.7 0.0 hindley-milner VS haskell-names

Haskell suite library for name resolution
homplexity

8.7 0.0 hindley-milner VS homplexity

Haskell code complexity and quality measurement
purescript-tsd-gen

8.7 5.5 hindley-milner VS purescript-tsd-gen

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

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

Add another 'Language' Package

Popular Comparisons

README

Template for Hindley-Milner based languages

Introduction

I often find myself in need of an implementation of Hindley-Milner to experiment with, so I wrote this library as a template implementation of a Hindley-Milner like language. Only Algorithm W is currently implemented. The library isn't meant to be used as a dependency for other projects, but rather as a starting point.