Alternatives and similar repositories for hylo

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

• ValeLang / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆1,880Updated 11 months ago
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,289Updated last month
• fubark / cyber
  Fast and concurrent scripting.
  ☆1,301Updated 5 months ago
• aardappel / lobster
  The Lobster Programming Language
  ☆2,423Updated last week
• inko-lang / inko
  A language for building concurrent software with confidence
  ☆1,155Updated this week
• titzer / virgil
  A fast and lightweight native programming language
  ☆1,288Updated this week
• jfecher / ante
  A safe, easy systems language
  ☆1,993Updated this week
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,120Updated last month
• Vexu / arocc
  A modern fully featured C compiler.
  ☆1,343Updated last week
• buzz-language / buzz
  👨‍🚀 buzz, A small/lightweight statically typed scripting language
  ☆1,379Updated this week
• mun-lang / mun
  Source code for the Mun language and runtime.
  ☆1,987Updated this week
• gluon-lang / gluon
  A static, type inferred and embeddable language written in Rust.
  ☆3,307Updated 5 months ago
• arturo-lang / arturo
  Simple, expressive & portable programming language for efficient scripting
  ☆767Updated this week
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,493Updated this week
• roc-lang / roc
  A fast, friendly, functional language.
  ☆4,952Updated this week
• RealNeGate / Cuik
  A Modern C11 compiler (STILL EARLY)
  ☆1,118Updated 2 weeks ago
• vrtbl / passerine
  A small extensible programming language designed for concise expression with little code.
  ☆1,066Updated 8 months ago
• mitchellh / libxev
  libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and work…
  ☆2,704Updated this week
• diku-dk / futhark
  A data-parallel functional programming language
  ☆2,507Updated this week
• ChessMax / awesome-programming-languages
  The list of awesome programming languages that you might be interested in.
  ☆700Updated 3 weeks ago
• HigherOrderCO / Kind
  A modern proof language
  ☆3,668Updated 3 months ago
• koto-lang / koto
  A simple, expressive, embeddable programming language
  ☆732Updated last week
• langjam / langjam
  ☆1,010Updated 2 years ago
• Hejsil / mecha
  A parser combinator library for Zig
  ☆522Updated this week
• SerenityOS / jakt
  The Jakt Programming Language
  ☆2,916Updated last week
• hirrolot / datatype99
  Algebraic data types for C99
  ☆1,407Updated last month
• hylo-lang / hylo-lang.github.io
  Landing page for Hylo
  ☆107Updated 5 months ago
• zigtools / zls
  A Zig language server supporting Zig developers with features like autocomplete and goto definition
  ☆3,763Updated this week
• sophiajt / june
  ☆798Updated 11 months ago
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆823Updated last year