Skip to content
Change the repository type filter

All

    Repositories list

    • matchertext

      Public
      Work-in-progress paper and experimental code on matchertext embeddable syntax discipline
      Go
      11224Updated Apr 21, 2026Apr 21, 2026
    • kyber

      Public
      Advanced crypto library for the Go language
      Go
      Other
      177693224Updated Apr 15, 2026Apr 15, 2026
    • quepaxa

      Public
      This is the code repository for QuePaxa project (formerly Raxos or QSCOD)
      Go
      BSD 3-Clause "New" or "Revised" License
      53701Updated Apr 12, 2026Apr 12, 2026
    • votegral

      Public
      End-to-End Verifiable, Coercion-Resistant Online Voting System w/ In-Person Registration
      Go
      1201Updated Mar 22, 2026Mar 22, 2026
    • .github

      Public
      2000Updated Mar 22, 2026Mar 22, 2026
    • Paxos and Raft implementation in Go-Lang
      Go
      BSD 3-Clause "New" or "Revised" License
      3913Updated Mar 18, 2026Mar 18, 2026
    • limix

      Public
      Jupyter Notebook
      0001Updated Mar 9, 2026Mar 9, 2026
    • kyber-test

      Public
      High level tests for the kyber library
      Go
      Mozilla Public License 2.0
      0002Updated Feb 25, 2026Feb 25, 2026
    • dela

      Public
      DEDIS Ledger Architecture
      Go
      BSD 3-Clause "New" or "Revised" License
      1320257Updated Feb 13, 2026Feb 13, 2026
    • d-voting

      Public
      📧 E-Voting platform based on the Dela blockchain
      Go
      BSD 3-Clause "New" or "Revised" License
      7234820Updated Feb 10, 2026Feb 10, 2026
    • gd-pure

      Public
      Grounded deduction atop Isabelle/Pure
      Isabelle
      1150Updated Jan 24, 2026Jan 24, 2026
    • protobuf

      Public
      Reflection-based Protocol Buffers for Go
      Go
      GNU General Public License v2.0
      137861Updated Jan 14, 2026Jan 14, 2026
    • Scalafix implementation of Scapegoat linter for Scala 3
      Scala
      GNU General Public License v3.0
      11730Updated Oct 15, 2025Oct 15, 2025
    • Solidity
      1000Updated Sep 1, 2025Sep 1, 2025
    • A framework for torture testing consensus protocols
      Rust
      BSD 3-Clause "New" or "Revised" License
      0100Updated Jul 8, 2025Jul 8, 2025
    • A simple tool to check the latency of links connecting a distributed system
      Go
      BSD 3-Clause "New" or "Revised" License
      1100Updated Jun 20, 2025Jun 20, 2025
    • twins

      Public archive
      Go
      BSD 3-Clause "New" or "Revised" License
      0000Updated Mar 31, 2025Mar 31, 2025
    • twins-demo-reset

      Public archive
      An HTTP server that resets the TWINS demo state
      Go
      BSD 3-Clause "New" or "Revised" License
      0000Updated Mar 31, 2025Mar 31, 2025
    • twins-researcher-ui

      Public archive
      Sample frontend for a medical researcher to request patient consent
      TypeScript
      BSD 3-Clause "New" or "Revised" License
      0000Updated Mar 31, 2025Mar 31, 2025
    • twins-data-processor

      Public archive
      A small script that invokes tmtk to process a transmart study for data load
      Python
      BSD 3-Clause "New" or "Revised" License
      0000Updated Mar 31, 2025Mar 31, 2025
    • twins-cli

      Public archive
      A CLI to simulate some workflows of the TWINs prototype
      TypeScript
      BSD 3-Clause "New" or "Revised" License
      0000Updated Mar 31, 2025Mar 31, 2025
    • twins-app

      Public archive
      The patient-oriented consent management app for the TWINs project
      TypeScript
      BSD 3-Clause "New" or "Revised" License
      0010Updated Mar 31, 2025Mar 31, 2025
    • Go lambda code hosted on AWS to redirect Go module requests
      Go
      0000Updated Mar 24, 2025Mar 24, 2025
    • Paper for SOSP17
      Go
      GNU Affero General Public License v3.0
      0200Updated 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
      GNU Affero General Public License v3.0
      8358613Updated Jan 30, 2025Jan 30, 2025
    • hbt

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

      Public
      A {key,value} storage that is PURBified before saving it to disk.
      Go
      BSD 3-Clause "New" or "Revised" License
      0001Updated Dec 11, 2024Dec 11, 2024
    • apir-code

      Public
      Go
      GNU General Public License v3.0
      6611Updated Nov 25, 2024Nov 25, 2024
    • Python
      MIT License
      0001Updated Jul 9, 2024Jul 9, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.