Icon

Gradia

Lisp like programming language that can give type annotation for gradual typing

GitHub

About

Gradia name's origin is from "Gradual typing". So, Gradia adopts gradual way as type system. It improves trustability
Implemented by Rust, and it's splited core interpreter logic and user-interface. So, Gradia is run on browser using WASM too!
Have a happy hacking of fantastic Gradia programming world!

Tools

Project Image
S-Block

Visual environment that expresses program using colorful block.
The concept is "Even primary students can use".

Access
Project Image
Graboratory

Notebook apps that can run Gradia code interactive.
And can write markdown text, useful for creating reports

Access