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,619Updated this week
Alternatives and similar repositories for hedy
Users that are interested in hedy are comparing it to the libraries listed below
Sorting:
- Welcome to the future of programming languages: OK?☆615Updated 9 months ago
- Darklang main repo, including language, backend, and infra☆2,141Updated this week
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,163Updated 3 weeks ago
- A document language for the browser☆713Updated last year
- PLDB: a Programming Language DataBase☆779Updated this week
- Programming language for literate programming law specification☆2,215Updated last week
- ☆1,006Updated 2 years ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆833Updated last year
- Hazel, a live functional programming environment with typed holes☆1,071Updated this week
- A catalog of programming languages☆778Updated 8 months ago
- Systems language with linear types and capability-based security.☆1,449Updated 6 months ago
- A code rewrite tool for structural search and replace that supports ~every language.☆2,599Updated 5 months ago
- A minimal programming language inspired by clickbait headlines☆629Updated 2 years ago
- A fast and lightweight native programming language☆1,383Updated last week
- Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.☆1,474Updated last week
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,153Updated this week
- I hold the opinion that state machines are underrated☆730Updated 2 years ago
- A tree-sitter based AST difftool to get meaningful semantic diffs☆2,322Updated this week
- Don't let the cursor slow you down☆1,296Updated this week
- Just One Single History☆1,687Updated this week
- A fast, friendly, functional language.☆5,474Updated this week
- Programming and interaction language. Flexible about syntax, strict about state.☆646Updated last week
- A small extensible programming language designed for concise expression with little code.☆1,085Updated last year
- A systematic approach to creating better documentation.☆1,042Updated 9 months ago
- Make expandable explanations!☆586Updated last month
- High-velocity, monorepo-scale workflow for Git☆3,990Updated this week
- Proving leftpad correct two-dozen different ways☆718Updated 9 months ago
- The Hylo programming language☆1,460Updated last week
- System for collecting, deriving and working with facts about source code.☆1,305Updated this week
- A light markup language☆1,916Updated this week