darklang / darkLinks
Darklang main repo, including language, backend, and infra
β1,745Updated 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,355Updated this week
- Koka language compiler and interpreterβ3,507Updated last week
- Irmin is a distributed database that follows the same design principles as Gitβ1,885Updated 2 months ago
- The Flix Programming Languageβ2,289Updated this week
- A friendly programming language from the futureβ6,037Updated this week
- Maintainable configuration filesβ4,323Updated last month
- Pony is an open-source, actor-model, capabilities-secure, high performance programming languageβ5,875Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssemblyβ4,739Updated 2 months ago
- A strongly-typed language that compiles to JavaScriptβ8,717Updated 2 weeks ago
- Systems language with linear types and capability-based security.β1,324Updated 3 weeks ago
- a functional language for building type-safe, scalable, and maintainable applicationsβ1,079Updated last year
- MirageOS is a library operating system that constructs unikernelsβ2,681Updated 2 weeks ago
- Compiler for Elm, a functional language for reliable webapps.β7,642Updated 10 months ago
- Official documentation website for the ReScript programming languageβ1,857Updated last week
- Compiler for the Vale programming language - http://vale.dev/β1,891Updated last year
- An alternative BEAM implementation, designed for WebAssemblyβ3,600Updated last year
- Tidy, feature-complete Web frameworkβ1,712Updated 5 months ago
- Hazel, a live functional programming environment with typed holesβ927Updated this week
- A Dependently Typed Functional Programming Languageβ3,455Updated 3 months ago
- A fast, friendly, functional language.β4,993Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraiβ¦β1,117Updated 2 months ago
- A safe, easy systems languageβ2,065Updated this week
- Lucet, the Sandboxing WebAssembly Compiler.β4,050Updated 3 years ago
- A purely functional programming language with first class typesβ2,664Updated last week
- Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystemsβ10,238Updated last month
- A Proof-oriented Programming Languageβ2,848Updated this week
- F# to JavaScript, TypeScript, Python, Rust and Dart Compilerβ2,995Updated this week
- A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.β4,845Updated this week
- A dynamic language and bytecode vmβ3,855Updated 2 weeks ago
- Clio is a functional, parallel, distributed programming language.β936Updated 2 years ago