Alternatives and similar repositories for hedy:

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

• facebookincubator / Glean
  System for collecting, deriving and working with facts about source code.
  ☆1,146Updated this week
• langjam / langjam
  ☆1,016Updated 2 years ago
• tweag / nickel
  Better configuration for less
  ☆2,504Updated this week
• jesseduffield / OK
  Welcome to the future of programming languages: OK?
  ☆551Updated 2 years ago
• HigherOrderCO / Kind
  A modern proof language
  ☆3,629Updated last month
• betaveros / noulith
  *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it
  ☆1,145Updated 5 months ago
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆816Updated 10 months ago
• AmrDeveloper / GQL
  GitQL is a extensible SQL-like query language and SDK to perform queries on various data sources such .git files with supports of most of…
  ☆3,363Updated this week
• darklang / dark
  Darklang main repo, including language, backend, and infra
  ☆1,712Updated this week
• CatalaLang / catala
  Programming language for literate programming law specification
  ☆2,038Updated this week
• thesephist / ink
  Ink is a minimal programming language inspired by modern JavaScript and Go, with functional style.
  ☆566Updated 3 years ago
• thesephist / tabloid
  A minimal programming language inspired by clickbait headlines
  ☆525Updated last year
• josh-project / josh
  Just One Single History
  ☆1,551Updated 2 months ago
• cachix / devenv
  Fast, Declarative, Reproducible, and Composable Developer Environments
  ☆4,853Updated this week
• flox / flox
  Developer environments you can take with you
  ☆3,012Updated this week
• LingDong- / wax
  A tiny programming language that transpiles to C, C++, Java, TypeScript, Python, C#, Swift, Lua and WebAssembly 🚀
  ☆801Updated 9 months ago
• afnanenayet / diffsitter
  A tree-sitter based AST difftool to get meaningful semantic diffs
  ☆1,708Updated this week
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,170Updated 7 months ago
• cpressey / Facts-about-State-Machines
  I hold the opinion that state machines are underrated
  ☆729Updated last year
• alantech / alan
  Autoscalable Programming Language
  ☆309Updated this week
• nanovms / nanos
  A kernel designed to run one and only one application in a virtualized environment
  ☆2,704Updated 2 weeks ago
• evildmp / diataxis-documentation-framework
  A systematic approach to creating better documentation.
  ☆936Updated last month
• obi1kenobi / trustfall
  A query engine for any combination of data sources. Query your files and APIs as if they were databases!
  ☆2,588Updated this week
• khaledh / fusion
  A hobby OS implemented in Nim
  ☆445Updated this week
• kdl-org / kdl
  the kdl document language specifications
  ☆1,260Updated this week
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,268Updated last month
• jgm / djot
  A light markup language
  ☆1,761Updated last week
• casperdcl / git-fame
  Pretty-print `git` repository collaborators sorted by contributions
  ☆704Updated this week
• errata-ai / vale
  A markup-aware linter for prose built with speed and extensibility in mind.
  ☆4,657Updated 2 weeks ago
• kneasle / sapling
  A highly experimental vi-inspired editor where you edit code, not text.
  ☆744Updated 2 weeks ago