Repositories Users Organizations
Filter
Sort
QPQ-AG/ hakuzaru
Erlang 0 0
Updated 2025-12-06 06:48:37 +09:00
QPQ-AG/ erlang-sha3
C 0 0
Updated 2025-12-06 05:58:13 +09:00
QPQ-AG/ enoise
Erlang 0 0
Updated 2025-12-05 16:10:51 +09:00
QPQ-AG/ gmserialization
Erlang 0 0
Serialization formats for the Gajumaru
Updated 2025-12-05 15:27:55 +09:00
QPQ-AG/ mnesia_rocksdb
Erlang 0 0
Updated 2025-12-05 14:53:56 +09:00
QPQ-AG/ gmbytecode
Erlang 0 0
Aeternity virtual machines byte code modules
Updated 2025-12-05 14:37:50 +09:00
QPQ-AG/ gmminer
Erlang 0 0
Updated 2025-12-05 11:54:31 +09:00
QPQ-AG/ GajuDesk
Erlang 0 0
A desktop wallet for the Gajumaru blockchain system
Updated 2025-12-05 08:10:23 +09:00
QPQ-AG/ ecrecover
Erlang 0 0
Updated 2025-12-05 05:13:54 +09:00
QPQ-AG/ erl-base58
Erlang 0 0
Updated 2025-12-04 23:43:23 +09:00
QPQ-AG/ enacl
Erlang 0 0
Updated 2025-12-04 22:26:10 +09:00
QPQ-AG/ sophia
Erlang 0 0
Stand alone compiler for the Sophia smart contract language
Updated 2025-12-04 18:14:32 +09:00
pharpend/ number-theory
Coq 0 0
Coq proofs of some cryptography ideas, for learning purposes.
Updated 2025-12-03 15:28:30 +09:00
QPQ-AG/ GajuMine
Erlang 0 0
Gajumaru mining pool client
Updated 2025-12-03 09:42:49 +09:00
QPQ-AG/ gmhive_client
Erlang 0 0
Updated 2025-12-01 05:29:30 +09:00
QPQ-AG/ zx_rebar_plugin
Erlang 0 0
A rebar3 plugin for applications using both rebar3 and zx.
Updated 2025-11-28 07:03:35 +09:00
spivee/ number-theory
Coq 0 1
Coq proofs of some cryptography ideas, for learning purposes.
Updated 2025-11-26 20:23:05 +09:00
pharpend/ fewd
Erlang 0 0
Updated 2025-11-20 03:56:18 +09:00
spivee/ msp
Erlang 0 0
Minimal Stream Protocol, reliable streaming of data over UDP
Updated 2025-10-31 20:36:44 +09:00
QPQ-AG/ QHL
Erlang 0 1
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