hindley-milner | Topic | Ecosyste.ms: Repos

Topic: "hindley-milner"

sdiehl/write-you-a-haskell

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

Language: Haskell - Size: 938 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 3,379 - Forks: 256

alpaca-lang/alpaca

Functional programming inspired by ML for the Erlang VM

Language: Erlang - Size: 1.81 MB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 1,446 - Forks: 48

quchen/articles

Miscellaneous articles. The readme is the table of contents.

Language: Haskell - Size: 8.07 MB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 1,263 - Forks: 92

xodio/hm-def

Runtime type checking for JS with Hindley Milner signatures

Language: JavaScript - Size: 759 KB - Last synced at: 15 days ago - Pushed at: over 2 years ago - Stars: 199 - Forks: 11

7sharp9/write-you-an-inference-in-fsharp

Different type inference algorithms implemented in F#

Language: F# - Size: 110 KB - Last synced at: 4 months ago - Pushed at: over 4 years ago - Stars: 163 - Forks: 8

murisi/L2

A minimalist type-inferred programming language with procedural macro support

Language: Racket - Size: 3.58 MB - Last synced at: 3 months ago - Pushed at: almost 5 years ago - Stars: 136 - Forks: 9

MaxDesiatov/Typology

Swift type checking and semantic analysis for developer tools

Language: Swift - Size: 186 KB - Last synced at: 5 days ago - Pushed at: over 3 years ago - Stars: 81 - Forks: 5

siraben/mini-haskell

A self-hosting mini Haskell compiler with a mini C runtime.

Language: Haskell - Size: 137 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 74 - Forks: 5

lorepozo/polytype-rs

A Hindley-Milner polymorphic typing system

Language: Rust - Size: 224 KB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 59 - Forks: 8

andreypopp/type-systems

Playing with type systems

Language: OCaml - Size: 199 KB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 51 - Forks: 2

0b01/tensorscript

shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)

Language: Rust - Size: 497 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 51 - Forks: 0

veera-sivarajan/type-inferencer

hindley-milner algorithm

Language: Rust - Size: 46.9 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 49 - Forks: 1

wbbradley/ace

A statically-typed strictly-evaluated garbage-collected readable programming language.

Language: C++ - Size: 25.8 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 46 - Forks: 2

kongware/ftor

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

Language: JavaScript - Size: 1.09 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 44 - Forks: 1

elipmoc/Ruscall

自作言語処理系のコンパイラ制作

Language: Rust - Size: 1020 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 43 - Forks: 4

mbg/hindley-milner

Template for Hindley-Milner based languages

Language: Haskell - Size: 21.5 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 39 - Forks: 1

smpoulsen/terp

A functional programming language with lisp syntax and ML semantics that runs on the BEAM

Language: Elixir - Size: 6.23 MB - Last synced at: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 34 - Forks: 3

nachivpn/mt

Master thesis on developing a static type checker for Erlang

Language: Erlang - Size: 3.55 MB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 27 - Forks: 1

xodio/hm-parser

A parser for Hidnley Milner notations

Language: JavaScript - Size: 60.5 KB - Last synced at: 13 days ago - Pushed at: over 2 years ago - Stars: 23 - Forks: 2

ymyzk/lambda-dti

Interpreter of the ITGL with dynamic type inference

Language: OCaml - Size: 220 KB - Last synced at: 10 days ago - Pushed at: 5 months ago - Stars: 22 - Forks: 4

wdamron/poly

Hindley-Milner type system with extensible records and variants, implemented in Go

Language: Go - Size: 185 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 21 - Forks: 2

kipos-lang/kipos

let a million languages bloom

Language: TypeScript - Size: 1.6 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 17 - Forks: 0

lambduli/frea

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

Language: Haskell - Size: 695 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 16 - Forks: 0

remexre/evaltrees

A simple term-rewriting interpreter that displays intermediate expressions.

Language: Rust - Size: 1.13 MB - Last synced at: 29 days ago - Pushed at: 2 months ago - Stars: 14 - Forks: 0

Genivia/Husky

🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax

