gradual-typing
There are 34 repositories under gradual-typing topic.
python/typing
Python static typing home. Hosts the documentation and a user help forum.
emacs-elsa/Elsa
Emacs Lisp Static Analyzer and gradual type system.
Gradual-Typing/Grift
A compiler for the gradually typed lambda calculus
stereobooster/diamondback-ruby
⛑ Fork of diamondback-ruby
Laythe-lang/Laythe
A gradually typed language originally based on the crafting interpreters series
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.
gyson/ex_type
A type checker for Elixir
utopia-group/TypeT5
Seq2seq Type Inference using Static Analysis and CodeT5
kesh-lang/kesh
A simple little programming language that could one day compile to JavaScript.
ymyzk/lambda-dti
Interpreter of the ITGL with dynamic type inference
brendanberg/L
The L Programming Language
ct-gradual-typing/Papers
The Combination of Dynamic and Static Typing from a Categorical Perspective
khayyamsaleem/gradual-typing
an implementation of gradual typing in mit-scheme
ct-gradual-typing/Grady
A Gradually Typed Functional Programming Language with Bounded Quantification
qexk/intellipath
IntelliSense-like autocompletion features for string literals in TypeScript
overlogged/refinement.js
Yet another contract library for JavaScript which benefits from static analyzers such as TAJS.
ComputationalReflection/StaDyn
A hybrid static and dynamic typing language for .NET
Gradual-Typing/benchmarks
Collection of benchmarks for gradually-typed languages
Gradual-Typing/LambdaIFCStar
The Agda mechanization of a gradual security-typed programming language with general mutable references.
pedroangelo/interpreter
An interpreter written in Haskell for a gradually typed functional language
ashton314/rhombus_dyn
Dynamic annotation for Rhombus
DIJamner/paramblame
Artifact for ICFP paper "Theorems for Free for Free"
ymyzk/lambda-rti
Interpreter of the ITGL with runtime type inference
deyaaeldeen/monotonic
Monotonic References for Gradual Typing in Agda
ilyasergey/Gradual-Ownership
Experimental implementation of Gradual Ownership Types for Java 1.4
jack-williams/tpd
The Prime Directive
marcoonroad/gradient
Gradual Typing encoding for Scala.
sami-badawi/visionql
Queries to computer vision json results in TypeScript
staceytay/gradual-scheme
An implementation of the Gradually Typed Lambda Calculus with a Scheme-like syntax in OCaml
ct-gradual-typing/gradual-linear-typing
Mixed Gradual and Linear Typing for Functional Languages: Terms and Models
pedroangelo/gradual-intersection-types
A gradually typed language with intersection types
erszcz/gradualizer-talk
Slides and examples for a Krakow Erlang/Elixir Meetup talk on Gradualizer
KajizukaTaichi/gradia
Lisp like programming language that can give type annotation for gradual typing