Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with hindley-milner

A curated list of projects in awesome lists tagged with hindley-milner .

https://github.com/alpaca-lang/alpaca

Functional programming inspired by ML for the Erlang VM

alpaca erlang erlang-vm hindley-milner ml statically-typed

Last synced: 16 Dec 2024

https://github.com/quchen/articles

Miscellaneous articles. The readme is the table of contents.

articles haskell hindley-milner tutorials

Last synced: 16 Dec 2024

https://github.com/xodio/hm-def

Runtime type checking for JS with Hindley Milner signatures

functional-programming hindley-milner invariant javascript type-checking

Last synced: 18 Dec 2024

https://github.com/7sharp9/write-you-an-inference-in-fsharp

Different type inference algorithms implemented in F#

fsharp hindley-milner polymorphism typeinference typesystems

Last synced: 01 Nov 2024

https://github.com/murisi/L2

A minimalist type-inferred programming language with procedural macro support

c hindley-milner lisp longjmp macros meta-programming programming-language s-expressions scheme setjmp type-inference unsafe

Last synced: 18 Nov 2024

https://github.com/siraben/mini-haskell

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

c combinatory-logic compiler graph-reduction haskell hindley-milner parser-combinators

Last synced: 22 Oct 2024

https://github.com/0b01/tensorscript

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

dsl hindley-milner neural-network pipes-operator pytorch

Last synced: 13 Nov 2024

https://github.com/lorepozo/polytype-rs

A Hindley-Milner polymorphic typing system

hindley-milner polymorphism type-inference types

Last synced: 15 Nov 2024

https://github.com/mbg/hindley-milner

Template for Hindley-Milner based languages

hindley-milner language type-inference types unification

Last synced: 22 Oct 2024

https://github.com/xodio/hm-parser

A parser for Hidnley Milner notations

fp functional-programming hindley-milner parser

Last synced: 08 Nov 2024

https://github.com/ymyzk/lambda-dti

Interpreter of the ITGL with dynamic type inference

dune functional-programming gradual-typing hindley-milner interpreter ocaml repl type-inferece

Last synced: 27 Oct 2024

https://github.com/remexre/evaltrees

A simple term-rewriting interpreter that displays intermediate expressions.

education hindley-milner interpreter rust

Last synced: 05 Nov 2024

https://github.com/wdamron/poly

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

algorithm-w hindley-milner type-inference type-system type-theory

Last synced: 12 Nov 2024

https://github.com/zdimension/hm-infer-scheme

Hindley-Milner type inference in Scheme, for Scheme

hindley-milner racket scheme type-inference

Last synced: 10 Dec 2024

https://github.com/csabahruska/dsl-experiment

Basic implementation of Hindley-Milner Type System and variants.

functional-programming haskell hindley-milner parser type-checker

Last synced: 14 Oct 2024

https://github.com/zdimension/hm-infer-rs

Hindley-Milner type inference for Scheme, in Rust

hindley-milner rust scheme type-inference

Last synced: 10 Dec 2024

https://github.com/azur1s/hm

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

hindley-milner rust type-checking type-inference

Last synced: 10 Dec 2024

https://github.com/bynect/algorithm-w

Type inference implementation in OCaml using Algorithm W

functional-language functional-programming hindley-milner ocaml type-inference type-system

Last synced: 19 Nov 2024

https://github.com/joshrule/formal-systems-learning-rs

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

hindley-milner learning program-induction rust science simulation term-rewriting

Last synced: 16 Nov 2024

https://github.com/jiriklepl/bachelor-thesis-defense

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

bachelor-thesis beamer c compiler haskell hindley-milner mff-uk tex

Last synced: 05 Dec 2024

https://github.com/jiriklepl/Bachelor-Thesis-Defense

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

bachelor-thesis beamer c compiler haskell hindley-milner mff-uk tex

Last synced: 23 Oct 2024

https://github.com/developedby/algorithm-w-rs

Simple implementation of Hindley-Milner type inference in Rust

algorithm-w hindley-milner rust type-inference

Last synced: 26 Nov 2024

https://github.com/zdimension/hm-infer-cs

Hindley-Milner type inference for Scheme, in C#

csharp hindley-milner scheme type-inference

Last synced: 10 Dec 2024

https://github.com/i10416/naivetypeinference

Naive Hindley-Miler Type Inference Impl

hindley-milner scala type-inference

Last synced: 13 Nov 2024

https://github.com/jiriklepl/bachelor-thesis-stuff

Stuff for the Bachelor Thesis repository

bachelor-thesis c hindley-milner lambda-calculus mff-uk

Last synced: 05 Dec 2024

https://github.com/bagnalla/pcf2

PCF with Hindley-Milner type inference.

haskell hindley-milner interpreter lambda-calculus

Last synced: 20 Nov 2024

https://github.com/emarzion/hm

Definitional interpreter for Hindley-Milner in Coq

coq hindley-milner interpreter

Last synced: 06 Nov 2024

https://github.com/arata-nvm/hyndley-milner

Hindley–Milner type system written in Rust

hindley-milner rust

Last synced: 11 Nov 2024