Language: Prolog - Size: 122 KB - Last synced at: 4 months ago - Pushed at: almost 5 years ago - Stars: 14 - Forks: 1

milesbarr/hindley-milner-in-python

Hindley–Milner type inference implemented in Python.

Language: Python - Size: 5.86 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 13 - Forks: 1

ElaraLang/elara

Elara is a purely-functional programming language targetting the JVM

Language: Haskell - Size: 4.63 MB - Last synced at: 4 days ago - Pushed at: 3 months ago - Stars: 12 - Forks: 3

maeln/LambdaHindleyMilner

Java implementation of Hindley Milner type inference algorithm for lambda calculus.

Language: Java - Size: 71.3 KB - Last synced at: 28 days ago - Pushed at: about 6 years ago - Stars: 11 - Forks: 0

BookOwl/type-inference

Hindley Milner Type Inference in Rust

Language: Rust - Size: 57.6 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 11 - Forks: 3

neighbour-hoods/rep_lang

a language for Cultural Articulation

Language: Rust - Size: 288 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 3

bynect/algorithm-w

Type inference implementation in OCaml using Algorithm W

Language: OCaml - Size: 58.6 KB - Last synced at: 4 months ago - Pushed at: almost 4 years ago - Stars: 10 - Forks: 1

zdimension/hm-infer-scheme

Hindley-Milner type inference in Scheme, for Scheme

Language: Racket - Size: 11.7 KB - Last synced at: 20 days ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 0

Jaimeloeuf/SS

SimpleScript, A Simpler Programming Language (WIP)

Language: Rust - Size: 576 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 0

kvverti/rusty-lavender

The third iteration of the Lavender programming language, implemented in Rust.

Language: Rust - Size: 248 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 0

aedans/Hindley-Milner

Kotlin Hindley-Milner type inference with Arrow

Language: Kotlin - Size: 123 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 8 - Forks: 1

moea/types

Type System Modeling in Clojure

Language: Clojure - Size: 50.8 KB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 6 - Forks: 0

lctr/wysk

A statically typed functional language with type inference, ad-hoc polymorphism, and an extensible operator syntax. Influenced by Rust, ML, and Haskell.

Language: Rust - Size: 1.11 MB - Last synced at: 11 days ago - Pushed at: almost 3 years ago - Stars: 6 - Forks: 1

zdimension/hm-infer-rs

Hindley-Milner type inference for Scheme, in Rust

Language: Rust - Size: 46.9 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0

jmackie/hindley-milner

🧐 Another Hindley-Milner implementation in Haskell

Language: Haskell - Size: 6.84 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 0

csabahruska/dsl-experiment

Basic implementation of Hindley-Milner Type System and variants.

Language: Haskell - Size: 13.7 KB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0

brianberns/Znutar

A hobby language for the .NET platform that supports Hindley–Milner type inference.

Language: F# - Size: 311 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 4 - Forks: 0

azur1s/hm

A small type inference/checker for a small set of expressions

Language: Rust - Size: 17.6 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

mattpaletta/typecheck

Language agnostic type checking framework for language-implementers.

Language: C++ - Size: 371 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 2

BjoernLoetters/noocleus-one

A minimal functional programming language with type inference, algebraic data types and pattern matching

Language: Scala - Size: 29.3 KB - Last synced at: 22 days ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 0

jaredly/algorithm-j

a typescript version

Language: TypeScript - Size: 5.86 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0

Dnomyar/Hindley-Milner-Type-System

Implementation of Hindley-Milner type inference algorithm in Java

Language: Java - Size: 9.01 MB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 0

developedby/algorithm-w-rs

Simple implementation of Hindley-Milner type inference in Rust

Language: Rust - Size: 48.8 KB - Last synced at: 18 days ago - Pushed at: 12 months ago - Stars: 2 - Forks: 0

ravern/typical

A study of type systems

Language: Rust - Size: 65.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

petrizhang/carbon

A purely functional and statically typed programming language with HM type inference running on JVM.

Language: Scala - Size: 2.51 MB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

FP-BAUM/nuflo

Ñuflo is an interpreted functional-logic programming language based on the λU-Calculus.

