Repositories list

• sratic

  Public
  Python

  •0•0•0•0•Updated Nov 8, 2024Nov 8, 2024

• bib2json

  Public
  Convert a BibTeX file to JSON (with Typst bibtexparser)

  Rust

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Nov 5, 2024Nov 5, 2024

• bib

  Public
  SRA Bibliography

  TeX

  •3•3•0•0•Updated Nov 4, 2024Nov 4, 2024

• llfree-rs

  Public
  LLFree: Lock- and Log-free Allocator

  llfree

  Jupyter Notebook

  •

  MIT License

  •1•16•0•0•Updated Oct 29, 2024Oct 29, 2024

• texmf

  Public
  SRA TeX-MF Tree

  TeX

  •3•0•0•0•Updated Oct 29, 2024Oct 29, 2024

• linux-kpac

  Public
  Linux with kpac extensions

  kpac

  C

  •

  Other

  •54k•0•0•0•Updated Oct 1, 2024Oct 1, 2024

• kpac

  Public
  Software-Emulated Pointer Authentication

  kpac

  Jupyter Notebook

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Oct 1, 2024Oct 1, 2024

• llfree-linux

  Public
  LLFree in the Linux kernel

  llfree

  C

  •

  Other

  •54k•4•0•0•Updated Sep 20, 2024Sep 20, 2024

• llfree-c

  Public
  LLFree: Lock- and Log-free Allocator

  llfree

  C

  •

  MIT License

  •2•3•0•0•Updated Sep 2, 2024Sep 2, 2024

• linux

  Public
  Linux kernel source tree

  C

  •

  Other

  •54k•0•0•0•Updated Aug 12, 2024Aug 12, 2024

• linux-kmview

  Public
  Linux kernel with kernel-space views

  C

  •

  Other

  •54k•0•0•0•Updated Aug 2, 2024Aug 2, 2024

• SVF

  Public
  Static Value-Flow Analysis for C and C++ Programs

  C++

  •

  Other

  •436•0•0•0•Updated Jul 30, 2024Jul 30, 2024

• linux-alloc-bench

  Public
  Module for Benchmarking the Linux Allocator

  C

  •

  MIT License

  •1•1•0•0•Updated May 16, 2024May 16, 2024

• chickensoup

  Public
  Dummy repo

  Rust

  •2•0•2•0•Updated May 11, 2024May 11, 2024

• llfree-bench

  Public
  Collection of benchmark scripts for LLFree

  llfree

  Jupyter Notebook

  •0•1•0•0•Updated Apr 3, 2024Apr 3, 2024

• pyllco

  Public
  Python/Cython wrapper for a (subset of) LLVM

  Cython

  •

  GNU General Public License v3.0

  •1•0•0•1•Updated Jan 30, 2024Jan 30, 2024

• vorlesung-psu

  Public
  Folien und Skript zur Vorlesung "Programmiersprachen und Übersetzer"

  TeX

  •

  Other

  •2•12•0•0•Updated Jan 26, 2024Jan 26, 2024

• MinimaxSimulator

  Public
  Platform independent GUI-based Minimax simulator

  educationsystem-architecturejava11+ 2javaminimax-simulator

  Java

  •

  MIT License

  •5•7•5•5•Updated Aug 9, 2023Aug 9, 2023

• cte

  Public
  C

  •

  MIT License

  •0•1•0•0•Updated Jun 17, 2023Jun 17, 2023

• melf-linker

  Public
  Other

  •2•0•0•0•Updated May 24, 2023May 24, 2023

• linux-mmview

  Public
  Linux kernel with mmview extensions

  C

  •

  Other

  •54k•2•0•0•Updated Apr 30, 2023Apr 30, 2023

• ara

  Public
  Automatic Real-time system Analyzer

  C

  •3•4•0•0•Updated Apr 27, 2023Apr 27, 2023

• wfpatch-userland

  Public
  Userland library of wfpatch

  C

  •0•0•0•0•Updated Apr 17, 2023Apr 17, 2023

• wfpatch-kpatch

  Public
  A modified version of kpatch, originally used for WfPatch

  C

  •

  GNU General Public License v2.0

  •0•0•0•0•Updated Apr 17, 2023Apr 17, 2023

• linux-wfpatch

  Public
  Linux kernel with wfpatch extensions

  C

  •

  Other

  •522•0•0•0•Updated Aug 19, 2022Aug 19, 2022

• linux-stable

  Public
  Linux kernel stable tree mirror

  C

  •

  Other

  •522•0•0•0•Updated Aug 17, 2022Aug 17, 2022

• multiverse

  Public
  A (GCC) compiler plugin for multiversing functions

  C++

  •

  Other

  •4•19•4•0•Updated May 23, 2022May 23, 2022

• fail

  Public
  FAult Injection Leveraged

  C++

  •

  GNU General Public License v3.0

  •10•0•0•0•Updated May 10, 2022May 10, 2022

• multiverse-atlas-demo

  Public
  TeX

  •0•0•0•0•Updated Sep 14, 2021Sep 14, 2021

• lctes21

  Public
  LCTES '21 - Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults

  C++

  •0•1•0•0•Updated Apr 17, 2021Apr 17, 2021