Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with type-inference

A curated list of projects in awesome lists tagged with type-inference .

https://github.com/colinhacks/zod

TypeScript-first schema validation with static type inference

runtime-validation schema-validation static-types type-inference typescript

Last synced: 04 May 2026

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

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

branching conditions exhaustive inference javascript matching pattern pattern-matching ts type-inference typescript

Last synced: 14 May 2025

https://github.com/davidhalter/jedi

Awesome autocompletion, static analysis and refactoring library for python

auto-complete python refactoring static-analysis type-inference

Last synced: 12 May 2025

https://github.com/vimeo/psalm

A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications

hacktoberfest php security-analysis static-analysis taint-analysis type-inference

Last synced: 13 May 2025

https://github.com/gluon-lang/gluon

A static, type inferred and embeddable language written in Rust.

compiler embeddable functional gluon language programming-language repl rust type-inference

Last synced: 14 May 2025

https://github.com/johnsundell/codextended

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

codable json-parsing swift type-inference

Last synced: 15 May 2025

https://github.com/JohnSundell/Codextended

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

codable json-parsing swift type-inference

Last synced: 26 Mar 2025

https://github.com/yinwang0/pysonar2

PySonar2: a semantic indexer for Python with interprocedual type inference

code-analysis code-intelligence code-search index python static-analysis type-inference

Last synced: 15 May 2025

https://github.com/wevm/abitype

Strict TypeScript types for Ethereum ABIs

abi ethereum static-types type-inference types typescript web3

Last synced: 13 May 2025

https://github.com/anzellai/sky

Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.

compiler compiles-to-go elm elm-inspired fullstack functional-programming go haskell liveview lsp production-ready-application programming-language server-driven-ui sky sky-lang sky-language sse type-inference typescript

Last synced: 05 Jul 2026

https://github.com/sdiehl/typechecker-zoo

A menagerie of cute implementations of modern typechecking algorithms

compiler dependent-types type-inference type-system type-theory

Last synced: 19 Sep 2025

https://github.com/staabm/phpstan-dba

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

hacktoberfest php phpstan phpstan-extension query-validation static-analysis type-inference

Last synced: 14 May 2025

https://github.com/yinwang0/rubysonar

A semantic indexer for Ruby with interprocedual type inference

code-analysis code-index code-search ruby static-analysis type-inference

Last synced: 23 Sep 2025

https://github.com/ilya-klyuchnikov/tapl-scala

Code from the book "Types and Programming Languages" in Scala

programming-languages tapl type-checking type-inference

Last synced: 20 Aug 2025

https://github.com/hkust-taco/mlscript

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

functional-programming type-inference

Last synced: 23 Jul 2025

https://github.com/storyyeller/cubiml-demo

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

programming-language type-inference

Last synced: 05 Apr 2025

https://github.com/Storyyeller/cubiml-demo

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

programming-language type-inference

Last synced: 12 Apr 2025

https://github.com/storyyeller/intercalscript

The IntercalScript programming language

programming-language type-inference

Last synced: 05 Jan 2026

https://github.com/murisi/L2

A minimalist type-inferred programming language with procedural macro support

c hindley-milner lisp longjmp macros meta-programming programming-language s-expressions scheme setjmp type-inference unsafe

Last synced: 12 May 2025

https://github.com/murisi/l2

A minimalist type-inferred programming language with procedural macro support

c hindley-milner lisp longjmp macros meta-programming programming-language s-expressions scheme setjmp type-inference unsafe

Last synced: 06 Sep 2025

https://github.com/lamdu/hypertypes

Hypertypes - generic programming for heterogeneous recursive types

programming-language-development programming-languages type-checker type-inference

Last synced: 08 Apr 2025

https://github.com/GammaTauAI/opentau

Using Large Language Models for Repo-wide Type Prediction

ai llm openai rust type-inference typescript

Last synced: 04 Apr 2025

https://github.com/aether-lang-org/aether

