A small, fast, and embeddable programming language based on Lua with a gradual type system.
- lua
- programming-language
- scripting-language
Repository Index
78,850 visible repositories in the index
1–6 of 6 · Most stars
Fast, portable, non-Turing complete expression evaluation with gradual typing (Go)
- golang
- go
- cel
- expression
Python static typing home. Hosts the documentation and a user help forum.
- python
- types
- typing
- static-typing
Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the Hedy level sequence, kids master a subset of syntactically valid Python.
- hedy
- gradual
- education
- programming
:baby_chick: A multi-paradigm programming language with gradual and duck typing that targets PHP and JS
- programming-language
- language
- programming-paradigms
- repl
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
- baseline
- cli
- legacy-code
- mypy