Alternatives and similar repositories for dark

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

• unisonweb / unison
  A friendly programming language from the future
  ☆6,059Updated this week
• grain-lang / grain
  The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
  ☆3,358Updated last week
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,335Updated 2 months ago
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,536Updated 3 weeks ago
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆930Updated this week
• mirage / irmin
  Irmin is a distributed database that follows the same design principles as Git
  ☆1,886Updated last week
• comby-tools / comby
  A code rewrite tool for structural search and replace that supports ~every language.
  ☆2,497Updated 3 months ago
• flix / flix
  The Flix Programming Language
  ☆2,306Updated this week
• aantron / dream
  Tidy, feature-complete Web framework
  ☆1,719Updated 6 months ago
• clio-lang / clio
  Clio is a functional, parallel, distributed programming language.
  ☆936Updated 2 years ago
• titzer / virgil
  A fast and lightweight native programming language
  ☆1,320Updated this week
• elm / compiler
  Compiler for Elm, a functional language for reliable webapps.
  ☆7,645Updated 11 months ago
• lunatic-solutions / lunatic
  Lunatic is an Erlang-inspired runtime for WebAssembly
  ☆4,745Updated 2 months ago
• leostera / caramel
  a functional language for building type-safe, scalable, and maintainable applications
  ☆1,082Updated last year
• enso-org / enso
  Enso Analytics is a self-service data prep and analysis platform designed for data teams.
  ☆7,431Updated this week
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,680Updated this week
• jfecher / ante
  A safe, easy systems language
  ☆2,071Updated 3 weeks ago
• rescript-lang / rescript-lang.org
  Official documentation website for the ReScript programming language
  ☆1,857Updated this week
• mirage / mirage
  MirageOS is a library operating system that constructs unikernels
  ☆2,694Updated last month
• jamsocket / plane
  A distributed system for running WebSocket services at scale.
  ☆1,925Updated last week
• GetFirefly / firefly
  An alternative BEAM implementation, designed for WebAssembly
  ☆3,601Updated last year
• roc-lang / roc
  A fast, friendly, functional language.
  ☆5,052Updated this week
• melange-re / melange
  A mixture of tooling combined to produce JavaScript from OCaml & Reason
  ☆911Updated this week
• obi1kenobi / trustfall
  A query engine for any combination of data sources. Query your files and APIs as if they were databases!
  ☆2,723Updated last week
• thesephist / ink
  Ink is a minimal programming language inspired by modern JavaScript and Go, with functional style.
  ☆568Updated 3 years ago
• inko-lang / inko
  A language for building concurrent software with confidence
  ☆1,166Updated this week
• feenkcom / gtoolkit
  Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.
  ☆1,368Updated this week
• alpaca-lang / alpaca
  Functional programming inspired by ML for the Erlang VM
  ☆1,449Updated 5 years ago
• ohmjs / ohm
  A library and language for building parsers, interpreters, compilers, etc.
  ☆5,324Updated this week
• purescript / purescript
  A strongly-typed language that compiles to JavaScript
  ☆8,724Updated this week