Here are
139 public repositories
matching this topic...
TypeScript-first schema validation with static type inference
Updated
May 25, 2022
TypeScript
Awesome autocompletion, static analysis and refactoring library for python
Updated
May 13, 2022
Python
Updated
Jan 11, 2021
Haskell
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
Updated
Apr 28, 2022
TypeScript
A static, type inferred and embeddable language written in Rust.
Updated
May 18, 2022
Rust
Extensions giving Swift's Codable API type inference super powers 🦸♂️ 🦹♀️
Updated
Apr 11, 2021
Swift
PySonar2: a semantic indexer for Python with interprocedual type inference
Updated
May 20, 2022
Java
A compiler frontend for the C programming language
Updated
Jan 3, 2021
Swift
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
Updated
Dec 13, 2021
Scala
A semantic indexer for Ruby with interprocedual type inference
Updated
May 20, 2022
Java
Code from the book "Types and Programming Languages" in Scala
Updated
Oct 22, 2021
Scala
Tea is a humanized programming language.
Type System for Data Analysis in Python
Updated
May 14, 2022
Python
A minimalist type-inferred programming language with procedural macro support
Updated
Oct 25, 2020
Racket
The IntercalScript programming language
Updated
Aug 30, 2020
Brainfuck
The Ntha Programming Language
Updated
Nov 17, 2016
Haskell
Hypertypes - generic programming for heterogeneous recursive types
Updated
Apr 4, 2022
Haskell
A simple ML-like programming language with subtyping and full type inference.
Updated
Oct 24, 2021
Rust
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Updated
Jun 22, 2019
Rust
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.
Updated
Dec 10, 2018
OCaml
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Updated
Dec 1, 2020
Haskell
Swift type checking and semantic analysis for developer tools
Updated
Mar 16, 2022
Swift
A pure functional type-inferred language based on JavaScript
Updated
Oct 12, 2021
HTML
Probabilistic Type Inference using Graph Neural Networks
Updated
Aug 10, 2021
Scala
Algorithm W and Algorithm M in F#
Template for Hindley-Milner based languages
Updated
Dec 7, 2021
Haskell
Updated
Sep 12, 2019
Python
Improve this page
Add a description, image, and links to the
type-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 the
type-inference
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.
Unsure if this is by design or a bug. If it is by design, it needs a better description - maybe something mentioning that the property is not necessary.
https://psalm.dev/r/26d7f24809