Skip to content
View GalaxyGorilla's full-sized avatar

Organizations

@grisp

Block or report GalaxyGorilla

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A runtime verification tool for Erlang systems

Erlang 15 8 Updated Jan 18, 2024

Rebar3 plugin to generate CycloneDX SBoM

Erlang 10 10 Updated Aug 23, 2024

Concuerror is a stateless model checking tool for Erlang programs.

Erlang 334 42 Updated Dec 20, 2024

Tree-sitter Grammar for Erlang

Erlang 84 9 Updated Jan 20, 2025

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

OCaml 10,908 645 Updated Jan 21, 2025

Erlang library to create and connect an arbitrary cluster of nodes

Erlang 35 4 Updated Feb 26, 2024

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

Go 3,506 239 Updated Apr 3, 2024

OS overhaul for Miyoo Mini and Mini+

C 3,601 232 Updated Jan 19, 2025
C 98 94 Updated Jul 12, 2024

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

Go 50 27 Updated Dec 11, 2024

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

Erlang 127 63 Updated Sep 3, 2024

Erlang MQTT Bridge

Erlang 4 Updated May 22, 2024

A Streaming Process-based Skeleton Library for Erlang

Erlang 155 26 Updated Apr 8, 2020

yubihsm-shell and libyubihsm

C 96 54 Updated Jan 17, 2025

A Gradual type system for Erlang

Erlang 614 35 Updated Oct 11, 2024

Erlang interface to low level socket operations

C 283 80 Updated Dec 1, 2024

802.1x Ethernet Supplicant in Pure Erlang

Erlang 4 Updated May 16, 2024

Prometheus.io client in Erlang

Erlang 345 119 Updated Jul 5, 2024

Native Erlang implementation of OPCUA

Erlang 25 4 Updated Sep 8, 2023

Secure Element for GRiSP2

Erlang 4 1 Updated Jul 29, 2024

Erlang MQTT 5.0 Client

Erlang 411 168 Updated Jan 15, 2025

USB armory - The open source compact secure computer

Ruby 1,385 215 Updated Oct 29, 2024

UPX - the Ultimate Packer for eXecutables

C++ 14,887 1,392 Updated Jan 17, 2025

rebar3 plugin for generating docs with ex_doc

Erlang 43 15 Updated Dec 15, 2024

Rebar3 plugin to build docker images

Erlang 19 1 Updated May 9, 2024

OpenId Connect client library in Erlang & Elixir

Erlang 187 49 Updated Jan 20, 2025

Tool used in initramfs to seal/unseal FDE key to the TPM

C 24 5 Updated Jan 27, 2022

Create, configure, and manage AWS services from Erlang code.

Erlang 80 34 Updated Jan 20, 2025

SSL Certificates for Erlang

Erlang 132 34 Updated Jun 27, 2024

Tiny Erlang VM

C 1,546 109 Updated Jan 20, 2025
Next
Showing results