A compiled actor-based programming language with type inference, designed for concurrent systems.

actor-model c compiler concurrency embedded-c message-passing open-source pattern-matching programming-language systems-programming type-inference wasm

Last synced: 13 Jun 2026

https://github.com/ekdohibs/joujou

A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.

algebraic-effects compiler continuations functional-programming handlers type-inference

Last synced: 18 Mar 2025

https://github.com/nicolasmd87/aether

A compiled actor-based programming language with type inference, designed for concurrent systems.

actor-model c compiler concurrency embedded-c message-passing open-source pattern-matching programming-language systems-programming type-inference wasm

Last synced: 23 Apr 2026

https://github.com/glyphack/enderpy

WIP: Experimental Python Type Checker and LSP 🔎

auto-com auto-complete language-server lsp python rust static-analysis type-checker type-inference

Last synced: 04 Apr 2025

https://github.com/orsinium-labs/infer-types

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

annotations code-formatter code-generation mypy pyannotate python python3 pytype static-analysis type-annotations type-checking type-inference typing

Last synced: 05 Oct 2025

https://github.com/amrdeveloper/amun

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

compiler cpp language llvm low-level-programming programming-language static-type-system system-programming type-inference

Last synced: 22 Mar 2025

https://github.com/lorepozo/polytype-rs

A Hindley-Milner polymorphic typing system

hindley-milner polymorphism type-inference types

Last synced: 08 Apr 2026

https://github.com/cdiggins/heron-language

A pure functional type-inferred language based on JavaScript

3d 3d-graphics heron javascript language programming-language type-inference typed-language webgl

Last synced: 27 Apr 2025

https://github.com/glossopoeia/boba

A general purpose statically-typed concatenative programming language.

compiler concatenative language programming-language type-inference

Last synced: 18 Feb 2026

https://github.com/mrvplusone/lambdanet

Probabilistic Type Inference using Graph Neural Networks

graph-neural-networks iclr2020 pointer-networks type-inference

Last synced: 23 Mar 2025

https://github.com/denostack/safen

Safen is a top-performing validation and sanitization library with easy type inference.

deno sanitization type-inference typescript validation

Last synced: 10 Apr 2025

https://github.com/mbg/hindley-milner

Template for Hindley-Milner based languages

hindley-milner language type-inference types unification

Last synced: 30 Apr 2025

https://github.com/kekyo/typeinferencer

Minimal type inference Algorithm W and Algorithm M in F#

algorithm-m algorithm-w ast fsharp functional type-inference

Last synced: 26 Mar 2025

https://github.com/robertkleffner/wort

A core concatenative programming language with variables and first-rank polymorphic type inference

concatenative racket-lang type-inference

Last synced: 21 Feb 2026

https://github.com/elite-libs/DataAnalyzer.app

✨🚀 DataAnalyzer.app - Convert JSON/CSV to Typed Data Interfaces - Automatically!

analyzer auto-typed code-generation csv data-insights generator json parser-generator schema schema-generator type-inference

Last synced: 18 Jun 2026

https://github.com/cu1ch3n/type-inference-zoo

🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/

functional-programming haskell programming-languages type-inference zoo

Last synced: 11 Apr 2025

https://github.com/iitalics/opal

Simple and powerful programming language with type inference

functional-programming programming-language static-typing type-inference

Last synced: 06 Apr 2025

https://github.com/saltudelft/many-types-4-py-dataset

ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference

benchmark clean dataset machine-learning manytypes4py msr mt4py python type-annotations type-checked type-inference visible-type-hints

Last synced: 01 Feb 2026

https://github.com/athos/type-infer

A Clojure utility to inspect static types inferred by the Clojure compiler

clojure macros static-types type-inference

Last synced: 09 Jul 2025

https://github.com/cristianoc/reinfer

Runtime Extended Inference for json data.

javascript json programming-language reason reasonml type-inference type-system

