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,346Updated last week
• mirage / irmin
  Irmin is a distributed database that follows the same design principles as Git
  ☆1,883Updated last month
• titzer / virgil
  A fast and lightweight native programming language
  ☆1,288Updated this week
• unisonweb / unison
  A friendly programming language from the future
  ☆6,006Updated this week
• flix / flix
  The Flix Programming Language
  ☆2,271Updated this week
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,489Updated 2 weeks ago
• roc-lang / roc
  A fast, friendly, functional language.
  ☆4,951Updated this week
• comby-tools / comby
  A code rewrite tool for structural search and replace that supports ~every language.
  ☆2,482Updated last month
• lunatic-solutions / lunatic
  Lunatic is an Erlang-inspired runtime for WebAssembly
  ☆4,719Updated last month
• vrtbl / passerine
  A small extensible programming language designed for concise expression with little code.
  ☆1,066Updated 7 months ago
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,289Updated last month
• melange-re / melange
  A mixture of tooling combined to produce JavaScript from OCaml & Reason
  ☆903Updated last month
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,120Updated last month
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,311Updated 3 weeks ago
• hyperfiddle / electric
  Electric Clojure: full-stack differential dataflow for UI
  ☆1,947Updated 3 weeks ago
• pharo-project / pharo
  Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.
  ☆1,277Updated last week
• inko-lang / inko
  A language for building concurrent software with confidence
  ☆1,151Updated this week
• HigherOrderCO / Kind
  A modern proof language
  ☆3,668Updated 3 months ago
• aantron / dream
  Tidy, feature-complete Web framework
  ☆1,696Updated 4 months ago
• leostera / caramel
  a functional language for building type-safe, scalable, and maintainable applications
  ☆1,077Updated last year
• janet-lang / janet
  A dynamic language and bytecode vm
  ☆3,790Updated 2 weeks ago
• elm / compiler
  Compiler for Elm, a functional language for reliable webapps.
  ☆7,634Updated 9 months ago
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,836Updated this week
• clio-lang / clio
  Clio is a functional, parallel, distributed programming language.
  ☆934Updated 2 years ago
• jfecher / ante
  A safe, easy systems language
  ☆1,993Updated this week
• forest-lang / forest-compiler
  A multi-syntax functional programming language that compiles to WebAssembly.
  ☆620Updated 3 years ago
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆922Updated this week
• lamdu / lamdu
  lamdu - towards the next generation IDE
  ☆1,870Updated last week
• tweag / asterius
  DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
  ☆1,966Updated 2 years ago
• feenkcom / gtoolkit
  Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.
  ☆1,334Updated this week