Name: Alexis Le Glaunec
Type: User
Company: Rice University
Bio: PhD student at Rice University in Programming Languages
Location: Houston, TX / Reims, France
💻 I’m currently working on algorithms to accelerate regex matching over GPU and ASIC hardwares
📫 How to reach me: [email protected]
alexis51151
Repository for my GitHub profile
alexis51151.github.io
My academic website.
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.
comp517-project
Project Assignment for Comp517, including proposal, midterm results, final paper, presentation, and code
copilots-presentation
Presentation of OSDI'20 Copilots consensus protocol.
couetteetcafe
A simple CouetteEtCafe website based on Symfony PHP framework and Bootstrap
csc5101
Advanced Programming of Multicore Architectures
cuda-blas
Implementation of Linear Algebra Subroutines to learn more about the algorithms and how to parallelize them in CUDA.
dicewars
Projet Informatique de recherche d'IA de résolution d'un jeu de stratégie (DiceWars)
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
igloo
Project simulating a hotel infrastructure with badge access.
llvm-repo
minijava-compiler
My own MiniJava compiler
paralleldna
DNA sequence comparison tool using parallelism (OpenMP, MPI and CUDA)
reelay
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
sat-dpll
DPLL SAT solver for CNF formulas
synchrobench
A benchmark to compare synchronization techniques for multicore programming
verrou
floating-point errors checker
vlibtour
weak_queue
Implementation of the Michael & Scott lock-free queue for a weak memory model.
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
