Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.

Agentic Design Patterns

Squad: AI agent teams for any project

Lean 4 programming language and theorem prover

A wrapper for extracting world football (soccer) data from FBref, Transfermark, Understat

The Lamdera compiler extends the official Elm compiler with tooling that works for any regular Elm frontend project, as well as specific features for Elm projects on Lamdera: A delightful platform …

A basic webserver in Roc

A CLI tool to initialize new roc projects and add or update dependencies for existing projects.

Cross-platform Rust rewrite of the GNU coreutils

A toolkit for creating rich text editors in Elm

Awesome Roc

Cara language compiler

Data pipelines for cloud config and security data. Build cloud asset inventory, CSPM, FinOps, and vulnerability management solutions. Extract from AWS, Azure, GCP, and 70+ cloud and SaaS sources.

A fast, friendly, functional language.

Generates Elm modules out of SVG files

Work with elm.json and docs.json files in Elm

A powerful little TUI framework 🏗

Let's Play with Pact

You shouldn't ever lose your work if you're using Git

An Elm-inspired language that transpiles to TypeScript

MirageOS is a library operating system that constructs unikernels

Self hosted Web App panel for MQTT

Write CLI-scripts in Elm

What if you never had to write CSS again?

A prototype of a pure Elm text editor, forked from work of Sydney Nemzer.

Fundamental white label web component features for your design system.

Embed, extract, and validate capability claims in JWTs for WebAssembly modules

Open Web Components: guides, tools and libraries for developing web components.