Alternatives and similar repositories for dark:

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

• grain-lang / grain
  The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
  ☆3,305Updated this week
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,253Updated this week
• lunatic-solutions / lunatic
  Lunatic is an Erlang-inspired runtime for WebAssembly
  ☆4,668Updated 10 months ago
• unisonweb / unison
  A friendly programming language from the future
  ☆5,867Updated this week
• mirage / irmin
  Irmin is a distributed database that follows the same design principles as Git
  ☆1,863Updated last month
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,103Updated last year
• flix / flix
  The Flix Programming Language
  ☆2,213Updated this week
• rescript-lang / rescript-lang.org
  Official documentation website for the ReScript programming language
  ☆1,850Updated this week
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,377Updated last week
• leostera / caramel
  a functional language for building type-safe, scalable, and maintainable applications
  ☆1,069Updated last year
• inko-lang / inko
  A language for building concurrent software with confidence
  ☆928Updated this week
• fable-compiler / Fable
  F# to JavaScript, TypeScript, Python, Rust and Dart Compiler
  ☆2,943Updated this week
• GetFirefly / firefly
  An alternative BEAM implementation, designed for WebAssembly
  ☆3,601Updated last year
• jfecher / ante
  A safe, easy systems language
  ☆1,923Updated this week
• vrtbl / passerine
  A small extensible programming language designed for concise expression with little code.
  ☆1,062Updated 4 months ago
• comby-tools / comby
  A code rewrite tool for structural search and replace that supports ~every language.
  ☆2,441Updated 8 months ago
• HigherOrderCO / Kind
  A modern proof language
  ☆3,603Updated last week
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,152Updated 6 months ago
• titzer / virgil
  A fast and lightweight native programming language
  ☆1,249Updated this week
• extism / extism
  The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
  ☆4,676Updated this week
• aantron / dream
  Tidy, feature-complete Web framework
  ☆1,646Updated 3 weeks ago
• elm / compiler
  Compiler for Elm, a functional language for reliable webapps.
  ☆7,592Updated 6 months ago
• janet-lang / janet
  A dynamic language and bytecode vm
  ☆3,673Updated this week
• facebookincubator / Glean
  System for collecting, deriving and working with facts about source code.
  ☆1,110Updated this week
• roc-lang / roc
  A fast, friendly, functional language.
  ☆4,623Updated this week
• lamdu / lamdu
  lamdu - towards the next generation IDE
  ☆1,858Updated this week
• ohmjs / ohm
  A library and language for building parsers, interpreters, compilers, etc.
  ☆5,034Updated 3 months ago
• ValeLang / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆1,816Updated 8 months ago
• feenkcom / gtoolkit
  Glamorous Toolkit is the Moldable Development environment. It empowers you to make systems explainable through experiences tailored for e…
  ☆1,140Updated this week
• fermyon / spin
  Spin is the open source developer tool for building and running serverless applications powered by WebAssembly.
  ☆5,610Updated this week