Type Inference
The Hindley Milner Type Inference Algorithm
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Yao.jl | 860 | 3 months ago | 1 | December 04, 2019 | 42 | other | Julia | |||
| Extensible, Efficient Quantum Algorithm Design for Humans. | ||||||||||
| Type Inference | 295 | 7 years ago | 5 | OCaml | ||||||
| The Hindley Milner Type Inference Algorithm | ||||||||||
| Dyna | 132 | 6 years ago | 53 | other | Haskell | |||||
| Dyna2 compiler and REPL | ||||||||||
| Gajure | 63 | 10 years ago | 1 | October 05, 2015 | 1 | Clojure | ||||
| A framework for implementing genetic algorithms in Clojure. | ||||||||||
| Coding Challenges | 37 | 2 years ago | 11 | JavaScript | ||||||
| solutions to coding challenges and algorithm and data structure building blocks | ||||||||||
| Snergly | 21 | 2 years ago | epl-1.0 | Clojure | ||||||
| Maze algorithms in Clojure (from Jamis Buck's "Mazes for Programmers" book) | ||||||||||
| Idris Patricia | 21 | 3 years ago | 7 | mit | Idris | |||||
| 🌋 Idris implementation of patricia tree | ||||||||||
| Cgal.jl | 17 | 3 years ago | mit | Julia | ||||||
| CGAL meets Julia | ||||||||||
| K Means | 9 | 10 years ago | 1 | mit | Clojure | |||||
| Playing around with Clojure and k-means. | ||||||||||
| Micropython Aes | 8 | 7 years ago | 1 | mit | Python | |||||
Alternatives To Type InferenceSelect To Compare
Alternative Project Comparisons
Popular Algorithms Projects
Popular Repl Projects
Popular Computer Science Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Algorithms
Types
Ocaml
Repl
Calculus