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,355Updated this week
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,507Updated last week
• mirage / irmin
  Irmin is a distributed database that follows the same design principles as Git
  ☆1,885Updated 2 months ago
• flix / flix
  The Flix Programming Language
  ☆2,289Updated this week
• unisonweb / unison
  A friendly programming language from the future
  ☆6,037Updated this week
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,323Updated last month
• ponylang / ponyc
  Pony is an open-source, actor-model, capabilities-secure, high performance programming language
  ☆5,875Updated this week
• lunatic-solutions / lunatic
  Lunatic is an Erlang-inspired runtime for WebAssembly
  ☆4,739Updated 2 months ago
• purescript / purescript
  A strongly-typed language that compiles to JavaScript
  ☆8,717Updated 2 weeks ago
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,324Updated 3 weeks ago
• leostera / caramel
  a functional language for building type-safe, scalable, and maintainable applications
  ☆1,079Updated last year
• mirage / mirage
  MirageOS is a library operating system that constructs unikernels
  ☆2,681Updated 2 weeks ago
• elm / compiler
  Compiler for Elm, a functional language for reliable webapps.
  ☆7,642Updated 10 months ago
• rescript-lang / rescript-lang.org
  Official documentation website for the ReScript programming language
  ☆1,857Updated last week
• ValeLang / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆1,891Updated last year
• GetFirefly / firefly
  An alternative BEAM implementation, designed for WebAssembly
  ☆3,600Updated last year
• aantron / dream
  Tidy, feature-complete Web framework
  ☆1,712Updated 5 months ago
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆927Updated this week
• idris-lang / Idris-dev
  A Dependently Typed Functional Programming Language
  ☆3,455Updated 3 months ago
• roc-lang / roc
  A fast, friendly, functional language.
  ☆4,993Updated this week
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,117Updated 2 months ago
• jfecher / ante
  A safe, easy systems language
  ☆2,065Updated this week
• bytecodealliance / lucet
  Lucet, the Sandboxing WebAssembly Compiler.
  ☆4,050Updated 3 years ago
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,664Updated last week
• reasonml / reason
  Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
  ☆10,238Updated last month
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,848Updated this week
• fable-compiler / Fable
  F# to JavaScript, TypeScript, Python, Rust and Dart Compiler
  ☆2,995Updated this week
• automerge / automerge
  A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
  ☆4,845Updated this week
• janet-lang / janet
  A dynamic language and bytecode vm
  ☆3,855Updated 2 weeks ago
• clio-lang / clio
  Clio is a functional, parallel, distributed programming language.
  ☆936Updated 2 years ago