Topic: "algorithm-j"
jaredly/algorithm-j
a typescript version
Language: TypeScript - Size: 5.86 KB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0
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: 10 days ago - Pushed at: 10 days ago - Stars: 1 - Forks: 0
geekya215/tsuki
which type do you want to get?
Language: Java - Size: 82 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
