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
Updated 2025-11-26 02:29:01 +09:00
Aeternity virtual machines byte code modules
Updated 2025-11-25 10:31:03 +09:00
Updated 2025-11-24 05:34:50 +09:00
Updated 2025-11-23 08:40:09 +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
A desktop wallet for the Gajumaru blockchain system
Updated 2025-11-19 21:17:10 +09:00
Serialization formats for the Gajumaru
Updated 2025-11-19 19:36:18 +09:00
Updated 2025-11-19 19:24:39 +09:00
Updated 2025-11-19 19:17:47 +09:00
Updated 2025-11-19 00:41:48 +09:00
Stand alone compiler for the Sophia smart contract language
Updated 2025-11-18 12:07:57 +09:00
Updated 2025-11-17 17:48:16 +09:00
Updated 2025-11-14 20:52:00 +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