An open API service providing repository metadata for many open source software ecosystems.

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