Decentralized and Distributed Systems Research Lab at EPFL

110 followers
Lausanne, Switzerland
http://dedis.epfl.ch/

Overview
Repositories
Projects
Packages
People

README.md

Hi 👋

DEDIS is the research laboratory of Prof. Bryan Ford, located at EPFL in Lausanne, Switzerland.

🚀 We build fast, scalable, and decentralized distributed protocols.

🎯 Our research topics span across blockchain technologies, zero-trust applications, decentralized financial systems, and secure and privacy-preserving technologies.

🧑‍💻 Core and on-going DEDIS projects can be found in the dedis GitHub org.

🧑‍🎓 Past student projects can be found in the dedis-students GitHub org.

Pinned Loading

dela dela Public

DEDIS Ledger Architecture

Go 19 13
kyber kyber Public

Advanced crypto library for the Go language

Go 701 179
d-voting d-voting Public

📧 E-Voting platform based on the Dela blockchain

Go 23 7
cothority cothority Public

Scalable collective authority

Go 431 102
quepaxa quepaxa Public

This is the code repository for QuePaxa project (formerly Raxos or QSCOD)

Go 67 6
prifi prifi Public archive

PriFi, a low-latency, local-area anonymous communication network.

Go 52 8

Repositories

Type Language

Select language

All C C# C++ CSS Go Groovy HTML Isabelle Java JavaScript Jupyter Notebook Kotlin Makefile Python Ruby Rust Scala Shell Solidity TeX TypeScript Vue

Sort

matchertext Public
Work-in-progress paper and experimental code on matchertext embeddable syntax discipline

dedis/matchertext's past year of commit activity

Python 13 1 3 0 Updated Aug 18, 2026
matchertext-sqlite Public
A sqlite driver implementing Matchertext as an injection attack prevention mechanism.

dedis/matchertext-sqlite's past year of commit activity

C 0 0 0 0 Updated Aug 18, 2026
gd-pure Public
Grounded deduction atop Isabelle/Pure

dedis/gd-pure's past year of commit activity

Isabelle 4 3 5 1 Updated Aug 17, 2026
ansible-prometheus Public Forked from mesaguy/ansible-prometheus
Ansible role for the management of Prometheus software and Prometheus exporters

dedis/ansible-prometheus's past year of commit activity

Ruby 0 MIT 30 0 0 Updated Aug 10, 2026
github-action-cla Public Forked from contributor-assistant/github-action
CLA Assistant GitHub Action

dedis/github-action-cla's past year of commit activity

TypeScript 0 Apache-2.0 145 0 2 Updated Aug 8, 2026
terraform-provider-libvirt Public Forked from dmacvicar/terraform-provider-libvirt
Terraform provider to provision infrastructure with Linux's KVM using libvirt

dedis/terraform-provider-libvirt's past year of commit activity

Go 0 535 0 3 Updated Jul 25, 2026
kyber Public
Advanced crypto library for the Go language

dedis/kyber's past year of commit activity

Go 701 179 21 (9 issues need help) 11 Updated Jun 22, 2026
quepaxa Public
This is the code repository for QuePaxa project (formerly Raxos or QSCOD)

dedis/quepaxa's past year of commit activity

Go 67 BSD-3-Clause 6 0 1 Updated Apr 12, 2026
votegral Public
End-to-End Verifiable, Coercion-Resistant Online Voting System w/ In-Person Registration

dedis/votegral's past year of commit activity

Go 3 1 0 1 Updated Mar 22, 2026
.github Public

dedis/.github's past year of commit activity

0 2 0 0 Updated Mar 22, 2026