darklang / darkLinks
Darklang main repo, including language, backend, and infra
β2,103Updated last 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,369Updated 3 months ago
- Tidy, feature-complete Web frameworkβ1,764Updated last week
- The Flix Programming Languageβ2,505Updated this week
- A friendly programming language from the futureβ6,216Updated this week
- Irmin is a distributed database that follows the same design principles as Gitβ1,900Updated 2 weeks ago
- Clio is a functional, parallel, distributed programming language.β936Updated 2 years ago
- A fast and lightweight native programming languageβ1,353Updated this week
- Koka language compiler and interpreterβ3,681Updated last week
- A fast, friendly, functional language.β5,241Updated this week
- Maintainable configuration filesβ4,373Updated 6 months ago
- A purely functional programming language with first class typesβ2,750Updated last week
- A mixture of tooling combined to produce JavaScript from OCaml & Reasonβ935Updated this week
- MirageOS is a library operating system that constructs unikernelsβ2,740Updated last week
- Lunatic is an Erlang-inspired runtime for WebAssemblyβ4,783Updated 6 months ago
- Official documentation website for the ReScript programming languageβ1,860Updated last week
- A language for building concurrent software with confidenceβ1,211Updated this week
- a functional language for building type-safe, scalable, and maintainable applicationsβ1,092Updated 2 years ago
- A code rewrite tool for structural search and replace that supports ~every language.β2,551Updated last month
- Hazel, a live functional programming environment with typed holesβ1,040Updated last week
- A modern proof languageβ3,699Updated 8 months ago
- An alternative BEAM implementation, designed for WebAssemblyβ3,596Updated last year
- Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.β1,427Updated this week
- A dynamic language and bytecode vmβ4,006Updated last week
- Systems language with linear types and capability-based security.β1,394Updated 2 months ago
- Haskell-style functional programming language running on Erlang VM.β1,033Updated 3 years ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraiβ¦β1,145Updated 6 months ago
- Compiler for the Vale programming language - http://vale.dev/β1,925Updated last year
- System for collecting, deriving and working with facts about source code.β1,272Updated this week
- The Jolie programming languageβ549Updated last week
- Pony is an open-source, actor-model, capabilities-secure, high performance programming languageβ5,947Updated this week