type-inference

Open-source projects categorized as type-inference
Edit details
Language: + Rust + TypeScript + Python + PHP + Haskell + Swift + C++ + Scala + Java + Brainfuck + F#
Topics: TypeScript Static Analysis programming-language hindley-milner Python
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured

Top 23 type-inference Open-Source Projects

  • zod

    TypeScript-first schema validation with static type inference

    • Project mention: Simplifying Form Validation with Zod and React Hook Form | dev.to | 2024-05-04

    [Zod Documentation](https://zod.dev/) [Zod Error Handling](https://zod.dev/ERROR_HANDLING?id=error-handling-in-zod) [React-Hook-Form Documentation](https://react-hook-form.com/get-started) [Hookform Resolvers](https://www.npmjs.com/package/@hookform/resolvers)

  • ts-pattern

    🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.

    • Project mention: You Don't Need React | news.ycombinator.com | 2024-02-08

    ts-pattern has been a decent band-aid for the lack of native pattern matching, but obviously has downsides that could be avoided if it was built into the language.

    https://github.com/gvergnaud/ts-pattern

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • jedi

    Awesome autocompletion, static analysis and refactoring library for python

  • Psalm

    A static analysis tool for finding errors in PHP applications

    • Project mention: Laravel code-quality tools | dev.to | 2024-02-08

    Psalm is a static analysis tool for PHP. Much like PHPStan is to Larastan, Psalm has a plugin called Laravel Psalm that allows you to easily use it in Laravel projects.

  • write-you-a-haskell

    Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

    • Project mention: A decade of developing a programming language | news.ycombinator.com | 2023-11-14

    I highly recommend https://github.com/sdiehl/write-you-a-haskell as it is very developer friendly. It’s not complete, but it really gets the gears turning and will set you up for writing your own Hendley-Milner style type checker.

  • gluon

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

    • Project mention: Gluon is a static, type inferred and embeddabble language written in Rust | news.ycombinator.com | 2023-07-01

  • Codextended

    Extensions giving Swift's Codable API type inference super powers 🦸‍♂️🦹‍♀️

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  • pysonar2

    PySonar2: a semantic indexer for Python with interprocedual type inference

  • psychec

    A compiler frontend for the C programming language

  • abitype

    Strict TypeScript types for Ethereum ABIs

  • Arrow 🏹

    🏹 Parse JSON with style (by freshOS)

  • phpstan-dba

    PHPStan based SQL static analysis and type inference for the database access layer

  • potigol

    Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners

  • visions

    Type System for Data Analysis in Python

    • Project mention: Complete Beginner tasked with ML at work - where do I start | /r/learnmachinelearning | 2023-06-27

    This one works pretty well: https://github.com/dylan-profiler/visions

  • cubiml-demo

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

  • mlscript

    The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

  • IntercalScript

    The IntercalScript programming language

    • Project mention: The IntercalScript Programming Language | news.ycombinator.com | 2023-06-06

  • hypertypes

    Hypertypes - generic programming for heterogeneous recursive types

    • Project mention: My quest for the perfect AST representation | /r/haskell | 2023-05-23

    For the development of Lamdu I've embarked on a similar quest and ended up creating hypertypes after getting a helpful pointer in SO.

  • opentau

    Using Large Language Models for Gradual Type Inference

    • Project mention: Opentau – Using Large Language Models for Gradual Type Inference | news.ycombinator.com | 2023-08-13

  • infer-types

    A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.

  • Amun

    A Statically typed, compiled general purpose low level programming language built using C++ and LLVM Infrastructure framework designed to be simple and fast

  • enderpy

    WIP: Python Type Checker and LSP 🔎

  • boba

    A general purpose statically-typed concatenative programming language. (by glossopoeia)

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub 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).

type-inference related posts

  • Simplifying Form Validation with Zod and React Hook Form

    1 project | dev.to | 4 May 2024

  • From Flaky to Flawless: Angular API Response Management with Zod

    1 project | dev.to | 25 Apr 2024

  • TypeScript Essentials: Distinguishing Types with Branding

    2 projects | news.ycombinator.com | 24 Apr 2024

  • You can’t run away from runtime errors using TypeScript

    1 project | dev.to | 10 Apr 2024

  • Epic Next JS 14 Tutorial Part 4: How To Handle Login And Authentication in Next.js

    1 project | dev.to | 4 Apr 2024

  • Error handling in our form component for the NextAuth CredentialsProvider

    2 projects | dev.to | 1 Apr 2024

  • Zod: Zero to Hero - Chapter 4

    1 project | dev.to | 26 Mar 2024
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 7 May 2024
    Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →

Index

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

Project Stars
1 zod 30,477
2 ts-pattern 10,907
3 jedi 5,673
4 Psalm 5,440
5 write-you-a-haskell 3,304
6 gluon 3,117
7 Codextended 1,490
8 pysonar2 1,367
9 psychec 497
10 abitype 437
11 Arrow 🏹 384
12 phpstan-dba 244
13 potigol 242
14 visions 199
15 cubiml-demo 134
16 mlscript 133
17 IntercalScript 130
18 hypertypes 107
19 opentau 90
20 infer-types 73
21 Amun 60
22 enderpy 53
23 boba 48

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com