#

type-inference

Here are 97 public repositories matching this topic...

davidhalter / jedi

Star

Awesome autocompletion, static analysis and refactoring library for python

refactoring python static-analysis auto-complete type-inference

Updated Jul 26, 2020
Python

vimeo / psalm

Star

A static analysis tool for finding errors in PHP applications

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

Updated Jul 29, 2020
PHP

sdiehl / write-you-a-haskell

Star

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

Updated Oct 20, 2019
Haskell

gluon-lang / gluon

Star

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

programming-language rust functional embeddable repl gluon type-inference

Updated Jul 29, 2020
Rust

JohnSundell / Codextended

Star

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

🦹‍♀️

swift type-inference json-parsing codable

Updated Jul 1, 2020
Swift

vriad / zod

Star

TypeScript-first schema validation with static type inference

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

Updated Jul 26, 2020
TypeScript

yinwang0 / pysonar2

Star

PySonar2: an advanced semantic indexer for Python

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

Updated May 19, 2020
Java

freshOS / Arrow

Star

🏹 Parse JSON with style

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

Updated May 15, 2020
Swift

ltcmelo / psychec

Star

C compiler frontend enabled with Haskel/ML-style type inference

c haskell cplusplus type-inference inference-engine

Updated Jun 27, 2020
C++

potigol / Potigol

Star

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

Updated Jun 21, 2020
Scala

yinwang0 / rubysonar

Star

an advanced semantic indexer for Ruby

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

Updated Nov 5, 2019
Java

ilya-klyuchnikov / tapl-scala

Star

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

programming-languages tapl type-checking type-inference

Updated Apr 15, 2020
Scala

tealang / tea

Star

Tea is a humanized programming language. Code less, Express more.

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

Updated Jul 22, 2020
PHP

murisi / L2

Star

A minimalist type-inferred programming language with procedural macro support

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

Updated Jan 6, 2020
Racket

zjhmale / Ntha

Star

The Ntha Programming Language

haskell lisp type-inference

Updated Nov 17, 2016
Haskell

Storyyeller / IntercalScript

Star

The IntercalScript programming language

programming-language type-inference

Updated Dec 12, 2019
Brainfuck

gvergnaud / ts-pattern

Star

🎨 A complete Pattern Matching library for TypeScript, with smart type inference.

typescript matching pattern pattern-matching inference ts type-inference typescript-pattern-matching

Updated Jul 21, 2020
TypeScript

brendanzab / rust-nbe-for-mltt

Star

Normalization by evaluation for Martin-Löf Type Theory with dependent records

rust dependent-types type-theory type-system type-inference unification type-checker bidirectional-typechecking debruijn-indices dependent-record-types dependent-records normalization-by-evaluation semantic-typechecking

Updated Jun 22, 2019
Rust

Ekdohibs / joujou

Star

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 functional-programming handlers type-inference continuations

Updated Dec 10, 2018
OCaml

MaxDesiatov / Typology

Star

Swift type checking and semantic analysis for developer tools

swift developer-tools type-checking type-system hindley-milner type-inference semantic-analysis type-checker semantic-analyzer

Updated Jul 3, 2020
Swift

cdiggins / heron-language

Star

A pure functional type-inferred language based on JavaScript

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

Updated May 27, 2020
HTML

zehaochen19 / vanilla-lang

Star

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

programming-language lambda-calculus polymorphism type-inference system-f higher-rank-types

Updated Jun 27, 2020
Haskell

dylan-profiler / visions

Star

Type System for Data Analysis in Python

python data-science data-analysis type-system type-inference

Updated Jul 28, 2020
Python

mbg / hindley-milner

Star

Template for Hindley-Milner based languages

language types hindley-milner type-inference unification

Updated May 16, 2016
Haskell

caterinaurban / Typpete

Star

python type-inference smt

Updated Sep 12, 2019
Python

MrVPlusOne / LambdaNet

Star

Probabilistic Type Inference using Graph Neural Networks

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

Updated Jul 21, 2020
TypeScript

cristianoc / REInfer

Star

Runtime Extended Inference for json data.

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

Updated Jul 18, 2020
Reason

Storyyeller / cubiml-demo

Star

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

programming-language type-inference

Updated Jul 25, 2020
Rust

iitalics / Opal

Star

Simple and powerful programming language with type inference

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

Updated Feb 17, 2017
C++

lucasem / polytype-rs

Star

A Hindley-Milner polymorphic typing system

types polymorphism hindley-milner type-inference

Updated Dec 27, 2019
Rust

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."

You can’t perform that action at this time.