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,417Updated this week
• unisonweb / unison
  A friendly programming language from the future
  ☆6,465Updated last week
• flix / flix
  The Flix Programming Language
  ☆2,577Updated this week
• clio-lang / clio
  Clio is a functional, parallel, distributed programming language.
  ☆936Updated 2 years ago
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,791Updated last month
• mirage / irmin
  Irmin is a distributed database that follows the same design principles as Git
  ☆1,919Updated 2 weeks ago
• feenkcom / gtoolkit
  Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.
  ☆1,469Updated last week
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,409Updated 3 weeks ago
• titzer / virgil
  A fast and lightweight native programming language
  ☆1,381Updated this week
• camlworks / dream
  Tidy, feature-complete Web framework
  ☆1,813Updated this week
• mirage / mirage
  MirageOS is a library operating system that constructs unikernels
  ☆2,819Updated 2 months ago
• leostera / caramel
  a functional language for building type-safe, scalable, and maintainable applications
  ☆1,096Updated 2 years ago
• inko-lang / inko
  A language for building concurrent software with confidence
  ☆1,248Updated this week
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆1,064Updated this week
• melange-re / melange
  A mixture of tooling combined to produce JavaScript from OCaml & Reason
  ☆955Updated last week
• comby-tools / comby
  A code rewrite tool for structural search and replace that supports ~every language.
  ☆2,595Updated 5 months ago
• brownplt / pyret-lang
  The Pyret language.
  ☆1,118Updated 2 weeks ago
• HigherOrderCO / Kind
  A modern proof language
  ☆3,717Updated last year
• nanovms / nanos
  A kernel designed to run one and only one application in a virtualized environment
  ☆3,048Updated last week
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,843Updated 2 weeks ago
• lunatic-solutions / lunatic
  Lunatic is an Erlang-inspired runtime for WebAssembly
  ☆4,841Updated 10 months ago
• roc-lang / roc
  A fast, friendly, functional language.
  ☆5,458Updated this week
• facebookincubator / Glean
  System for collecting, deriving and working with facts about source code.
  ☆1,300Updated this week
• janet-lang / janet
  A dynamic language and bytecode vm
  ☆4,128Updated this week
• CatalaLang / catala
  Programming language for literate programming law specification
  ☆2,207Updated last week
• pharo-project / pharo
  Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.
  ☆1,421Updated this week
• jfecher / ante
  A safe, easy systems language
  ☆2,190Updated 2 weeks ago
• elm / compiler
  Compiler for Elm, a functional language for reliable webapps.
  ☆7,744Updated last month
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,445Updated 6 months ago
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆943Updated 2 months ago