darklang / darkLinks
Darklang main repo, including language, backend, and infra
β2,092Updated this week
Alternatives and similar repositories for dark
Users that are interested in dark are comparing it to the libraries listed below
Sorting:
- The Grain compiler toolchain and CLI. Home of the modern web staple. πΎβ3,365Updated last month
- A friendly programming language from the futureβ6,170Updated this week
- Koka language compiler and interpreterβ3,615Updated last week
- The Flix Programming Languageβ2,456Updated this week
- A code rewrite tool for structural search and replace that supports ~every language.β2,531Updated last week
- Tidy, feature-complete Web frameworkβ1,752Updated last week
- Irmin is a distributed database that follows the same design principles as Gitβ1,893Updated this week
- MirageOS is a library operating system that constructs unikernelsβ2,721Updated 3 months ago
- Maintainable configuration filesβ4,362Updated 4 months ago
- Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.β1,401Updated this week
- Hazel, a live functional programming environment with typed holesβ1,016Updated this week
- A fast and lightweight native programming languageβ1,337Updated last week
- a functional language for building type-safe, scalable, and maintainable applicationsβ1,087Updated last year
- A language for building concurrent software with confidenceβ1,200Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssemblyβ4,770Updated 5 months ago
- Clio is a functional, parallel, distributed programming language.β935Updated 2 years ago
- A modern proof languageβ3,692Updated 7 months ago
- A mixture of tooling combined to produce JavaScript from OCaml & Reasonβ922Updated this week
- A fast, friendly, functional language.β5,152Updated this week
- Official documentation website for the ReScript programming languageβ1,861Updated this week
- A Proof-oriented Programming Languageβ2,890Updated this week
- Systems language with linear types and capability-based security.β1,376Updated last month
- Compiler for Elm, a functional language for reliable webapps.β7,670Updated last year
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraiβ¦β1,140Updated 5 months ago
- DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghcβ1,959Updated 2 years ago
- Enso Analytics is a self-service data prep and analysis platform designed for data teams.β7,432Updated this week
- π A refreshing programming language for the front-end web.β4,150Updated last week
- System for collecting, deriving and working with facts about source code.β1,258Updated this week
- A distributed system for running WebSocket services at scale.β1,948Updated 2 months ago
- Compiler for the Vale programming language - http://vale.dev/β1,922Updated last year