samuelchassot

PhD student in Computer Science @ EPFL Switzerland

EPFLSwitzerland

Pinned Repositories

Unsupervised-Image-to-Image-Translation
Language:Jupyter Notebook10
pyfuncol
Functional collections extension functions for Python
Language:Python32 3 72
svshi
Formal verification for smart infrastructure (buildings, cities, etc.)
Language:Python9 7 03
bolts
Bolts: Stainless Verified Scala Examples
Language:Scala17 11 612
FormalVerification-PrefixFreeCodes
Language:PostScript0 3 00
Master-thesis-svshi-pdf
1 2 00
SDP-SwissTeam
Language:Java33
TechTeam-Lauzhack
Language:Java1 3 01
tinynf-csharp
Semester project - Master in computer science at EPFL. Write a driver in C# for a network card.
Language:C#5 2 00
VerifiedLexer
Language:Scala2 3 20

samuelchassot's Repositories

samuelchassot/SDP-SwissTeam
Language:Java33
samuelchassot/TechTeam-Lauzhack
Language:Java1 3 01
samuelchassot/VSCode-Scala-Formatter
A language server for Visual Studio Code which formats Scala Code (with Enum)
Language:TypeScript1 2 0
samuelchassot/Amy-Compiler-CLP-EPFL
Language:Scala
samuelchassot/ArchSoc-Labs
Language:VHDL
samuelchassot/dsp-labs
GitBook for COM-303 Practical Sessions at EPFL.
Language:Python
samuelchassot/GameOfLife
Very simple game of life.
Language:Python2 0
samuelchassot/MultiProcArch-assignments
Language:Mathematica
samuelchassot/scalafmt
Code formatter for Scala
Language:Scala
samuelchassot/scalameta
Library to read, analyze, transform and generate Scala programs
Language:Scala2 0
samuelchassot/scalameta-semester-project
Scalameta Semester Project
2 0
samuelchassot/Tetris
Language:Python1 0
samuelchassot/trees
Scalameta syntax tree definitions
Language:Scala