Stars
A strongly-typed language that compiles to JavaScript
A friendly programming language from the future
A statically typed lisp, without a GC, for real-time applications.
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
A Dependently Typed Functional Programming Language
Agda is a dependently typed programming language / interactive theorem prover.
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
A GHC-based Haskell to JavaScript compiler
A proper subset of Haskell that compiles to JavaScript
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Kit: a magical, high performance programming language, designed for game development.
A programming language with static memory management based on λ-calculus
A peer-to-peer stack for code collaboration
HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
A native compiler backend for PureScript (via C++ or Golang)
A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web,…
A multi-syntax functional programming language that compiles to WebAssembly.
Simple blockchain server written in Haskell for educational purposes
Reach: The Safest and Smartest DApp Programming Language