c4dt Goto Github PK

.github

Default C4DT community health files

angr-platforms

A collection of extensions to angr to handle new platforms

angular-components

A library of shared Angular components

anomalib

An anomaly detection library comprising state-of-the-art algorithms and features such as experiment management, hyper-parameter optimization, and edge inference.

aoc_2022_16

blockchain_demo

Little demo for high-school students working on blockchains

byzcoin

Software for running a node in the dedis byzcoin network

c4dt.github.com

Webpage for engineers' training #101b

claripy

An abstraction layer for constraint solvers.

cle

CLE Loads Everything (at least, many binary formats!)

columbus-united

📦➿📦➿📦 Intuitive and insightful blockchain explorer 🔎

connectme

cothority

Scalable collective authority

cours_gyminf_sec

Cours GymInf hiver 2022

crypto-ts

Example of how to use the crypto-libraries in the DEDIS and C4DT libraries

d-voting

📧 E-Voting platform based on the Dela blockchain

dela

DEDIS Ledger Architecture

dela-apps

Host for the dela-based apps

dela-scripts

dp3t-app-android-ch

LibreCHovid is a fork of the SwissCovid contact tracing app for Switzerland. It does not rely on the proprietary Google-Apple Exposure Notification framework, but uses instead the compatible microG open implementation.

dp3t-sdk-android

This is a fork of the DP3T-SDK for Android. It does not rely on the proprietary Google-Apple Exposure Notification framework, but uses instead the compatible microG open implementation.

drynx

Decentralized, Secure, Verifiable System for Statistical Queries and Machine Learning on Distributed Datasets

eid-demo

Diploma issuance using the Swiss Governments Public Sandbox Test Infrastructure

eidch-pilot-android-wallet

Open Source Repo of Android wallet application for eLFA pilot

epfl-evoting

Evoting at EPFL project

evoting-explorer

A very succinct explorer of the EPFL e-voting tool

garfield

System Support for Byzantine Machine Learning

go-wasm

Engineers meeting on using Golang & WebAssembly

grafana-matrix

A Matrix notification ingress for Grafana alerting webhooks

klint

Repository for the "Automated Verification of Network Function Binaries" paper (NSDI'22).