Awesome autocompletion, static analysis and refactoring library for python
-
Updated
Sep 28, 2020 - Python
#
type-inference
Here are 101 public repositories matching this topic...
A static analysis tool for finding errors in PHP applications
-
Updated
Oct 15, 2020 - PHP
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 1, 2020 - Haskell
A static, type inferred and embeddable language written in Rust.
-
Updated
Sep 24, 2020 - Rust
TypeScript-first schema validation with static type inference
-
Updated
Oct 11, 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
swift
ios
json
simple
mapping
arrow
micro-framework
decoding
objectmapper
swiftyjson
unbox
type-inference
json-parsing
freshos
-
Updated
Sep 23, 2020 - Swift
C compiler frontend enabled with Haskel/ML-style type inference
-
Updated
Aug 28, 2020 - C++
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
an advanced semantic indexer for Ruby
-
Updated
Nov 5, 2019 - Java
Code from the book "Types and Programming Languages" in Scala
-
Updated
Apr 15, 2020 - Scala
Tea is a humanized programming language. Code less, Express more.
-
Updated
Oct 10, 2020 - PHP
typescript
matching
pattern
pattern-matching
inference
ts
type-inference
typescript-pattern-matching
-
Updated
Sep 5, 2020 - TypeScript
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
Oct 10, 2020 - Racket
The IntercalScript programming language
-
Updated
Aug 30, 2020 - Brainfuck
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
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.
-
Updated
Oct 3, 2020 - Rust
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
A pure functional type-inferred language based on JavaScript
-
Updated
May 27, 2020 - HTML
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
-
Updated
Jun 27, 2020 - Haskell
Type System for Data Analysis in Python
-
Updated
Oct 14, 2020 - Python
Template for Hindley-Milner based languages
-
Updated
May 16, 2016 - Haskell
-
Updated
Sep 12, 2019 - Python
Probabilistic Type Inference using Graph Neural Networks
-
Updated
Oct 9, 2020 - TypeScript
Runtime Extended Inference for json data.
-
Updated
Sep 11, 2020 - Reason
A Hindley-Milner polymorphic typing system
-
Updated
Dec 27, 2019 - Rust
Simple and powerful programming language with type inference
-
Updated
Feb 17, 2017 - C++
Improve this page
Add a description, image, and links to the type-inference topic page so that developers can more easily learn about it.
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."