A small, fast, and embeddable programming language based on Lua with a gradual type system.
- lua
- programming-language
- scripting-language
78,850 visible repositories in the index
1–11 of 11 · Most stars
A small, fast, and embeddable programming language based on Lua with a gradual type system.
业界首个支持渐进式组件化改造的Android组件化开源框架,支持跨进程调用。Componentize your android project gradually.
Fast, portable, non-Turing complete expression evaluation with gradual typing (Go)
Summary of related papers on visual attention. Related code will be released based on Jittor gradually.
Python static typing home. Hosts the documentation and a user help forum.
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.
A framework for gradual system automation
A Flutter library for gradually painting SVG path objects on canvas (drawing line animation).
:baby_chick: A multi-paradigm programming language with gradual and duck typing that targets PHP and JS
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
Demonstrates how an existing Angular app can be migrated to Blazor gradually by integrating Blazor components, including calling Angular service methods.