10 results found Sort:
- Filter by Primary Language:
- Python (5)
- C++ (1)
- Elixir (1)
- Java (1)
- OCaml (1)
- Scala (1)
- +
A JavaScript checker and optimizer.
Created
2014-04-16
19,163 commits to master branch, last one 10 hours ago
A simple Rust like Result type for Python 3. Fully type annotated.
Created
2015-12-14
175 commits to main branch, last one 24 days ago
🏝 automated contract testing via type checking for Elixir functions and mocks
Created
2019-06-29
315 commits to master branch, last one about a year ago
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
Created
2016-09-15
353 commits to master branch, last one 2 years ago
A garden of small programming language implementations 🪴
Created
2022-09-10
718 commits to main branch, last one about a month ago
Python command line wrapper for pyright, a static type checker
Created
2021-06-18
250 commits to main branch, last one a day ago
coulomb: unit analysis for Scala
Created
2017-01-10
361 commits to scala3 branch, last one 8 days ago
Decorator which checks whether the function is called with the correct type of parameters.
Created
2020-05-01
205 commits to main branch, last one 7 days ago
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
Created
2020-11-27
247 commits to main branch, last one 2 months ago
A programming language. Static types. Full type inference. Garbage collection. --- not stable
Created
2020-04-15
353 commits to master branch, last one a day ago