Repositories list

• doctor-cluster-config

  Public
  The servers configurations of https://dse.in.tum.de/

  buildbot-tum-dse

  Nix

  •11•30•1•3•Updated Mar 30, 2025Mar 30, 2025

• svsm

  Public
  COCONUT-SVSM

  C

  •

  MIT License

  •50•1•0•1•Updated Mar 29, 2025Mar 29, 2025

• aarch64-air-lifter

  Public
  Rust

  •0•0•0•0•Updated Mar 28, 2025Mar 28, 2025

• Vitis_Accel_Examples

  Public
  Vitis_Accel_Examples

  Makefile

  •

  MIT License

  •215•0•0•0•Updated Mar 27, 2025Mar 27, 2025

• appclick-ubpf

  Public
  buildbot-tum-dse

  C

  •0•0•1•0•Updated Mar 23, 2025Mar 23, 2025

• gramine-svsm

  Public
  A library OS for Linux multi-process applications, ported to SVSM.

  C

  •

  GNU Lesser General Public License v3.0

  •211•1•0•1•Updated Mar 20, 2025Mar 20, 2025

• research-work-archive

  Public
  Finished theses

  Shell

  •58•5•0•0•Updated Mar 19, 2025Mar 19, 2025

• CVM_eval

  Public
  Evaluation code for confidential virtual machines (AMD SEV-SNP / Intel TDX)

  Python

  •

  MIT License

  •3•9•28•0•Updated Mar 18, 2025Mar 18, 2025

• seminars

  Public
  Seminars

  0•8•0•0•Updated Mar 17, 2025Mar 17, 2025

• jetpack-nixos

  Public
  Nix

  •

  MIT License

  •0•1•0•0•Updated Mar 14, 2025Mar 14, 2025

• nixpkgs

  Public
  Nix Packages collection

  Nix

  •

  MIT License

  •15k•0•0•0•Updated Mar 7, 2025Mar 7, 2025

• uintr-linux-kernel

  Public
  C

  •

  Other

  •11•0•0•0•Updated Mar 5, 2025Mar 5, 2025

• focaccia

  Public
  Repository for development work on DBT Testing

  Python

  •0•1•5•0•Updated Feb 25, 2025Feb 25, 2025

• cage-meta

  Public
  0•0•0•0•Updated Feb 24, 2025Feb 24, 2025

• llvm-memsafe-wasm

  Public
  A LLVM fork to implement MTE-based memory safety for WASM

  LLVM

  •

  Other

  •13k•0•0•2•Updated Feb 21, 2025Feb 21, 2025

• wasmtime-mte

  Public
  A fork of wasmtime to implement MTE-based memory safety for WASM

  Rust

  •

  Apache License 2.0

  •1.4k•0•0•3•Updated Feb 21, 2025Feb 21, 2025

• wasm-tools-mte

  Public
  A wasm-tools fork to implement MTE-based memory safety for WASM

  Rust

  •

  Apache License 2.0

  •272•0•0•1•Updated Feb 21, 2025Feb 21, 2025

• research-work-info

  Public
  Thesis info

  3•14•0•0•Updated Feb 21, 2025Feb 21, 2025

• TNIC-main

  Public
  MIT License

  •0•2•0•0•Updated Feb 10, 2025Feb 10, 2025

• asl-interpreter

  Public
  Example implementation of Arm's Architecture Specification Language (ASL). This fork adds a flake.nix so it can be used on nixos.

  OCaml

  •

  Other

  •33•1•0•0•Updated Feb 9, 2025Feb 9, 2025

• llama.cpp

  Public
  LLM inference in C/C++

  C++

  •

  MIT License

  •11k•0•0•0•Updated Jan 30, 2025Jan 30, 2025

• TNIC-sw

  Public
  C++

  •

  MIT License

  •0•0•0•0•Updated Jan 30, 2025Jan 30, 2025

• TNIC-proofs

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated Jan 30, 2025Jan 30, 2025

• TNIC-hw

  Public
  Verilog

  •

  MIT License

  •0•0•0•0•Updated Jan 30, 2025Jan 30, 2025

• rodinia

  Public
  Julia ports of the Rodinia benchmark suite for heterogeneous computing infrastructures

  C

  •

  Other

  •34•0•0•0•Updated Jan 30, 2025Jan 30, 2025

• serverless-benchmarks-data

  Public
  TeX

  •4•0•0•0•Updated Jan 27, 2025Jan 27, 2025

• sys-lab

  Public
  Computer Systems Lab

  1•10•0•0•Updated Jan 14, 2025Jan 14, 2025

• rosetta_vitis

  Public
  forked from icgrp/rosetta_vitis

  Verilog

  •

  BSD 3-Clause "New" or "Revised" License

  •1•1•0•0•Updated Dec 17, 2024Dec 17, 2024

• CHERI-Google-BTree

  Public
  C++

  •

  Apache License 2.0

  •0•0•0•0•Updated Nov 18, 2024Nov 18, 2024

• weaver

  Public
  OpenQASM

  •0•1•0•0•Updated Nov 12, 2024Nov 12, 2024