hindley-milner

Open-source projects categorized as hindley-milner
Edit details
Language: + Haskell + Rust + Erlang + JavaScript + OCaml + Racket
Topics: type-inference Functional programming functional-language Rust Scheme
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 10 hindley-milner Open-Source Projects

  • write-you-a-haskell

    Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

    • Project mention: A decade of developing a programming language | news.ycombinator.com | 2023-11-14

    I highly recommend https://github.com/sdiehl/write-you-a-haskell as it is very developer friendly. It’s not complete, but it really gets the gears turning and will set you up for writing your own Hendley-Milner style type checker.

  • alpaca

    Functional programming inspired by ML for the Erlang VM

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

    InfluxDB logo

  • articles

    Miscellaneous articles. The readme is the table of contents. (by quchen)

    • Project mention: Haddock+Doctest+Cairo = ♥ | /r/haskell | 2023-07-12

  • Hindley Milner Definitions

    Runtime type checking for JS with Hindley Milner signatures

  • type-inferencer

    hindley-milner algorithm

  • type-systems

    Playing with type systems

  • hindley-milner

    Template for Hindley-Milner based languages

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  • frea

    A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.

  • hm-infer-scheme

    Hindley-Milner type inference in Scheme, for Scheme

  • hm-infer-rs

    Hindley-Milner type inference for Scheme, in Rust

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

hindley-milner related posts

  • Haddock+Doctest+Cairo = ♥

    1 project | /r/haskell | 12 Jul 2023

  • The Little Learner: A Straight Line to Deep Learning

    4 projects | news.ycombinator.com | 15 Feb 2023

  • Löb and möb: strange loops in Haskell (2015)

    1 project | /r/patient_hackernews | 30 Jan 2023

  • Löb and möb: strange loops in Haskell (2015)

    1 project | /r/hackernews | 30 Jan 2023

  • Löb and möb: strange loops in Haskell

    1 project | /r/hypeurls | 30 Jan 2023

  • Löb and möb: strange loops in Haskell

    1 project | news.ycombinator.com | 30 Jan 2023

  • Show r/rust: Wrote a toy type inferencer by implementing Hindley-Milner algorithm

    5 projects | /r/rust | 19 Jan 2023
  • A note from our sponsor - SaaSHub
    www.saashub.com | 18 May 2024
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

What are some of the best open-source hindley-milner projects? This list will help you:

Project Stars
1 write-you-a-haskell 3,304
2 alpaca 1,429
3 articles 1,240
4 Hindley Milner Definitions 195
5 type-inferencer 49
6 type-systems 40
7 hindley-milner 37
8 frea 17
9 hm-infer-scheme 9
10 hm-infer-rs 4

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com