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,388 commits to master branch, last one 3 days ago
NOT MAINTAINED - A simple Rust like Result type for Python 3. Fully type annotated.
Created
2015-12-14
176 commits to main branch, last one 4 months ago
🏝 automated contract testing via type checking for Elixir functions and mocks
Created
2019-06-29
315 commits to master branch, last one 2 years 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 3 years ago
Python command line wrapper for pyright, a static type checker
Created
2021-06-18
285 commits to main branch, last one 12 days ago
A garden of small programming language implementations 🪴
Created
2022-09-10
901 commits to main branch, last one 4 days ago
coulomb: unit analysis for Scala
Created
2017-01-10
371 commits to scala3 branch, last one 3 months ago
Decorator which checks whether the function is called with the correct type of parameters.
Created
2020-05-01
209 commits to main branch, last one 24 days ago
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
Created
2020-11-27
248 commits to main branch, last one 4 months ago
A programming language. Static types. Full type inference. Garbage collection. --- not stable
Created
2020-04-15
355 commits to master branch, last one 5 months ago