Alternatives and similar repositories for hedy

Users that are interested in hedy are comparing it to the libraries listed below

• CatalaLang / catala
  Programming language for literate programming law specification
  ☆2,112Updated this week
• prathyvsh / pl-catalog
  A catalog of programming languages
  ☆777Updated 5 months ago
• breck7 / pldb
  PLDB: a Programming Language DataBase
  ☆775Updated 2 weeks ago
• nota-lang / nota
  A document language for the browser
  ☆705Updated last year
• darklang / dark
  Darklang main repo, including language, backend, and infra
  ☆2,111Updated last month
• flix / flix
  The Flix Programming Language
  ☆2,521Updated last week
• feenkcom / gtoolkit
  Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.
  ☆1,438Updated this week
• titzer / virgil
  A fast and lightweight native programming language
  ☆1,355Updated last week
• betaveros / noulith
  *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it
  ☆1,153Updated 2 months ago
• jackdoe / programming-for-kids
  book for parents and kids.
  ☆622Updated 2 months ago
• comby-tools / comby
  A code rewrite tool for structural search and replace that supports ~every language.
  ☆2,558Updated 2 months ago
• jgm / djot
  A light markup language
  ☆1,841Updated 3 months ago
• langjam / langjam
  ☆1,005Updated 2 years ago
• facebookincubator / Glean
  System for collecting, deriving and working with facts about source code.
  ☆1,277Updated this week
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆1,048Updated this week
• cli-guidelines / cli-guidelines
  A guide to help you write better command-line programs, taking traditional UNIX principles and updating them for the modern day.
  ☆3,286Updated 3 months ago
• Flet / rejected-github-profile-achievements
  😵 GitHub achievements that did not make the cut.
  ☆1,550Updated 2 years ago
• bagder / uncurled
  Uncurled - everything I know and learned about running and maintaining Open Source projects for three decades.
  ☆882Updated 2 months ago
• enso-org / enso
  Enso Analytics is a self-service data prep and analysis platform designed for data teams.
  ☆7,437Updated this week
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,148Updated 7 months ago
• losvedir / transit-lang-cmp
  Programming language comparison by reimplementing the same transit data app
  ☆426Updated last year
• evildmp / diataxis-documentation-framework
  A systematic approach to creating better documentation.
  ☆1,006Updated 6 months ago
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆831Updated last year
• CodeReadingClubs / Resources
  ☆141Updated last year
• erezsh / Preql
  An interpreted relational query language that compiles to SQL.
  ☆625Updated 3 years ago
• oils-for-unix / oils
  Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!
  ☆3,225Updated this week
• cooklang / spec
  Home for language specification and discussions.
  ☆658Updated last month
• cursorless-dev / cursorless
  Don't let the cursor slow you down
  ☆1,273Updated this week
• triska / the-power-of-prolog
  The Power of Prolog: Introduction to modern Prolog
  ☆1,335Updated last month
• osnr / TabFS
  🗄 Mount your browser tabs as a filesystem.
  ☆3,909Updated 10 months ago