Skip to content
View sachaheizmann's full-sized avatar
😀
😀
1 follower · 0 following
  • EPFL
  • Lausanne

Organizations

@EPFLRocketTeam

Block or report sachaheizmann

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
sachaheizmann/README.md

Wagwan

Pinned Loading

  1. proBach proBach Public

    Differential Testing of Cryptographic Implementations Against a Formally Verified Lean Reference

    Rust

  2. gol gol Public

    game of life in assembly (cs200) riscV processor

    Assembly

  3. typst-summary-template typst-summary-template Public

    simple course summary template in typst

    Typst

  4. typst-cheatsheet-template typst-cheatsheet-template Public

    cheatsheet template in typst

    Typst

  5. pdfsplit pdfsplit Public

    A Python tool to automatically split all PDFs in a folder into smaller chunks (e.g., 15 pages each), organize them into clean subfolders under output_slides/, and safely handle duplicates. Useful f…

    Python