Last synced: 17 Oct 2025

https://github.com/yuzheng14/valype

Valype = Validate + Type. Automatically generates runtime validators from TypeScript type definitions.

farm rollup runtime-validation schema-validation static-types tsdown type-inference typecheck typechecker typescript unplugin validate validation validator vite webpack zod

Last synced: 30 Jun 2025

https://github.com/cristianoc/REInfer

Runtime Extended Inference for json data.

javascript json programming-language reason reasonml type-inference type-system

Last synced: 07 May 2025

https://github.com/wdamron/poly

Hindley-Milner type system with extensible records and variants, implemented in Go

algorithm-w hindley-milner type-inference type-system type-theory

Last synced: 30 Apr 2025

https://github.com/dinanathsj29/typescript-tutorial

A Typescript fundamentals tutorials for beginners, An introduction & step-by-step guide to Typescript language latest features in combination with ECMAScript 5,6,7

access-modifiers classes const decorators ecmascript enum enumeration es5 es6 es7 inheritance interfaces let tuples type-inference type-system typescript typescript-framework typescript-library

Last synced: 27 Jul 2025

https://github.com/jolin-io/isdef.jl

maintainable type inference

julia julialang type-inference

Last synced: 07 May 2025

https://github.com/genivia/husky

🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax

functional-language hindley-milner lambda-calculus lazy-evaluation type-inference

Last synced: 20 Jan 2026

https://github.com/graphext/lector

A fast reader for messy CSV files with optional type inference.

apache-arrow csv data-types parser python type-inference

Last synced: 16 Jan 2026

https://github.com/ocramz/thih

typing haskell in haskell

compilers functional-programming type-inference

Last synced: 14 Apr 2025

https://github.com/remulang/proud

The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as records, row polymorphisms, derived from ML's concise syntax

first-class-polymorphisms interactively-static-checking programming-language row-polymorphism traits type-inference

Last synced: 12 Mar 2026

https://github.com/szktty/trompe

A strongly-typed handy scripting language with type inference

command-line-tool scripting-language static-typing strongly-typed swift type-inference

Last synced: 23 Aug 2025

https://github.com/romelperez/yrel

JavaScript JSON schema validation with TypeScript type inference.

data-validation schema-validation type-inference typescript

Last synced: 17 Mar 2025

https://github.com/upstat-io/ori-lang

A statically-typed, expression-based language with declarative patterns, mandatory testing, and explicit effects.

compiler effect-system functional-programming pattern-matching programming-language rust static-typing testing type-inference

Last synced: 13 Apr 2026

https://github.com/michallepicki/tibe

Ahnfelt's Type Inference by Example but implemented in Gleam

gleam type-inference typechecking types

Last synced: 12 Feb 2026

https://github.com/bynect/algorithm-w

Type inference implementation in OCaml using Algorithm W

functional-language functional-programming hindley-milner ocaml type-inference type-system

Last synced: 20 Oct 2025

https://github.com/ashton314/lambda-x86

Lambda Calculus compiler targeting x86, written in Racket

bidirectional-typechecking compiler lambda-calculus racket type-checker type-inference x86

Last synced: 05 Jan 2026

https://github.com/zdimension/hm-infer-scheme

Hindley-Milner type inference in Scheme, for Scheme

hindley-milner racket scheme type-inference

Last synced: 26 Feb 2026

https://github.com/orsinium-labs/astypes

Python library to infer types for AST nodes. Make the most powerful Python linters and formatters!

annotations ast code-formatter formatter inference linter mypy python python3 static-analysis type-inference typeshed

Last synced: 11 Aug 2025

https://github.com/lawvs/zod-compare

⚖️ Compare two Zod schemas recursively.

runtime-validation schema-validation static-types type-inference typescript zod

Last synced: 14 Feb 2026

https://github.com/martianoff/gala

