Awesome autocompletion, static analysis and refactoring library for python
-
Updated
Aug 26, 2021 - Python
#
type-inference
Here are 120 public repositories matching this topic...
A static analysis tool for finding errors in PHP applications
-
Updated
Aug 27, 2021 - PHP
TypeScript-first schema validation with static type inference
-
Updated
Aug 23, 2021 - TypeScript
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
Jan 11, 2021 - Haskell
A static, type inferred and embeddable language written in Rust.
-
Updated
Jul 30, 2021 - Rust
typescript
matching
pattern
pattern-matching
inference
ts
conditions
type-inference
exhaustive
typescript-pattern-matching
-
Updated
Aug 21, 2021 - TypeScript
Extensions giving Swift's Codable API type inference super powers 🦸♂️ 🦹♀️
-
Updated
Apr 11, 2021 - Swift
PySonar2: an advanced semantic indexer for Python
-
Updated
Apr 26, 2021 - Java
A compiler frontend for the C programming language
-
Updated
Jun 26, 2021 - C++
swift
ios
json
simple
mapping
arrow
micro-framework
decoding
objectmapper
swiftyjson
unbox
type-inference
json-parsing
freshos
-
Updated
Jan 3, 2021 - Swift
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
-
Updated
Aug 18, 2021 - Scala
an advanced semantic indexer for Ruby
-
Updated
Apr 26, 2021 - Java
Code from the book "Types and Programming Languages" in Scala
-
Updated
Aug 20, 2021 - Scala
Tea is a humanized programming language. Code less, Express more.
-
Updated
Aug 25, 2021 - PHP
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 25, 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
Type System for Data Analysis in Python
-
Updated
Jul 28, 2021 - Python
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
Jun 18, 2021 - 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
Aug 10, 2021 - Swift
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
-
Updated
Dec 1, 2020 - Haskell
A pure functional type-inferred language based on JavaScript
-
Updated
May 27, 2020 - HTML
Probabilistic Type Inference using Graph Neural Networks
-
Updated
Aug 10, 2021 - Scala
Template for Hindley-Milner based languages
-
Updated
May 16, 2016 - Haskell
-
Updated
Sep 12, 2019 - Python
Knowledge Association with Hyperbolic Knowledge Graph Embeddings, EMNLP 2020
-
Updated
Mar 25, 2021 - Python
A Hindley-Milner polymorphic typing system
-
Updated
Jul 16, 2021 - Rust
Runtime Extended Inference for json data.
-
Updated
Aug 11, 2021 - Reason
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."