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,514Updated this 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☆765Updated 2 weeks ago
- Programming language for literate programming law specification☆2,068Updated last week
- Hazel, a live functional programming environment with typed holes☆927Updated this week
- Systems language with linear types and capability-based security.☆1,324Updated 3 weeks ago
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,148Updated 8 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,117Updated 2 months ago
- The Pyret language.☆1,091Updated this week
- Koka language compiler and interpreter☆3,507Updated last week
- ☆1,010Updated 2 years ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆824Updated last year
- The Flix Programming Language☆2,289Updated this week
- A code rewrite tool for structural search and replace that supports ~every language.☆2,487Updated 2 months ago
- A document language for the browser☆707Updated 10 months ago
- Maintainable configuration files☆4,323Updated last month
- PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement☆10,300Updated last week
- A catalog of programming languages☆773Updated 2 weeks ago
- A safe, easy systems language☆2,065Updated this week
- You shouldn't ever lose your work if you're using Git☆4,362Updated last year
- A query engine for any combination of data sources. Query your files and APIs as if they were databases!☆2,712Updated this week
- Darklang main repo, including language, backend, and infra☆1,743Updated last week
- Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.☆1,355Updated this week
- Welcome to the future of programming languages: OK?☆565Updated last month
- A friendly programming language from the future☆6,037Updated this week
- A fast and lightweight native programming language☆1,307Updated this week
- Visualise a git repository by diff activity☆1,011Updated 8 months ago
- Experiments in building "better" languages and tools; for some measure of better.☆236Updated 2 weeks ago
- Enso Analytics is a self-service data prep and analysis platform designed for data teams.☆7,425Updated this week
- Programming Languages Zoo☆1,498Updated 11 months ago
- Data interchange with algebraic data types.☆617Updated 2 weeks ago
- System for collecting, deriving and working with facts about source code.☆1,213Updated this week