Language: Haskell - Size: 1.58 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 3

ebresafegaga/mini

A mini ML like language to be used to in a simple calculator

Language: F# - Size: 190 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

JoergReinhardt/gatwd

Gophers All The Way Down

Language: Go - Size: 4.32 MB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0

rkoeninger/hindley_milner

Example implementation of the Hindley-Milner type system

Language: OCaml - Size: 19.5 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

joshrule/formal-systems-learning-rs

Rust simulations using 2AFC triads to learn formal systems as typed first-order term rewriting systems

Language: Rust - Size: 30.3 KB - Last synced at: 3 months ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 0

jakobknauer/hindley-milner

An implementation of Algorithm J for type inference in the Hindley-Milner type system, written in Rust

Language: Rust - Size: 51.8 KB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

ayaskovets/typesystems

programming language type systems implemented in Rust

Language: Rust - Size: 102 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

jiriklepl/Bachelor-Thesis-Defense

Check https://github.com/exaexa/simple-mff-slides for the template

Language: TeX - Size: 229 KB - Last synced at: 2 days ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

clementgarbay/HindleyMilner

Hindley-Milner Inference algorithm

Language: Java - Size: 9 MB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

ppgllrd/Hindley-Milner-Type-System

Monadic implementation of Hindley–Milner Type System

Language: Haskell - Size: 13.7 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0

tsuberim/fun

A purely fun-ctional language with amazing performance

Language: HTML - Size: 12.4 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

evermake/bs-thesis

Hindley-Milner-style Type Inference with Levels for Generic Abstract Syntax with Binders

Language: TeX - Size: 258 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

jontab/aoc-2024

Advent of Code, 2024, anyone?

Language: Python - Size: 46.9 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

geekya215/tsuki

which type do you want to get?

Language: Java - Size: 82 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

Lyce24/OCaml-lite-Interpreter-Design

The OCaml-lite interpreter is a streamlined tool for parsing and executing OCaml-lite programs, offering insights into programming language interpretation with a focus on simplicity and educational value.

Language: OCaml - Size: 22.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

imaqtkatt/tytyp

tanuky type checker

Language: Rust - Size: 16.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

ProgramingIsTheFuture/TypedLisp

Lisp but typed and it compiles to LLVM

Language: OCaml - Size: 7.81 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

roccojiang/ml-repl

A REPL for a bare-bones subset of ML, to illustrate Hindley-Milner type inference using Algorithm W

Language: Scala - Size: 45.9 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

notJoon/type_inference

make type inference system in python

Language: Python - Size: 2.93 KB - Last synced at: about 23 hours ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

arata-nvm/hyndley-milner 📦

Hindley–Milner type system written in Rust

Language: Rust - Size: 3.91 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

WhileTruu/type-inference-in-elm-playground

Playground for type inference in elm

Language: Elm - Size: 116 KB - Last synced at: 5 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

i10416/naivetypeinference

Naive Hindley-Miler Type Inference Impl

Language: Scala - Size: 14.6 KB - Last synced at: 5 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

joshrule/list-routine-learning-rs

Rust simulations using input/output examples to learn typed first-order term rewriting systems that perform list routines.

Language: Rust - Size: 7.31 MB - Last synced at: 2 days ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

zdimension/hm-infer-cs

Hindley-Milner type inference for Scheme, in C#

Language: C# - Size: 7.81 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

joshrule/polytype-rs Fork of lorepozo/polytype-rs

A polymorphic typing system, Hindley-Milner

Language: Rust - Size: 296 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1

emarzion/hm

Definitional interpreter for Hindley-Milner in Coq

Language: Coq - Size: 4.88 KB - Last synced at: 4 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

jiriklepl/Bachelor-Thesis-Text

Language: TeX - Size: 1.94 MB - Last synced at: 5 days ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

jiriklepl/thih Fork of AaronNGray/thih

Typing CHM in Haskell

Language: Haskell - Size: 459 KB - Last synced at: 5 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

jiriklepl/language-chm Fork of visq/language-c

Modified version parsing CHM

Language: Haskell - Size: 6.72 MB - Last synced at: 5 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0