Alexis Le Glaunec's repositories
alexis51151.github.io
My academic website.
CouetteEtCafe
A simple CouetteEtCafe website based on Symfony PHP framework and Bootstrap
comp517-project
Project Assignment for Comp517, including proposal, midterm results, final paper, presentation, and code
CUDA-BLAS
Implementation of Linear Algebra Subroutines to learn more about the algorithms and how to parallelize them in CUDA.
MiniJava-Compiler
My own MiniJava compiler
parallelDNA
DNA sequence comparison tool using parallelism (OpenMP, MPI and CUDA)
SAT-DPLL
DPLL SAT solver for CNF formulas
weak_queue
Implementation of the Michael & Scott lock-free queue for a weak memory model.
alexis51151
Repository for my GitHub profile
Best-README-Template
An awesome README template to jumpstart your projects!
Biclustering
Implementing Biclustering methods to link genes with heterogeneous data
Box2D-ExampleGame
Projet
coding-interview-university
A complete computer science study plan to become a software engineer.
Copilots-Presentation
Presentation of OSDI'20 Copilots consensus protocol.
ELEC527-Minesweeper
Design of a custom chip to play the Minesweeper game.
epaxos-fix
Fixing Egalitarian Paxos algorithm and proving its correctness by model checking.
epaxos-proof-correctness
Draft of a paper with proofs for the main epaxos invariants.
FlaskEntrance
A Flask personal website aimed at storing most of my web projects
reelay
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
synchrobench
A benchmark to compare synchronization techniques for multicore programming
verrou
floating-point errors checker