Skip to content

@dedis Decentralized and Distributed Systems Research Lab at EPFL

All

    Repositories list

    125 repositories

    • matchertext

      Public
      Work-in-progress paper and experimental code on matchertext embeddable syntax discipline
      Go
      •1•13•3•1•Updated Nov 4, 2026Nov 4, 2026

    • accountability_for_acs

      Public
      Rust
      •
      MIT License
      •1•1•0•0•Updated Nov 3, 2026Nov 3, 2026

    • gd-pure

      Public
      Grounded deduction atop Isabelle/Pure
      Isabelle
      •3•4•5•2•Updated Oct 14, 2026Oct 14, 2026

    • pandoc

      Public
      Universal markup converter
      Haskell
      •
      GNU General Public License v2.0
      •5.1k•0•0•0•Updated Sep 18, 2026Sep 18, 2026

    • terraform-provider-libvirt

      Public
      Terraform provider to provision infrastructure with Linux's KVM using libvirt
      Go
      •525•0•0•3•Updated Sep 2, 2026Sep 2, 2026

    • matchertext-sqlite

      Public
      A sqlite driver implementing Matchertext as an injection attack prevention mechanism.
      C
      •
      Other
      •0•0•0•0•Updated Aug 18, 2026Aug 18, 2026

    • ansible-prometheus

      Public
      Ansible role for the management of Prometheus software and Prometheus exporters
      Ruby
      •
      MIT License
      •30•0•0•0•Updated Aug 10, 2026Aug 10, 2026

    • github-action-cla

      Public
      CLA Assistant GitHub Action
      TypeScript
      •
      Apache License 2.0
      •148•0•0•2•Updated Aug 8, 2026Aug 8, 2026

    • kyber

      Public
      Advanced crypto library for the Go language
      gocrypto-libraryelliptic-curves
      gocrypto-libraryelliptic-curves
      Go
      •
      Other
      •178•704•21•11•Updated Jun 22, 2026Jun 22, 2026

    • quepaxa

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

    • votegral

      Public
      End-to-End Verifiable, Coercion-Resistant Online Voting System w/ In-Person Registration
      Go
      •1•3•0•1•Updated Mar 22, 2026Mar 22, 2026

    • .github

      Public
      2•0•0•0•Updated Mar 22, 2026Mar 22, 2026

    • paxos-and-raft

      Public
      Paxos and Raft implementation in Go-Lang
      Go
      •
      BSD 3-Clause "New" or "Revised" License
      •3•9•1•3•Updated Mar 18, 2026Mar 18, 2026

    • limix

      Public
      Jupyter Notebook
      •0•0•0•1•Updated Mar 9, 2026Mar 9, 2026

    • kyber-test

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

    • dela

      Public
      DEDIS Ledger Architecture
      distributed-systemsframeworkblockchain
      distributed-systemsframeworkblockchainledgermodularity
      Go
      •
      BSD 3-Clause "New" or "Revised" License
      •13•19•25•7•Updated Feb 13, 2026Feb 13, 2026

    • d-voting

      Public
      📧 E-Voting platform based on the Dela blockchain
      blockchaine-voting
      blockchaine-voting
      Go
      •
      BSD 3-Clause "New" or "Revised" License
      •7•23•48•20•Updated Feb 10, 2026Feb 10, 2026

    • protobuf

      Public
      Reflection-based Protocol Buffers for Go
      Go
      •
      GNU General Public License v2.0
      •13•78•6•1•Updated Jan 14, 2026Jan 14, 2026

    • scapegoat-scalafix

      Public
      Scalafix implementation of Scapegoat linter for Scala 3
      Scala
      •
      GNU General Public License v3.0
      •1•18•3•0•Updated Oct 15, 2025Oct 15, 2025

    • cs234-public

      Public
      Solidity
      •1•0•0•0•Updated Sep 1, 2025Sep 1, 2025

    • toture-testing-consensus

      Public
      A framework for torture testing consensus protocols
      Rust
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Jul 8, 2025Jul 8, 2025

    • distributed-tcp-ping

      Public
      A simple tool to check the latency of links connecting a distributed system
      Go
      •
      BSD 3-Clause "New" or "Revised" License
      •1•1•0•0•Updated Jun 20, 2025Jun 20, 2025

    • twins

      Public archive
      Go
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated 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
      •0•0•0•0•Updated 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
      •0•0•0•0•Updated 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
      •0•0•0•0•Updated 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
      •0•0•0•0•Updated 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
      •0•0•1•0•Updated Mar 31, 2025Mar 31, 2025

    • go-imports

      Public
      Go lambda code hosted on AWS to redirect Go module requests
      Go
      •0•0•0•0•Updated Mar 24, 2025Mar 24, 2025

    • paper_18_ieeesnp_omniledger

      Public
      Paper for SOSP17
      Go
      •
      GNU Affero General Public License v3.0
      •0•2•0•0•Updated Feb 24, 2025Feb 24, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.