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!

Code

Run

  This sample code is to solve FizzBuzz problem in Gradia. Isn't it cool?

Tools

S-Block

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

Access

Graboratory

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

Access