samuelchassot

tinynf-csharp

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

VerifiedLexer

Master-thesis-svshi-pdf

FormalVerification-PrefixFreeCodes

Machine-learning

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.

ets_proj_parser

ETS5 Project File Parser for NodeJS

everparse

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

FUNIT

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

homebridge_indoor_air_file

imaginaire

NVIDIA PyTorch GAN library with distributed and mixed precision support

inox

Solver for higher-order functional programs

itp-project

lisa

Proof assistant based on first-order logic and set theory

samuelchassot

samuelchassot.github.io

scala

Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

scala3

The Scala 3 compiler, also known as Dotty.

scallion

LL(1) parser combinators in Scala

Scalpel

Scalpel: The Python Static Analysis Framework

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

stainless-codespaces

Example repo to work with Stainless in Github Codespaces

test_release

textual_clock

Verbatim