darklang / darkLinks
Darklang main repo, including language, backend, and infra
β2,099Updated 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,366Updated 2 months ago
- A friendly programming language from the futureβ6,200Updated this week
- Koka language compiler and interpreterβ3,639Updated last week
- Maintainable configuration filesβ4,368Updated 5 months ago
- Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.β1,421Updated this week
- Hazel, a live functional programming environment with typed holesβ1,031Updated this week
- The Flix Programming Languageβ2,477Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssemblyβ4,780Updated 5 months ago
- A code rewrite tool for structural search and replace that supports ~every language.β2,545Updated 3 weeks ago
- Irmin is a distributed database that follows the same design principles as Gitβ1,896Updated 2 weeks ago
- Clio is a functional, parallel, distributed programming language.β935Updated 2 years ago
- Systems language with linear types and capability-based security.β1,388Updated last month
- Tidy, feature-complete Web frameworkβ1,755Updated last week
- A fast, friendly, functional language.β5,200Updated this week
- MirageOS is a library operating system that constructs unikernelsβ2,729Updated last week
- A purely functional programming language with first class typesβ2,738Updated last week
- A language for building concurrent software with confidenceβ1,209Updated this week
- Compiler for the Vale programming language - http://vale.dev/β1,925Updated last year
- A modern proof languageβ3,699Updated 8 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraiβ¦β1,144Updated 5 months ago
- Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.β1,310Updated this week
- System for collecting, deriving and working with facts about source code.β1,265Updated this week
- Enso Analytics is a self-service data prep and analysis platform designed for data teams.β7,440Updated this week
- A fast and lightweight native programming languageβ1,345Updated last week
- A mixture of tooling combined to produce JavaScript from OCaml & Reasonβ927Updated last week
- A safe, easy systems languageβ2,124Updated 2 months ago
- Programming language for literate programming law specificationβ2,100Updated this week
- Official documentation website for the ReScript programming languageβ1,861Updated last week
- A small extensible programming language designed for concise expression with little code.β1,078Updated last year
- A dynamic language and bytecode vmβ4,003Updated this week