Movatterモバイル変換

Skip to content

#

type-inference

Here are 233 public repositories matching this topic...

Language:All

Filter by language

All233 TypeScript38 Haskell30 Rust23 OCaml20 Python18 Java10 Scala10 C++9 F#8 Go6

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

colinhacks /zod

TypeScript-first schema validation with static type inference

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

UpdatedDec 16, 2025
TypeScript

ts-pattern

gvergnaud /ts-pattern

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

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

UpdatedNov 17, 2025
TypeScript

davidhalter /jedi

Awesome autocompletion, static analysis and refactoring library for python

refactoring python static-analysis auto-complete type-inference

UpdatedNov 13, 2025
Python

vimeo /psalm

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

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

UpdatedDec 15, 2025
PHP

sdiehl /write-you-a-haskell

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

compiler functional-programming book lambda-calculus evaluation type-theory type pdf-book type-checking haskel type-system functional-language hindley-milner type-inference intermediate-representation

UpdatedJan 11, 2021
Haskell

gluon-lang /gluon

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

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

UpdatedDec 6, 2024
Rust

JohnSundell /Codextended

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

swift type-inference json-parsing codable

UpdatedApr 11, 2021
Swift

yinwang0 /pysonar2

PySonar2: a semantic indexer for Python with interprocedual type inference

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

UpdatedJul 12, 2025
Java

ltcmelo /psychec

A compiler frontend for the C programming language

c parser parsing compiler static-analysis program-analysis type-inference parsing-library compiler-frontend c-language clanguage language-semantics

UpdatedNov 9, 2025
C++

wevm /abitype

Strict TypeScript types for Ethereum ABIs

typescript types ethereum static-types abi web3 type-inference

UpdatedDec 15, 2025
TypeScript

freshOS /Arrow

🏹 Parse JSON with style

swift ios json simple mapping arrow micro-framework decoding objectmapper swiftyjson unbox type-inference json-parsing freshos

UpdatedSep 24, 2024
Swift

typechecker-zoo

sdiehl /typechecker-zoo

A menagerie of cute implementations of modern typechecking algorithms

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

UpdatedDec 10, 2025
Rust

staabm /phpstan-dba

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

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

UpdatedNov 20, 2025
PHP

potigol /potigol

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

language programming-language scala compiler functional-programming beginner-friendly type-inference portugues portuguese potigol hacktoberfest hacktoberfest2018 linguagem-potigol

UpdatedSep 19, 2025
Scala

dylan-profiler /visions

Type System for Data Analysis in Python

python data-science spark numpy pandas data-analysis type-system type-inference hacktoberfest

UpdatedFeb 1, 2025
Python

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

UpdatedDec 17, 2025
Scala

yinwang0 /rubysonar

A semantic indexer for Ruby with interprocedual type inference

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

UpdatedNov 15, 2022
Java

ilya-klyuchnikov /tapl-scala

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

programming-languages tapl type-checking type-inference

UpdatedOct 22, 2021
Scala

Storyyeller /cubiml-demo

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

programming-language type-inference

UpdatedDec 1, 2024
Rust

tealang /tea

Programming is like drinking tea.

programming-language tea type-inference strongly-typed modularization tealang

UpdatedJul 17, 2025
PHP

Improve this page

Add a description, image, and links to thetype-inference topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with thetype-inference topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp