Alternatives and similar repositories for course-labs-2425

Users that are interested in course-labs-2425 are comparing it to the libraries listed below

• andreafra / ppl
  Exercises for course "Principles of Programming Languages" @ Polimi '23, '24
  ☆29Updated last week
• MarcoBalossini / gdbPy
  A python module to facilitate gdb scripting
  ☆10Updated 2 years ago
• flogosec / qemu-avr32
  The first AVR32 impelmentation for QEMU
  ☆44Updated last year
• bernardnongpoh / CallGraph
  A CallGraph Generation LLVM Pass for C and C++ program
  ☆30Updated 3 years ago
• bootlin / training-materials
  Bootlin embedded Linux and kernel training materials
  ☆718Updated last week
• Guray00 / ComputerEngineeringPoliTO
  Materiale didattico per gli studenti di Computer Engineering presso il Politecnico di Torino (classe L-8 ed LM-32).
  ☆62Updated 4 months ago
• KimHyungSub / Robotic-vehicle-software-tutorial
  ☆12Updated 9 months ago
• TrustworthyComputing / csaw_esc_2023
  ☆16Updated 3 months ago
• csartifacts / resources
  Resources on the Artifact Evaluation (AE) Process
  ☆17Updated 4 years ago
• diffblue / cbmc
  C Bounded Model Checker
  ☆960Updated 3 weeks ago
• d0u9 / Linux-Device-Driver
  Advanced examples of Linux Device Drivers (LDD3) and detailed manual for running examples in QEMU which is patched with virtual PCI, USB,…
  ☆515Updated 6 months ago
• ARM-software / abi-aa
  Application Binary Interface for the Arm® Architecture
  ☆1,130Updated 2 weeks ago
• Johannes4Linux / Linux_Driver_Tutorial_legacy
  A Tutorial how to get started with Linux Kernel Modules and Linux Drivers.
  ☆1,032Updated last year
• CactiLab / Sherloc-Cortex-M-CFVD
  SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems
  ☆16Updated last year
• umanovskis / baremetal-arm
  An ebook about bare-metal programming for ARM
  ☆776Updated 4 years ago
• tde-nico / demon_hill
  ☆11Updated last year
• HexHive / EL3XIR
  Fuzzing Secure Monitor Implementations
  ☆16Updated last year
• SVF-tools / Software-Security-Analysis
  Static Analysis Course
  ☆77Updated last month
• bitsndpieces / Pieces
  Compartmentalization using hardware and software techniques.
  ☆11Updated last month
• RiS3-Lab / SHiFT
  SHiFT: Semi-hosted Fuzz Testing for Embedded Applications
  ☆15Updated 10 months ago
• alex-maleno / Fuzzing-Module
  An interactive module to help you learn how to fuzz your first target
  ☆186Updated last year
• martinezjavier / ldd3
  Linux Device Drivers 3 examples updated to work in recent kernels
  ☆2,519Updated 5 months ago
• Streaming-Data-Analytics / Courseware
  The courseware of the course of Politecnico Di Milano offered by prof. Emanuele Della Valle together with Alessio Bernardo, Federico Gian…
  ☆28Updated 3 weeks ago
• amezin / vscode-linux-kernel
  Visual Studio Code project/compile_commands.json generator for Linux kernel sources and out-of-tree modules
  ☆638Updated 2 years ago
• PacktPublishing / Linux-Kernel-Programming
  Linux Kernel Programming, published by Packt
  ☆899Updated last year
• sheharyaar / linux-kernel-notes
  My notes on Linux Kernel working for LFX Linux Kernel Bug Fixing 2024
  ☆14Updated 11 months ago
• libdebug / libdebug
  A Python library to debug binary executables, your own way.
  ☆270Updated this week
• GiorgioSeguini / RL-generator-2021-2022
  Random test generator for Reti Logiche 2021-2022 project at Politecnico di Milano
  ☆11Updated 3 years ago
• S0NN1 / progetto-ing-sw-polimi
  Lista progetti per il corso Ingegneria del Software del Politecnico di Milano
  ☆38Updated 2 months ago
• renode / renode
  Renode - Antmicro's open source simulation and virtual development framework for complex embedded systems
  ☆2,025Updated this week