samuelchassot Goto Github PK

amy-compiler-clp-epfl

archsoc-labs

bachelor-semester-project

bolts

Bolts: Stainless Verified Scala Examples

crosshair

An analysis tool for Python that blurs the line between testing and type systems.

docker-opengl

A docker image that supports rendering graphical applications.

dsp-labs

GitBook for COM-303 Practical Sessions at EPFL.

ets_proj_parser

ETS5 Project File Parser for NodeJS

everparse

Automated generation of provably secure, zero-copy parsers from format specifications

formalverification-prefixfreecodes

funit

Translate images to unseen domains in the test time with few example images.

gameoflife

Very simple game of life.

homebridge_indoor_air_file

imaginaire

NVIDIA PyTorch GAN library with distributed and mixed precision support

inox

Solver for higher-order functional programs

lisa

Proof assistant based on first-order logic and set theory

machine-learning

master-thesis-svshi-pdf

multiprocarch-assignments

samuelchassot

samuelchassot.github.io

scalafmt

Code formatter for Scala

scalameta

Library to read, analyze, transform and generate Scala programs

scalameta-semester-project

Scalameta Semester Project

scallion

LL(1) parser combinators in Scala

scalpel

Scalpel: The Python Static Analysis Framework

sdp-swissteam

serverless-benchmarks

SeBS: serverless benchmarking suite for automatic performance analysis of FaaS platforms.

silex

Lexing library for Scala

stainless

Verification framework and tool for higher-order Scala programs