Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 12 Gradual Typing Open Source Projects

Open source projects categorized as Gradual Typing
Categories > Gradual Typing
Typing ⭐ 1,503
Python static typing home. Hosts the documentation and a user help forum.
dependent packages 1,792total releases 16most recent commit 3 months agopypi typing} Downloads
Elsa ⭐ 590
Emacs Lisp Static Analyzer and gradual type system.
most recent commit 10 months ago
Diamondback Ruby ⭐ 72
⛑ Fork of diamondback-ruby
most recent commit 6 years ago
Laythe ⭐ 61
A gradually typed language originally based on the crafting interpreters series
most recent commit a year ago
Grift ⭐ 61
A compiler for the gradually typed lambda calculus
most recent commit 2 years ago
Mypy Baseline ⭐ 38
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
total releases 19most recent commit 5 months ago
Ex_type ⭐ 21
A type checker for Elixir
total releases 7most recent commit 3 years ago
Lambda Dti ⭐ 20
Interpreter of the ITGL with dynamic type inference
most recent commit 6 months ago
Typet5 ⭐ 20
Seq2seq Type Inference using Static Analysis and CodeT5
most recent commit 9 months ago
Kesh ⭐ 17
a simple little programming language that could one day compile to javascript
most recent commit 5 months ago
L ⭐ 15
The L Programming Language
most recent commit 2 years ago
Refinement.js ⭐ 5
Yet another contract library for JavaScript which benefits from static analyzers such as TAJS.
most recent commit 6 years ago
The 3 Latest Releases In Gradual Typing Open Source Projects
Typing ⭐ 1,503
Python static typing home. Hosts the documentation and a user help forum.
dependent packages 1,792total releases 16latest release May 01, 2021most recent commit 3 months agopypi typing} Downloads
Ex_type ⭐ 21
A type checker for Elixir
total releases 7latest release July 13, 2019most recent commit 3 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.