Here are
106 public repositories
matching this topic...
Awesome autocompletion, static analysis and refactoring library for python
Updated
Dec 26, 2020
Python
A static analysis tool for finding errors in PHP applications
Updated
Oct 30, 2020
Haskell
A static, type inferred and embeddable language written in Rust.
Updated
Dec 25, 2020
Rust
TypeScript-first schema validation with static type inference
Updated
Dec 15, 2020
TypeScript
Extensions giving Swift's Codable API type inference super powers 🦸♂️ 🦹♀️
Updated
Jul 1, 2020
Swift
PySonar2: an advanced semantic indexer for Python
Updated
Oct 13, 2020
Java
Updated
Sep 23, 2020
Swift
C compiler frontend enabled with Haskel/ML-style type inference
🎨 A complete Pattern Matching library for TypeScript, with smart type inference.
Updated
Dec 22, 2020
TypeScript
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
Updated
Jun 21, 2020
Scala
an advanced semantic indexer for Ruby
Code from the book "Types and Programming Languages" in Scala
Updated
Nov 14, 2020
Scala
Tea is a humanized programming language. Code less, Express more.
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
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
A simple ML-like programming language with subtyping and full type inference.
Swift type checking and semantic analysis for developer tools
Updated
Jul 3, 2020
Swift
A pure functional type-inferred language based on JavaScript
Updated
May 27, 2020
HTML
Type System for Data Analysis in Python
Updated
Nov 28, 2020
Python
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Updated
Dec 1, 2020
Haskell
Probabilistic Type Inference using Graph Neural Networks
Updated
Dec 25, 2020
TypeScript
Template for Hindley-Milner based languages
Updated
May 16, 2016
Haskell
Updated
Sep 12, 2019
Python
Runtime Extended Inference for json data.
Updated
Dec 12, 2020
Reason
A Hindley-Milner polymorphic typing system
Updated
Dec 27, 2019
Rust
Simple and powerful programming language with type inference
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.