GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ hindley-milner
Top 6 hindley-milner open source projects
Write You A Haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
✭ 3,064
haskell
CSS
ocaml
python
javascript
Yacc
compiler
functional-programming
book
evaluation
lambda-calculus
type-theory
type-checking
pdf-book
haskel
type-system
functional-language
hindley-milner
type-inference
intermediate-representation
Ruscall
自作言語処理系のコンパイラ制作
✭ 41
rust
Rascal
compiler
llvm
hindley-milner
Typology
Swift type checking and semantic analysis for developer tools
✭ 68
swift
shell
developer-tools
type-checking
type-system
hindley-milner
type-inference
semantic-analysis
type-checker
semantic-analyzer
lambda-dti
Interpreter of the ITGL with dynamic type inference
✭ 18
ocaml
Dockerfile
interpreter
functional-programming
repl
hindley-milner
dune
gradual-typing
type-inferece
tensorscript
shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
✭ 48
rust
python
neural-network
pytorch
hindley-milner
pipes-operator
ftor
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
✭ 44
javascript
functional-programming
tuples
composition
immutability
recursion
higher-order-functions
polymorphism
currying
type-system
lazy-evaluation
hindley-milner
purity
sum-types
unification
combinators
parametric-polymorphism
tagged-unions
scott-encoding
row-polymorphism
1-6
of
6
hindley-milner projects