Skip to content
View timothytrippel's full-sized avatar

Organizations

@googlers

Block or report timothytrippel

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
  • opentitan Public

    Forked from lowRISC/opentitan

    OpenTitan: Open source silicon root of trust

    SystemVerilog 1 Apache License 2.0 Updated Nov 27, 2024
  • Reference OpenTitan Provisioning Infrastructure

    Go Apache License 2.0 Updated Oct 21, 2024
  • crt Public

    Forked from lowRISC/crt

    Compiler Repository Toolkit

    Starlark Apache License 2.0 Updated Oct 17, 2024
  • mywebsite Public

    personal website (timothytrippel.com)

    HTML 3 1 BSD 3-Clause "New" or "Revised" License Updated Sep 26, 2024
  • Some Internal Linter Scripts

    Python Apache License 2.0 Updated Apr 23, 2024
  • Bazel Python Rules

    Starlark Apache License 2.0 Updated Mar 12, 2024
  • ChipWhisperer - the complete open-source toolchain for side-channel power analysis and glitching attacks

    VHDL Other Updated Oct 27, 2023
  • ot-sca Public

    Forked from lowRISC/ot-sca

    Side-channel analysis setup for OpenTitan

    Jupyter Notebook Apache License 2.0 Updated Oct 17, 2023
  • rules_rust Public

    Forked from lowRISC/rules_rust

    Rust rules for Bazel

    Starlark Apache License 2.0 Updated Sep 16, 2023
  • fusesoc Public

    Forked from lowRISC/fusesoc

    Package manager and build abstraction tool for FPGA/ASIC development

    Python BSD 2-Clause "Simplified" License Updated Sep 7, 2023
  • bomberman Public

    Jupyter Notebook 1 BSD 2-Clause "Simplified" License Updated Nov 22, 2022
  • Serde Serializer with formatting controls

    Rust Apache License 2.0 Updated Nov 2, 2022
  • Tools for embedded/bare-metal development using bazel

    Starlark MIT License Updated Apr 8, 2022
  • rfuzz Public

    Forked from ekiwi/rfuzz

    rfuzz: coverage-directed fuzzing for RTL research platform

    Rust BSD 3-Clause "New" or "Revised" License Updated May 24, 2021
  • verilator Public

    Forked from verilator/verilator

    Verilator open-source SystemVerilog simulator and lint system

    C++ GNU Lesser General Public License v3.0 Updated Oct 6, 2020
  • AFL Public

    Forked from google/AFL

    american fuzzy lop - a security-oriented fuzzer

    C Apache License 2.0 Updated Jul 30, 2020
  • aflgo Public

    Forked from aflgo/aflgo

    Directed Greybox Fuzzing with AFL

    C Updated Jul 17, 2020
  • Buggy SoC used for the second phase of the Hack@DAC 2018 hardware security competition.

    SystemVerilog Other Updated May 15, 2020
  • picorv32 Public

    Forked from YosysHQ/picorv32

    PicoRV32 - A Size-Optimized RISC-V CPU

    Verilog Updated Sep 25, 2019
  • adamy Public

    Adamy Valuation

    Jupyter Notebook 1 1 Updated Jun 26, 2017
  • Stylometric Tools

    HTML 1 1 Updated Sep 30, 2015
  • Arduino C code for a flashing lights bar I designed.

    Arduino Updated Sep 30, 2015
  • Some Encryption/Security tools I have built in Python for fun (i.e. AES, DES, RC4, RSA, SHA-512)

    Python 1 Updated Sep 30, 2015
  • Aqualizer Public

    Water jet audio visualizer project - redesigned and rebuilt.

    Updated Aug 19, 2014