python/typing

Python static typing home. Hosts the documentation and a user help forum.

Language: Python - Size: 3.45 MB - Last synced at: 1 day ago - Pushed at: 5 days ago - Stars: 1,681 - Forks: 266

orsinium-labs/mypy-baseline

Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.

Language: Python - Size: 481 KB - Last synced at: 4 days ago - Pushed at: 3 months ago - Stars: 69 - Forks: 13

ymyzk/lambda-dti

Interpreter of the ITGL with dynamic type inference

Language: OCaml - Size: 220 KB - Last synced at: 1 day ago - Pushed at: 6 months ago - Stars: 21 - Forks: 4

Laythe-lang/Laythe

A gradually typed language originally based on the crafting interpreters series

Language: Rust - Size: 32.4 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 64 - Forks: 4

ashton314/rhombus_dyn

Dynamic annotation for Rhombus

Language: Racket - Size: 14.6 KB - Last synced at: 6 days ago - Pushed at: 11 months ago - Stars: 4 - Forks: 0

brendanberg/L

The L Programming Language

Language: JavaScript - Size: 940 KB - Last synced at: 17 days ago - Pushed at: over 2 years ago - Stars: 20 - Forks: 1

emacs-elsa/Elsa

Emacs Lisp Static Analyzer and gradual type system.

Language: Emacs Lisp - Size: 1.75 MB - Last synced at: 5 months ago - Pushed at: 6 months ago - Stars: 657 - Forks: 27

Gradual-Typing/LambdaIFCStar

The Agda mechanization of a gradual security-typed programming language with general mutable references.

Language: Agda - Size: 971 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 4 - Forks: 1

kesh-lang/kesh

A simple little programming language that could one day compile to JavaScript.

Language: JavaScript - Size: 463 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 22 - Forks: 0

Gradual-Typing/Grift

A compiler for the gradually typed lambda calculus

Language: C - Size: 32.8 MB - Last synced at: 5 months ago - Pushed at: almost 4 years ago - Stars: 75 - Forks: 11

gradia-lang/gradia

Lisp like programming language that can give type annotation for gradual typing

Language: Rust - Size: 102 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 5 - Forks: 0

ymyzk/lambda-rti 📦

Interpreter of the ITGL with runtime type inference

Language: OCaml - Size: 192 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0

khayyamsaleem/gradual-typing

an implementation of gradual typing in mit-scheme

Language: Scheme - Size: 893 KB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 9 - Forks: 0

utopia-group/TypeT5

Seq2seq Type Inference using Static Analysis and CodeT5

Language: Jupyter Notebook - Size: 3.38 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 24 - Forks: 8

DIJamner/paramblame Fork of dbp/funtal

Artifact for ICFP paper "Theorems for Free for Free"

Language: JavaScript - Size: 450 KB - Last synced at: over 1 year ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 1

qexk/intellipath

IntelliSense-like autocompletion features for string literals in TypeScript

Language: TypeScript - Size: 29.3 KB - Last synced at: 20 days ago - Pushed at: about 4 years ago - Stars: 6 - Forks: 0

ct-gradual-typing/Grady

A Gradually Typed Functional Programming Language with Bounded Quantification

Language: Haskell - Size: 4.22 MB - Last synced at: almost 2 years ago - Pushed at: over 8 years ago - Stars: 7 - Forks: 0

staceytay/gradual-scheme

A simple implementation of the Gradually Typed Lambda Calculus with a Scheme-like syntax in OCaml.

Language: OCaml - Size: 7.81 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

stereobooster/diamondback-ruby

⛑ Fork of diamondback-ruby

Language: Ruby - Size: 2.31 MB - Last synced at: 5 months ago - Pushed at: about 7 years ago - Stars: 70 - Forks: 3

gyson/ex_type

A type checker for Elixir

Language: Elixir - Size: 147 KB - Last synced at: 20 days ago - Pushed at: over 2 years ago - Stars: 33 - Forks: 1

m4xine/lish-old 📦

Gradually typed shell and scripting language

Language: C - Size: 204 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 0

Gradual-Typing/benchmarks

Collection of benchmarks for gradually-typed languages

Language: Racket - Size: 1.92 MB - Last synced at: 11 months ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 2

ComputationalReflection/StaDyn

A hybrid static and dynamic typing language for .NET

Language: C# - Size: 6.79 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1

deyaaeldeen/monotonic

Monotonic References for Gradual Typing in Agda

Language: Agda - Size: 257 KB - Last synced at: 5 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

Vlad-Shcherbina/hintcheck

Language: Python - Size: 20.5 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

tpuschel/duality

The Duality Programming Language

Language: C - Size: 2.1 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

erszcz/gradualizer-talk

Slides and examples for a Krakow Erlang/Elixir Meetup talk on Gradualizer

Language: HTML - Size: 435 KB - Last synced at: 6 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 2

pedroangelo/gradual-intersection-types

A gradually typed language with intersection types

Language: Haskell - Size: 2.46 MB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

ct-gradual-typing/gradual-linear-typing

Mixed Gradual and Linear Typing for Functional Languages: Terms and Models

Language: TeX - Size: 150 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

ct-gradual-typing/Papers

The Combination of Dynamic and Static Typing from a Categorical Perspective

Language: TeX - Size: 38.4 MB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 10 - Forks: 0

sami-badawi/visionql

Queries to computer vision json results in TypeScript

Language: TypeScript - Size: 134 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

pedroangelo/interpreter

An interpreter written in Haskell for a gradually typed functional language

Language: Haskell - Size: 175 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 4 - Forks: 0

jack-williams/tpd

The Prime Directive

Language: TypeScript - Size: 1.25 MB - Last synced at: 9 months ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

marcoonroad/gradient

Gradual Typing encoding for Scala.

Language: Scala - Size: 22.5 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

overlogged/refinement.js

Yet another contract library for JavaScript which benefits from static analyzers such as TAJS.

Language: JavaScript - Size: 10.6 MB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 5 - Forks: 0

ilyasergey/Gradual-Ownership

Experimental implementation of Gradual Ownership Types for Java 1.4

Size: 1.41 MB - Last synced at: 7 days ago - Pushed at: over 13 years ago - Stars: 1 - Forks: 0