hedyorg / hedyLinks
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,612Updated last week
Alternatives and similar repositories for hedy
Users that are interested in hedy are comparing it to the libraries listed below
Sorting:
- PLDB: a Programming Language DataBase☆778Updated 2 months ago
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,162Updated this week
- A catalog of programming languages☆778Updated 7 months ago
- The Flix Programming Language☆2,572Updated this week
- Welcome to the future of programming languages: OK?☆609Updated 8 months ago
- A fast and lightweight native programming language☆1,379Updated this week
- A tacit array programming language☆2,044Updated this week
- A fast, friendly, functional language.☆5,440Updated last week
- Darklang main repo, including language, backend, and infra☆2,133Updated last week
- Systems language with linear types and capability-based security.☆1,438Updated 5 months ago
- Koka language compiler and interpreter☆3,782Updated 3 weeks ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆831Updated last year
- Home for language specification and discussions.☆664Updated 3 months ago
- A document language for the browser☆710Updated last year
- Enso Analytics is a self-service data prep and analysis platform designed for data teams.☆7,440Updated this week
- A minimal programming language inspired by clickbait headlines☆626Updated 2 years ago
- Compiler for the Vale programming language - http://vale.dev/☆1,957Updated last year
- The Pyret language.☆1,118Updated 2 months ago
- A small extensible programming language designed for concise expression with little code.☆1,085Updated last year
- Hazel, a live functional programming environment with typed holes☆1,064Updated this week
- Programming language for literate programming law specification☆2,197Updated last week
- The Hylo programming language☆1,450Updated this week
- The Crumb Programming Language☆440Updated 10 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,154Updated 9 months ago
- Proving leftpad correct two-dozen different ways☆713Updated 8 months ago
- Advent of Code statistics for the first 100 submissions visualized☆89Updated last year
- Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.☆1,468Updated this week
- the kdl document language specifications☆1,462Updated this week
- Don't let the cursor slow you down☆1,287Updated last week
- The Lobster Programming Language☆2,572Updated this week