Skip to content
View alexis51151's full-sized avatar
🐍
🐍
13 followers · 10 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report alexis51151

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • alexis51151.github.io Public

    My academic website.

    HTML 6 Updated Oct 15, 2024

  • weak_queue Public

    Implementation of the Michael & Scott lock-free queue for a weak memory model.

    C++ MIT License Updated Apr 29, 2024

  • ELEC527-Minesweeper Public

    Design of a custom chip to play the Minesweeper game.

    MIT License Updated Feb 14, 2024

  • alexis51151 Public

    Repository for my GitHub profile

    Updated Nov 8, 2023

  • CUDA-BLAS Public

    Implementation of Linear Algebra Subroutines to learn more about the algorithms and how to parallelize them in CUDA.

    Cuda Updated Oct 20, 2023

  • reelay Public

    Forked from doganulus/reelay

    A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.

    C++ Mozilla Public License 2.0 Updated Jul 21, 2022

  • comp517-project Public template

    Forked from ndauten/comp517-project

    Project Assignment for Comp517, including proposal, midterm results, final paper, presentation, and code

    C# 1 Updated Dec 6, 2021

  • SAT-DPLL Public

    DPLL SAT solver for CNF formulas

    Java MIT License Updated Dec 3, 2021

  • llvm-repo Public

    LLVM Updated Jun 23, 2021

  • verrou Public

    Forked from edf-hpc/verrou

    floating-point errors checker

    C GNU General Public License v2.0 Updated May 10, 2021

  • epaxos-fix Public

    Forked from otrack/on-epaxos-correctness

    Fixing Egalitarian Paxos algorithm and proving its correctness by model checking.

    TLA Updated Apr 5, 2021

  • Copilots-Presentation Public

    Presentation of OSDI'20 Copilots consensus protocol.

    TeX Updated Jan 12, 2021

  • epaxos-proof-correctness Public

    Draft of a paper with proofs for the main epaxos invariants.

    TeX Updated Jan 9, 2021

  • VlibTour Public

    Updated Jan 5, 2021

  • FlaskEntrance Public

    A Flask personal website aimed at storing most of my web projects

    HTML Apache License 2.0 Updated Jan 2, 2021

  • CSC5101 Public archive

    Advanced Programming of Multicore Architectures

    C 1 Updated Dec 29, 2020

  • MiniJava-Compiler Public archive

    My own MiniJava compiler

    Java Updated Dec 29, 2020

  • Igloo Public archive

    Project simulating a hotel infrastructure with badge access.

    HTML 1 GNU Affero General Public License v3.0 Updated Dec 29, 2020

  • parallelDNA Public archive

    DNA sequence comparison tool using parallelism (OpenMP, MPI and CUDA)

    C Updated Dec 29, 2020

  • Best-README-Template Public template

    Forked from othneildrew/Best-README-Template

    An awesome README template to jumpstart your projects!

    MIT License Updated Dec 23, 2020

  • Biclustering Public archive

    Implementing Biclustering methods to link genes with heterogeneous data

    Python Updated Oct 16, 2020

  • CouetteEtCafe Public archive

    A simple CouetteEtCafe website based on Symfony PHP framework and Bootstrap

    PHP 2 Updated Oct 16, 2020

  • Box2D-ExampleGame Public archive

    Forked from DecaIi/Jeu_jin

    Projet

    C++ Updated Oct 7, 2020

  • coding-interview-university Public

    Forked from haris989/coding-interview-university

    A complete computer science study plan to become a software engineer.

    Creative Commons Attribution Share Alike 4.0 International Updated Oct 2, 2020

  • synchrobench Public

    Forked from gramoli/synchrobench

    A benchmark to compare synchronization techniques for multicore programming

    Java Updated Jan 7, 2020

  • DiceWars Public archive

    Projet Informatique de recherche d'IA de résolution d'un jeu de stratégie (DiceWars)

    Java 2 Updated May 24, 2019