yannishuber

yannishuber's Stars

• keephq/keep

  The open-source alert management and AIOps platform

  Language:Python8.8k787

• embassy-rs/embassy

  Modern embedded framework, using Rust and async.

  Language:Rust5.9k841

• nicolasfeyer/KWS-SIFT

  Python code to perform keyword spotting using SIFT features

  Language:Python5

• quartzjer/cb0r

  Minimal Zero-Footprint CBOR Decoder in C

  Language:C5612

• renode/renode

  Renode - Antmicro's open source simulation and virtual development framework for complex embedded systems

  Language:RobotFramework1.7k299

• fdehau/tui-rs

  Build terminal user interfaces and dashboards using Rust

  Language:Rust10.8k487

• littlefs-project/littlefs

  A little fail-safe filesystem designed for microcontrollers

  Language:C5.3k810

• CMU-SAFARI/SoftMC

  SoftMC is an experimental FPGA-based memory controller design that can be used to develop tests for DDR3 SODIMMs using a C++ based API. The design, the interface, and its capabilities and limitations are discussed in our HPCA 2017 paper: "SoftMC: A Flexible and Practical Open-Source Infrastructure for Enabling Experimental DRAM Studies" <https://people.inf.ethz.ch/omutlu/pub/softMC_hpca17.pdf>

  Language:Verilog12927

• JackKelly/climate-change-mitigation

  Using computer science to mitigate climate change: lists of topics, conferences, etc.

  9311

• OpenCoreCH/ethz_cs_summaries

  Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science

  1398

• dcetin/eth-cs-notes

  Lecture notes and cheatsheets for Master's in Computer Science at ETH Zurich

  Language:TeX60887

• eth-cs-student-summaries/Algorithmik-fuer-Schwere-Probleme

  Summary for Algorithmik für Schwere Probleme at ETH Zürich (2021)

  Language:TeX31

• eth-cs-student-summaries/Information-Security

  Summary for Information Security at ETH Zürich (2020)

  Language:TeX7

• viperproject/prusti-dev

  A static verifier for Rust, based on the Viper verification infrastructure.

  Language:Rust1.6k109

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.9k661

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#3k266

• google/security-research

  This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.

  Language:C3.5k418

• noschinl/cyp

  Checker for "morally correct" induction proofs about haskell programs

  Language:Haskell2910

• cszn/USRNet

  Deep Unfolding Network for Image Super-Resolution (CVPR, 2020) (PyTorch)

  Language:Python872115

• project-oak/silveroak

  Formal specification and verification of hardware, especially for security and privacy.

  Language:Coq12320

• solbjorg/oberon-riscv

  Oberon RISC-V port, based on Samuel Falvo's RISC-V compiler and Peter de Wachter's Project Norebo. Part of an academic project to evaluate Project Oberon on RISC-V.

  Language:Modula-2763

• IAIK/ZombieLoad

  Proof-of-concept for the ZombieLoad attack

  Language:C812122

• intel/Intel-Linux-Processor-Microcode-Data-Files

  67873

• riscv/sail-riscv

  Sail RISC-V model

  Language:Coq488172

• vusec/ridl

  RIDL test suite and exploits

  Language:C35454

• spectector/spectector

  Automatic detection of speculative information flows

  Language:Prolog6711

• ibm-research/speculator

  Tool to Analyze Speculative Execution Attacks and Mitigations

  Language:C5316

• laanwj/k210-sdk-stuff

  Kendryte K210 / MaixGo stuff

  Language:C14732

• kendryte/kendryte-standalone-sdk

  Standalone SDK for kendryte K210

  Language:C447162

• riscvarchive/riscv-v-spec

  Working draft of the proposed RISC-V V vector extension

  Language:Assembly989271