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,398Updated this week
• unisonweb / unison
  A friendly programming language from the future
  ☆6,418Updated last week
• mirage / irmin
  Irmin is a distributed database that follows the same design principles as Git
  ☆1,914Updated last week
• flix / flix
  The Flix Programming Language
  ☆2,556Updated this week
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆1,058Updated this week
• titzer / virgil
  A fast and lightweight native programming language
  ☆1,362Updated last week
• feenkcom / gtoolkit
  Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.
  ☆1,453Updated last week
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,760Updated last week
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,399Updated 3 weeks ago
• lunatic-solutions / lunatic
  Lunatic is an Erlang-inspired runtime for WebAssembly
  ☆4,816Updated 8 months ago
• ValeLang / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆1,941Updated last year
• camlworks / dream
  Tidy, feature-complete Web framework
  ☆1,796Updated last month
• inko-lang / inko
  A language for building concurrent software with confidence
  ☆1,232Updated this week
• comby-tools / comby
  A code rewrite tool for structural search and replace that supports ~every language.
  ☆2,579Updated 3 months ago
• clio-lang / clio
  Clio is a functional, parallel, distributed programming language.
  ☆936Updated 2 years ago
• ponylang / ponyc
  Pony is an open-source, actor-model, capabilities-secure, high performance programming language
  ☆5,979Updated last week
• mint-lang / mint
  🍃 A refreshing programming language for the front-end web.
  ☆4,203Updated last week
• roc-lang / roc
  A fast, friendly, functional language.
  ☆5,382Updated last week
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,418Updated 4 months ago
• enso-org / enso
  Enso Analytics is a self-service data prep and analysis platform designed for data teams.
  ☆7,444Updated this week
• leostera / caramel
  a functional language for building type-safe, scalable, and maintainable applications
  ☆1,098Updated 2 years ago
• CatalaLang / catala
  Programming language for literate programming law specification
  ☆2,171Updated this week
• melange-re / melange
  A mixture of tooling combined to produce JavaScript from OCaml & Reason
  ☆948Updated this week
• HigherOrderCO / Kind
  A modern proof language
  ☆3,714Updated 10 months ago
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,152Updated 8 months ago
• mirage / mirage
  MirageOS is a library operating system that constructs unikernels
  ☆2,790Updated 2 weeks ago
• thesephist / ink
  Ink is a minimal programming language inspired by modern JavaScript and Go, with functional style.
  ☆571Updated 4 years ago
• spinframework / spin
  Spin is the open source developer tool for building and running serverless applications powered by WebAssembly.
  ☆6,181Updated 2 weeks ago
• facebookincubator / Glean
  System for collecting, deriving and working with facts about source code.
  ☆1,289Updated this week
• extism / extism
  The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible …
  ☆5,318Updated this week