Erlang Language Platform. LSP server and CLI.

Simple Set-Theoretic Types library

Set Theoretic Types

Truly independent web browser

SEEK thermal compact camera driver supporting the thermal Compact, thermal CompactXR and and thermal CompactPRO

Chromium running inside your terminal

Static typechecker for Erlang

A community-supported supercharged document management system: scan, index and archive all your documents

Distributed systems infrastructure used by Riak.

Java Lightweight HTTP Server (Web Server)

Diablo build for modern operating systems

A planet scale, highly available, transactional database built on CRDT technology