Koka language compiler and interpreter

A purely functional programming language with first class types

The pure asynchronous runtime for Scala

The Scala 3 compiler, also known as Dotty.

Core Erlang

A PureScript web UI framework

An opinionated set of bindings to the React library, optimizing for the most basic use cases

An implementation of React hooks on top of purescript-react-basic

A declarative, type-safe UI library for PureScript.

Erlang backend for the PureScript compiler

Erlang/Elixir integration for Swift Distributed Actors

The first ever roguelike written in the OCaml type system

A strongly-typed language that compiles to JavaScript

DNS server, in Erlang.

A software raytracing engine written in WebGPU

A free book: "The Science of Functional Programming"

Heaps : Haxe Game Framework

Productivity improvements for Rust ecosystem: warnings are skipped until errors are fixed, LSP-independent Neovim integration, etc.

Haxe - The Cross-Platform Toolkit

ReScript bindings for React Native

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

A mixture of tooling combined to produce JavaScript from OCaml & Reason

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

Elm-inspired Scala UI library.

An FP game engine for Scala.

New Godot bindings for Swift

Experimental WasmGC backend for Scala.js | merging into the upstream Scala.js repo https://github.com/scala-js/scala-js/pull/4988

A strawman for a low-level async library in Scala 3.