Popular repositories Loading

1. aleph-node aleph-nodePublic

   Forked from Cardinal-Cryptography/aleph-node

   Node implementation for aleph blockchain built with Substrate framework

   Rust 2

2. mpc-on-tcs mpc-on-tcsPublic

   Rust 2 1

3. AlephBFT AlephBFTPublic

   Forked from Cardinal-Cryptography/AlephBFT

   rust implementation of Aleph protocol

   Rust 1

4. BurnQED BurnQEDPublic

   Lean 4 theorem prover combining LLM policy with Energy-Based Model value function, trained via expert iteration.

   Rust 1

5. projekt-Scrabble projekt-ScrabblePublic

   Forked from timorl/projekt-Scrabble

   Java

6. dkm-healthcare dkm-healthcarePublic

   Forked from dokaptur/dkm-healthcare

   data-bases and network protocols project (healthcare system)

   Java