Awesome Open Source

Programming Languages

Search results for gradual typing

gradual-typing x

12 search results found

Typing ⭐ 1,503

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

Emacs Lisp Static Analyzer and gradual type system.

Diamondback Ruby ⭐ 72

⛑ Fork of diamondback-ruby

A gradually typed language originally based on the crafting interpreters series

A compiler for the gradually typed lambda calculus

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.

A type checker for Elixir

Lambda Dti ⭐ 20

Interpreter of the ITGL with dynamic type inference

Seq2seq Type Inference using Static Analysis and CodeT5

a simple little programming language that could one day compile to javascript

The L Programming Language

Refinement.js ⭐ 5

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

Related Searches

Types Gradual Typing (8)

Programming Language Gradual Typing (5)

Type Inference Gradual Typing (4)

Javascript Gradual Typing (4)

Typescript Gradual Typing (4)

Language Gradual Typing (4)

Ocaml Gradual Typing (4)

Lambda Functions Gradual Typing (3)

Lambda Calculus Gradual Typing (3)

Python Gradual Typing (3)

1-12 of 12 search results

Privacy | About | Terms | Follow Us On Twitter

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