Projects in Awesome Lists tagged with gradual-typing
A curated list of projects in awesome lists tagged with gradual-typing .
https://github.com/python/typing
Python static typing home. Hosts the documentation and a user help forum.
gradual-typing python static-typing types typing
Last synced: 15 May 2025
https://github.com/emacs-elsa/Elsa
Emacs Lisp Static Analyzer and gradual type system.
elsa emacs emacs-lisp gradual-typing static-analysis
Last synced: 17 Apr 2025
https://github.com/Gradual-Typing/Grift
A compiler for the gradually typed lambda calculus
Last synced: 22 Apr 2025
https://github.com/stereobooster/diamondback-ruby
⛑ Fork of diamondback-ruby
Last synced: 12 Apr 2025
https://github.com/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.
baseline cli gradual-typing legacy-code mypy python python3 static-typing typing
Last synced: 19 Dec 2024
https://github.com/gyson/ex_type
A type checker for Elixir
checker elixir gradual-typing type
Last synced: 14 Apr 2025
https://github.com/ymyzk/lambda-dti
Interpreter of the ITGL with dynamic type inference
dune functional-programming gradual-typing hindley-milner interpreter ocaml repl type-inferece
Last synced: 15 Mar 2025
https://github.com/brendanberg/l
The L Programming Language
concurrency-primatives functional-languages gradual-typing pattern-matching programming-language
Last synced: 29 Dec 2024
https://github.com/khayyamsaleem/gradual-typing
an implementation of gradual typing in mit-scheme
gradual-typing scheme type-system
Last synced: 04 Mar 2025
https://github.com/jack-williams/tpd
The Prime Directive
contracts definitelytyped gradual-typing javascript proxies typescript
Last synced: 28 Mar 2025
https://github.com/ilyasergey/gradual-ownership
Experimental implementation of Gradual Ownership Types for Java 1.4
gradual-typing jastadd java ownership-types type-system
Last synced: 27 Mar 2025
https://github.com/deyaaeldeen/monotonic
Monotonic References for Gradual Typing in Agda
Last synced: 04 Apr 2025
https://github.com/erszcz/gradualizer-talk
Slides and examples for a Krakow Erlang/Elixir Meetup talk on Gradualizer
erlang gradual-typing type-system
Last synced: 13 Mar 2025