An open API service indexing awesome lists of open source software.

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

compiler gradual-typing grift

Last synced: 22 Apr 2025

https://github.com/stereobooster/diamondback-ruby

⛑ Fork of diamondback-ruby

gradual-typing ruby types

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/khayyamsaleem/gradual-typing

an implementation of gradual typing in mit-scheme

gradual-typing scheme type-system

Last synced: 04 Mar 2025

https://github.com/ashton314/rhombus_dyn

Dynamic annotation for Rhombus

gradual-typing rhombus

Last synced: 23 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

agda gradual-typing semantics

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