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.
☆1,694Oct 25, 2026Updated this week
Alternatives and similar repositories for hedy
Users that are interested in hedy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A friendly programming language from the future☆6,770Updated this week
- A fast, friendly, functional language.☆6,162Updated this week
- Enso Analytics is a self-service data prep and analysis platform designed for data teams.☆7,443Aug 10, 2026Updated 2 months ago
- Hazel, a live functional programming environment with typed holes☆1,175Updated this week
- The Pyret language.☆1,131Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Building better languages and tools; for some measure of better.☆384Updated this week
- A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology☆21Mar 20, 2021Updated 5 years ago
- A human readable quasi-concatenative programming language☆265Aug 3, 2026Updated 2 months ago
- a structural diff that understands syntax 🟥🟩☆26,057Oct 16, 2026Updated last week
- Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.☆1,586Updated this week
- A tool for creating, storing, and sharing customizable lists composed of markdown elements written in Poseidon.☆11Mar 10, 2022Updated 4 years ago
- a datalog interpreter in typescript☆224Dec 31, 2024Updated last year
- A dynamic language and bytecode vm☆4,467Updated this week
- 🤖 Just a command runner☆36,424Oct 19, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,161Mar 23, 2025Updated last year
- Programming Languages Zoo☆1,596Jun 18, 2024Updated 2 years ago
- Koka language compiler and interpreter☆4,109Oct 15, 2026Updated last week
- A language with lexical effect handlers and lightweight effect polymorphism☆478Updated this week
- ⭐️ A friendly language for building type-safe, scalable systems!☆22,005Updated this week
- A programming language to make programming easier.☆11May 3, 2026Updated 5 months ago
- PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement☆10,931Updated this week
- build-once run-anywhere c library☆21,419Updated this week
- A mini language used for the Rabs build system and within Wrapl.☆33Oct 3, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A small extensible programming language designed for concise expression with little code.☆1,092Apr 22, 2026Updated 6 months ago
- Dafny is a verification-aware programming language☆3,593Updated this week
- A fast and lightweight native programming language☆1,430Updated this week
- A library and language for building parsers, interpreters, compilers, etc.☆5,555Jun 19, 2026Updated 4 months ago
- The Flix Programming Language☆2,766Updated this week
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- A markup-based typesetting system that is powerful and easy to learn.☆56,814Updated this week
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆28Apr 10, 2017Updated 9 years ago
- a structured interaction engine 🗜️ ⚗️☆508Jan 27, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- PLDB: a Programming Language DataBase☆799Updated this week
- A new type of shell☆40,724Updated this week
- ☆12Dec 4, 2021Updated 4 years ago
- A command-line benchmarking tool☆29,152Oct 12, 2026Updated last week
- Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.☆6,016Aug 27, 2026Updated last month
- HVM1 (2022): a massively parallel, optimal functional runtime in Rust☆11,351Sep 16, 2026Updated last month
- A syntax-highlighting pager for git, diff, grep, rg --json, and blame output☆32,582Updated this week