Signing server

Setup tool for bitbake based projects

One-Time-Programmable (OTP) fusing tool

GRiSP Alloy - Buildroot for GRiSP

A runtime verification tool for Erlang systems

Rebar3 plugin to generate CycloneDX SBoM

Concuerror is a stateless model checking tool for Erlang programs.

Tree-sitter Grammar for Erlang

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Erlang library to create and connect an arbitrary cluster of nodes

notes, honeypot, and exploit demo for the xz backdoor (CVE-2024-3094)

OS overhaul for Miyoo Mini and Mini+

An implementation of the Enrollment over Secure Transport (EST) certificate enrollment protocol

jesse (JSon Schema Erlang) is an implementation of a JSON Schema validator for Erlang.

Erlang MQTT Bridge

A Streaming Process-based Skeleton Library for Erlang

yubihsm-shell and libyubihsm

A Gradual type system for Erlang

Erlang interface to low level socket operations

802.1x Ethernet Supplicant in Pure Erlang

Prometheus.io client in Erlang

Native Erlang implementation of OPCUA

Secure Element for GRiSP2

Erlang MQTT 5.0 Client

USB armory - The open source compact secure computer

UPX - the Ultimate Packer for eXecutables

rebar3 plugin for generating docs with ex_doc

Rebar3 plugin to build docker images

OpenId Connect client library in Erlang & Elixir