TitusVM

mtheme

A modern LaTeX Beamer theme

rust

Empowering everyone to build reliable and efficient software.

zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

riscv-isa-manual

RISC-V Instruction Set Manual

joshuto

ranger-like terminal file manager written in Rust

ba-thesis-oauth-tee-worker

Integritee off-chain worker and sidechain validateer

elements

Charte graphique Web EPFL

veloren

An open world, open source voxel RPG inspired by Dwarf Fortress and Cube World. This repository is a mirror. Please submit all PRs and issues on our GitLab page.

cv

rust-sgx

The Fortanix Rust Enclave Development Platform

Design-Pattern

Divers projets sur le cours de Design Pattern

Infographie

Modélisation d'objets avec Blender

unine-twine

TWINE: An Embedded Trusted Runtime for WebAssembly. This is the repository that contains the source code of Twine and the related benchmarks.

unine-watz

WaTZ: A Trusted WebAssembly Runtime Environment with Remote Attestation for TrustZone.

wasm-micro-runtime

WebAssembly Micro Runtime (WAMR)

HabiTrack

Habit tracker using Django

integritee-node

Integritee node with TEE registry validating remote attestation

ma-thesis-no-data-collection

ba-thesis-oauth-tee

pallets

sgx-runtime

a substrate runtime template to be instantiated inside the Integritee-worker enclave

worker

Integritee off-chain worker and sidechain validateer

cours-manager-2000

Projet Laravel réalisé dans le cadre du cours [3251.3 Développement web I]