Skip to content
View samuelchassot's full-sized avatar
26 followers · 22 following

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Galaxy BrainAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Galaxy BrainAchievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report samuelchassot

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
samuelchassot/README.md

Hi there 👋

Samuel's github stats

Pinned

  1. epfl-lara/bolts epfl-lara/bolts Public

    Bolts: Stainless Verified Scala Examples

    Scala 16 11

  2. dslab-epfl/svshi dslab-epfl/svshi Public

    Formal verification for smart infrastructure (buildings, cities, etc.)

    Python 8 2

  3. tinynf-csharp tinynf-csharp Public

    Semester project - Master in computer science at EPFL. Write a driver in C# for a network card.

    C# 5

  4. FormalVerification-PrefixFreeCodes FormalVerification-PrefixFreeCodes Public

    PostScript

  5. didactic-meme/pyfuncol didactic-meme/pyfuncol Public

    Functional collections extension functions for Python

    Python 32 2

  6. danielementary/Unsupervised-Image-to-Image-Translation danielementary/Unsupervised-Image-to-Image-Translation Public

    Jupyter Notebook 1