Rust type-inference

Open-source Rust projects categorized as type-inference

Top 5 Rust type-inference Projects

type-inference
  1. gluon

    A static, type inferred and embeddable language written in Rust. (by gluon-lang)

  2. InfluxDB

    InfluxDB high-performance time series database. Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.

    InfluxDB logo
  3. cubiml-demo

    A simple ML-like programming language with subtyping and full type inference.

  4. opentau

    Using Large Language Models for Repo-wide Type Prediction

  5. enderpy

    Experimental Python Type Checker and LSP 🔎

  6. hm-infer-rs

    Hindley-Milner type inference for Scheme, in Rust

  7. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Rust type-inference discussion

Log in or Post with

Rust type-inference related posts

  • Opentau – Using Large Language Models for Gradual Type Inference

    1 project | news.ycombinator.com | 13 Aug 2023
  • Gluon is a static, type inferred and embeddabble language written in Rust

    1 project | news.ycombinator.com | 1 Jul 2023
  • Recursive type checking

    1 project | /r/ProgrammingLanguages | 2 May 2023
  • Anyone working on AI/ML projects?

    1 project | /r/NEU | 8 Feb 2023
  • Zod — валидация и вывод типов на основании схемы данных

    2 projects | dev.to | 23 Jan 2023
  • Gluon: A New Node.js Framework to Create Desktop Apps

    2 projects | news.ycombinator.com | 2 Jan 2023
  • Gluon: A static, type inferred and embeddable language written in Rust

    1 project | news.ycombinator.com | 15 Apr 2022
  • A note from our sponsor - InfluxDB
    influxdata.com | 19 Apr 2025
    Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems. Learn more →

Index

What are some of the best open-source type-inference projects in Rust? This list will help you:

# Project Stars
1 gluon 3,294
2 cubiml-demo 172
3 opentau 105
4 enderpy 83
5 hm-infer-rs 5

Sponsored
InfluxDB high-performance time series database
Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.
influxdata.com

Did you know that Rust is
the 5th most popular programming language
based on number of references?