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,597Updated this week
Alternatives and similar repositories for hedy
Users that are interested in hedy are comparing it to the libraries listed below
Sorting:
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,160Updated last week
- PLDB: a Programming Language DataBase☆776Updated last month
- Welcome to the future of programming languages: OK?☆602Updated 7 months ago
- ☆1,007Updated 2 years ago
- Darklang main repo, including language, backend, and infra☆2,115Updated last week
- Programming language for literate programming law specification☆2,171Updated this week
- Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.☆1,453Updated this week
- A document language for the browser☆705Updated last year
- A fast and lightweight native programming language☆1,362Updated this week
- the kdl document language specifications☆1,441Updated last month
- A catalog of programming languages☆777Updated 6 months ago
- Just One Single History☆1,668Updated last week
- A guide to help you write better command-line programs, taking traditional UNIX principles and updating them for the modern day.☆3,316Updated 4 months ago
- solutions to advent of code 2020 puzzles in many languages☆43Updated last year
- Crush is a command line shell that is also a powerful modern programming language.☆1,882Updated 3 months ago
- BNF wrangling and railroad diagrams☆620Updated 2 weeks ago
- The Flix Programming Language☆2,553Updated this week
- A list of tech coops and resources concerning tech coops and worker owned cooperatives in general.☆2,249Updated 2 weeks ago
- The Jolie programming language☆550Updated this week
- A modern proof language☆3,712Updated 10 months ago
- Systems language with linear types and capability-based security.☆1,415Updated 4 months ago
- Hazel, a live functional programming environment with typed holes☆1,058Updated this week
- A small extensible programming language designed for concise expression with little code.☆1,083Updated last year
- CLI + embedded web-server to work with Cooklang recipes☆1,031Updated last week
- Uncurled - everything I know and learned about running and maintaining Open Source projects for three decades.☆883Updated 3 months ago
- ☆1,261Updated 3 weeks ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆832Updated last year
- The list of awesome programming languages that you might be interested in.☆759Updated last week
- Programming language comparison by reimplementing the same transit data app☆425Updated 2 years ago
- A friendly programming language from the future☆6,418Updated this week