11 results found Sort:
- Filter by Primary Language:
- Rust (3)
- Haskell (2)
- F# (1)
- JavaScript (1)
- OCaml (1)
- C++ (1)
- Swift (1)
- Erlang (1)
- +
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Created
2015-01-05
299 commits to master branch, last one 7 years ago
Functional programming inspired by ML for the Erlang VM
Created
2016-01-28
883 commits to main branch, last one 5 years ago
Miscellaneous articles. The readme is the table of contents.
Created
2013-02-07
452 commits to master branch, last one about a year ago
Runtime type checking for JS with Hindley Milner signatures
Created
2017-02-17
86 commits to master branch, last one 5 years ago
Different type inference algorithms implemented in F#
Created
2018-02-15
98 commits to master branch, last one 3 years ago
Swift type checking and semantic analysis for developer tools
Created
2019-04-18
91 commits to main branch, last one 2 years ago
A Hindley-Milner polymorphic typing system
Created
2018-02-15
173 commits to main branch, last one about a year ago
hindley-milner algorithm
Created
2023-01-17
53 commits to main branch, last one about a year ago
shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
Created
2018-04-07
123 commits to master branch, last one 6 years ago
Playing with type systems
Created
2021-10-15
29 commits to main branch, last one 3 years ago
A statically-typed strictly-evaluated garbage-collected readable programming language.
Created
2019-04-29
1,041 commits to master branch, last one 5 months ago