Skip to content
Change the repository type filter

All

    Repositories list

    • d-voting

      Public
      📧 E-Voting platform based on the Dela blockchain
      Go
      8204813Updated Oct 28, 2025Oct 28, 2025
    • Scalafix implementation of Scapegoat linter for Scala 3
      Scala
      11430Updated Oct 15, 2025Oct 15, 2025
    • votegral

      Public
      End-to-End Verifiable, Coercion-Resistant Online Voting System w/ In-Person Registration
      Go
      1200Updated Oct 14, 2025Oct 14, 2025
    • Jupyter Notebook
      0100Updated Oct 11, 2025Oct 11, 2025
    • dela

      Public
      DEDIS Ledger Architecture
      Go
      1419254Updated Oct 10, 2025Oct 10, 2025
    • gd-pure

      Public
      Grounded deduction atop Isabelle/Pure
      Isabelle
      0000Updated Oct 8, 2025Oct 8, 2025
    • kyber

      Public
      Advanced crypto library for the Go language
      Go
      1816792120Updated Sep 8, 2025Sep 8, 2025
    • Solidity
      1000Updated Sep 1, 2025Sep 1, 2025
    • Rust
      0000Updated Jul 4, 2025Jul 4, 2025
    • Go
      0034Updated Jun 24, 2025Jun 24, 2025
    • A simple tool to check the latency of links connecting a distributed system
      Go
      1100Updated Jun 20, 2025Jun 20, 2025
    • quepaxa

      Public
      This is the code repository for QuePaxa project (formerly Raxos or QSCOD)
      Go
      53500Updated May 5, 2025May 5, 2025
    • Paxos and Raft implementation in Go-Lang
      Go
      3912Updated Apr 16, 2025Apr 16, 2025
    • twins

      Public
      Go
      0000Updated Mar 31, 2025Mar 31, 2025
    • An HTTP server that resets the TWINS demo state
      Go
      0000Updated Mar 31, 2025Mar 31, 2025
    • Sample frontend for a medical researcher to request patient consent
      TypeScript
      0000Updated Mar 31, 2025Mar 31, 2025
    • A small script that invokes tmtk to process a transmart study for data load
      Python
      0000Updated Mar 31, 2025Mar 31, 2025
    • twins-cli

      Public
      A CLI to simulate some workflows of the TWINs prototype
      TypeScript
      0000Updated Mar 31, 2025Mar 31, 2025
    • twins-app

      Public
      The patient-oriented consent management app for the TWINs project
      TypeScript
      0010Updated Mar 31, 2025Mar 31, 2025
    • Go lambda code hosted on AWS to redirect Go module requests
      Go
      1000Updated Mar 24, 2025Mar 24, 2025
    • Fun Fast Ledger in the browser - starting with the network using WebRTC data.
      Rust
      5003Updated Mar 7, 2025Mar 7, 2025
    • .github

      Public
      1000Updated Feb 25, 2025Feb 25, 2025
    • Paper for SOSP17
      Go
      0100Updated Feb 24, 2025Feb 24, 2025
    • bitcoin_parsing

      Public archive
      A very simple bitcoin blockchain parser
      C++
      10000Updated Feb 14, 2025Feb 14, 2025
    • Proof-of-personhood System
      Kotlin
      8358613Updated Jan 30, 2025Jan 30, 2025
    • hbt

      Public
      Kotlin
      1201Updated Dec 11, 2024Dec 11, 2024
    • purb-db

      Public
      A {key,value} storage that is PURBified before saving it to disk.
      Go
      0001Updated Dec 11, 2024Dec 11, 2024
    • Delayed execution implementation on Ethereum
      Go
      0406Updated Dec 11, 2024Dec 11, 2024
    • apir-code

      Public
      Go
      6611Updated Nov 25, 2024Nov 25, 2024
    • Python
      0001Updated Jul 9, 2024Jul 9, 2024