Skip to content
Change the repository type filter

All

    Repositories list

    • Work-in-progress paper and experimental code on matchertext embeddable syntax discipline
      Go
      11122Updated Mar 9, 2026Mar 9, 2026
    • kyber

      Public
      Advanced crypto library for the Go language
      Go
      Other
      176690219Updated Mar 9, 2026Mar 9, 2026
    • limix

      Public
      Jupyter Notebook
      0001Updated Mar 9, 2026Mar 9, 2026
    • 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
      0050Updated Jan 24, 2026Jan 24, 2026
    • protobuf

      Public
      Reflection-based Protocol Buffers for Go
      Go
      GNU General Public License v2.0
      147861Updated Jan 14, 2026Jan 14, 2026
    • Go
      0036Updated Jan 12, 2026Jan 12, 2026
    • votegral

      Public
      End-to-End Verifiable, Coercion-Resistant Online Voting System w/ In-Person Registration
      Go
      1201Updated Nov 20, 2025Nov 20, 2025
    • Scalafix implementation of Scapegoat linter for Scala 3
      Scala
      GNU General Public License v3.0
      11730Updated Oct 15, 2025Oct 15, 2025
    • Jupyter Notebook
      0100Updated Oct 11, 2025Oct 11, 2025
    • Solidity
      1000Updated Sep 1, 2025Sep 1, 2025
    • Rust
      0000Updated Jul 4, 2025Jul 4, 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
    • quepaxa

      Public
      This is the code repository for QuePaxa project (formerly Raxos or QSCOD)
      Go
      BSD 3-Clause "New" or "Revised" License
      53600Updated May 5, 2025May 5, 2025
    • Paxos and Raft implementation in Go-Lang
      Go
      BSD 3-Clause "New" or "Revised" License
      3912Updated Apr 16, 2025Apr 16, 2025
    • twins

      Public
      Go
      BSD 3-Clause "New" or "Revised" License
      0000Updated Mar 31, 2025Mar 31, 2025
    • An HTTP server that resets the TWINS demo state
      Go
      BSD 3-Clause "New" or "Revised" License
      0000Updated Mar 31, 2025Mar 31, 2025
    • Sample frontend for a medical researcher to request patient consent
      TypeScript
      BSD 3-Clause "New" or "Revised" License
      0000Updated Mar 31, 2025Mar 31, 2025
    • 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
      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
      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
    • Fun Fast Ledger in the browser - starting with the network using WebRTC data.
      Rust
      Other
      5003Updated Mar 7, 2025Mar 7, 2025
    • .github

      Public
      1000Updated Feb 25, 2025Feb 25, 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
      7358613Updated Jan 30, 2025Jan 30, 2025
    • hbt

      Public
      Kotlin
      0201Updated Dec 11, 2024Dec 11, 2024