GALA (Go Alternative LAnguage) -- a modern functional programming language that transpiles to Go. Sealed types, pattern matching, immutability by default, monads (Option, Either, Try, Future), and full Go interop. Built with Go, ANTLR4, Bazel and Claude.

algebraic-data-types bazel compiler compilers functional-programming gala go golang hacktoberfest immutability language language-design monads pattern-matching programming-language scala sealed-types transpiler type-inference

Last synced: 15 May 2026

https://github.com/inkydragon/microml.jl

A minimal ML, type-inferred, interpreted in 1000~ sloc.

ml type-inference

Last synced: 02 Jan 2026

https://github.com/pfalcon/picompile

Pico Compile, factored out "numpile" project, a small JIT compiler for Python with type inference

jit-compiler python type-inference

Last synced: 26 Aug 2025

https://github.com/rohitkadhe/clickhouse-schema

Dynamic typescript type inference by writing clickhouse CREATE TABLE queries as schemas

clickhouse type-inference typescript

Last synced: 02 Apr 2026

https://github.com/coord-e/impl-outsidein

Toy implementation of type inference for GADTs and TypeFamilies

type-inference

Last synced: 12 May 2025

https://github.com/kevinwilde/type-system-workshop

Type system workshop for reactathon

static-types type-inference type-systems

Last synced: 11 Apr 2025

https://github.com/scale3-labs/clickhouse-schema

Dynamic typescript type inference by writing clickhouse CREATE TABLE queries as schemas

clickhouse type-inference typescript

Last synced: 03 Mar 2026

https://github.com/bynect/constraint-inference

OCaml implementation of a constraint-based bottom-up type inference algorithm

constraints type-checking type-inference type-system

Last synced: 20 Jun 2025

https://github.com/eliphatfs/typhon

Static type inference for python. (Suspended due to lack of meta in standard lib)

python transpiler type-inference

Last synced: 04 May 2025

https://github.com/zdimension/hm-infer-rs

Hindley-Milner type inference for Scheme, in Rust

hindley-milner rust scheme type-inference

Last synced: 08 Oct 2025

https://github.com/beenotung/cast.ts

Compose validation parsers with static type inference, makes it easy to handle data from RESTful API

api cast restful schema type-casting type-inference typescript validation zod

Last synced: 05 Sep 2025

https://github.com/azur1s/hm

A small type inference/checker for a small set of expressions

hindley-milner rust type-checking type-inference

Last synced: 13 Apr 2025

https://github.com/thoughtworksinc/typeof.scala

Create types from expressions

macros metaprogramming type-inference

Last synced: 12 May 2026

https://github.com/maxbarsukov/waddle

🦩 Object-oriented static-typing language

interpreter static-typing type-inference

Last synced: 19 Apr 2025

https://github.com/cu1ch3n/typ-how

A online playground to explore with type Inference algorithms

type-inference vite

Last synced: 06 Sep 2025

https://github.com/bjoernloetters/noocleus-one

A minimal functional programming language with type inference, algebraic data types and pattern matching

algebraic-data-types functional-programming hindley-milner let-polymorphism pattern-matching polymorphism scala type-check type-inference type-system

Last synced: 18 Mar 2025

https://github.com/jahfer/rubytie

Type inference engine for Ruby

ruby type-inference

Last synced: 25 Jan 2026

https://github.com/raviqqe/type-inference

Type inference algorithm with mutable data structures in Go

go type-inference

Last synced: 28 Mar 2025

https://github.com/ydah/zwgsl

Ruby-inspired shading language that compiles to WGSL and GLSL ES 3.0, with HM-style inference, pattern matching, an LSP server, and a WebGPU playground.

compiler glsl graphics-programming lsp playground programming-language shader shading-language type-inference webgpu wgsl zig

Last synced: 13 Jun 2026

https://github.com/edamame-x/xalid

TypeScript-first minimal schema validation for JSON

runtime-validation schema-validation static-types type-inference typescript

Last synced: 30 Oct 2025