Updated 2025-11-28 03:39:50 +09:00
Serialization formats for the Gajumaru
Updated 2025-11-28 03:39:49 +09:00
Aeternity virtual machines byte code modules
Updated 2025-11-28 03:15:22 +09:00
Updated 2025-11-28 03:05:21 +09:00
Updated 2025-11-28 03:04:31 +09:00
Stand alone compiler for the Sophia smart contract language
Updated 2025-11-28 03:04:31 +09:00
Updated 2025-11-28 03:04:30 +09:00
Updated 2025-11-28 03:04:30 +09:00
Updated 2025-11-28 03:04:30 +09:00
A desktop wallet for the Gajumaru blockchain system
Updated 2025-11-28 03:04:29 +09:00
Updated 2025-11-28 03:01:32 +09:00
Updated 2025-11-28 01:48:27 +09:00
A rebar3 plugin for applications using both rebar3 and zx.
Updated 2025-11-28 00:16:13 +09:00
Coq proofs of some cryptography ideas, for learning purposes.
Updated 2025-11-26 20:23:05 +09:00
Gajumaru mining pool client
Updated 2025-11-21 11:59:21 +09:00
Updated 2025-11-20 03:56:18 +09:00
Updated 2025-11-19 21:41:23 +09:00
Minimal Stream Protocol, reliable streaming of data over UDP
Updated 2025-10-31 20:36:44 +09:00
The Quick HTTP Library for Erlang. You write the server, but the HTTP goo is handled in a non-mysterious way.
Updated 2025-10-22 09:27:24 +09:00
graduated argument parser: experiment with standardized argument parsing lib erlang
Updated 2025-10-21 06:17:29 +09:00