11 results found Sort:
- Filter by Primary Language:
- Python (6)
- C++ (1)
- Elixir (1)
- Java (1)
- OCaml (1)
- Scala (1)
- +
A JavaScript checker and optimizer.
Created
2014-04-16
19,456 commits to master branch, last one 2 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 5 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
A garden of small programming language implementations 🪴
Created
2022-09-10
945 commits to main branch, last one 21 hours ago
Python command line wrapper for pyright, a static type checker
Created
2021-06-18
290 commits to main branch, last one a day ago
coulomb: unit analysis for Scala
Created
2017-01-10
371 commits to scala3 branch, last one 4 months ago
Decorator which checks whether the function is called with the correct type of parameters.
Created
2020-05-01
229 commits to py_3_13 branch, last one 25 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 6 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 6 months ago
Caching and distributed locks in your applications with just one or two lines. Easy to learn. Fast to code.
Created
2023-12-16
207 commits to main branch, last one 13 days ago