A static, type inferred and embeddable language written in Rust.

The foundation of HTML and SVG in Elm.

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

A data access library for Scala + Postgres.

A keen Observer of changes that can also relay change events reliably to interested parties. Provides useful infrastructure for building Eventually Consistent data sources and systems.

Experimental Scala compiler focused on compilation speed

Type-safe, statically checked composition of HTTP servers

Example Scala blog application using event sourcing, memory image, and the Play! 2.0 framework.

A modern editor with a backend written in Rust.

Framework for building applications based on the elm architecture.

F# to JavaScript, TypeScript, Python, Rust and Dart Compiler

🔥 An extremely fast, React-like JavaScript library for building modern user interfaces

Demo of SAFE-Stack applied to React Native for cross platform native mobile apps

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

A state container for Java & Kotlin, inspired by Redux & Elm

Event Sourcing library in Haskell

EventStore Haskell TCP Client

A document-oriented database library for Haskell

TrailDB is an efficient tool for storing and querying series of events

A type-safe, non-TH Haskell SQL library and ORM

Haskell Everywhere!

UIKit a-là SwiftUI.framework [min deployment target iOS10]

Visual Studio Code

An extension to bring ghc-mod to vs code

Relational algebra

The compiler for ReScript.

Data frames for tabular data.