GitHub topics: algorithm-j
jakobknauer/hindley-milner
An implementation of Algorithm J for type inference in the Hindley-Milner type system, written in Rust
Language: Rust - Size: 43 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 0
geekya215/tsuki
which type do you want to get?
Language: Java - Size: 82 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
jaredly/algorithm-j
a typescript version
Language: TypeScript - Size: 5.86 KB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0
