Pinned Repositories
Unsupervised-Image-to-Image-Translation
pyfuncol
Functional collections extension functions for Python
svshi
Formal verification for smart infrastructure (buildings, cities, etc.)
bolts
Bolts: Stainless Verified Scala Examples
FormalVerification-PrefixFreeCodes
Master-thesis-svshi-pdf
SDP-SwissTeam
TechTeam-Lauzhack
tinynf-csharp
Semester project - Master in computer science at EPFL. Write a driver in C# for a network card.
VerifiedLexer
samuelchassot's Repositories
samuelchassot/tinynf-csharp
Semester project - Master in computer science at EPFL. Write a driver in C# for a network card.
samuelchassot/VerifiedLexer
samuelchassot/Master-thesis-svshi-pdf
samuelchassot/FormalVerification-PrefixFreeCodes
samuelchassot/Machine-learning
samuelchassot/Bachelor-Semester-Project
samuelchassot/bolts
Bolts: Stainless Verified Scala Examples
samuelchassot/CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
samuelchassot/docker-opengl
A docker image that supports rendering graphical applications.
samuelchassot/ets_proj_parser
ETS5 Project File Parser for NodeJS
samuelchassot/everparse
Automated generation of provably secure, zero-copy parsers from format specifications
samuelchassot/FUNIT
Translate images to unseen domains in the test time with few example images.
samuelchassot/homebridge_indoor_air_file
samuelchassot/imaginaire
NVIDIA PyTorch GAN library with distributed and mixed precision support
samuelchassot/inox
Solver for higher-order functional programs
samuelchassot/itp-project
samuelchassot/lisa
Proof assistant based on first-order logic and set theory
samuelchassot/samuelchassot
samuelchassot/samuelchassot.github.io
samuelchassot/scala
Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
samuelchassot/scala3
The Scala 3 compiler, also known as Dotty.
samuelchassot/scallion
LL(1) parser combinators in Scala
samuelchassot/Scalpel
Scalpel: The Python Static Analysis Framework
samuelchassot/serverless-benchmarks
SeBS: serverless benchmarking suite for automatic performance analysis of FaaS platforms.
samuelchassot/silex
Lexing library for Scala
samuelchassot/stainless
Verification framework and tool for higher-order Scala programs
samuelchassot/stainless-codespaces
Example repo to work with Stainless in Github Codespaces
samuelchassot/test_release
samuelchassot/textual_clock
samuelchassot/Verbatim