SDAChess/rules_neoforge
A set of Bazel rules to build NeoForge Minecraft mods.
SWE @NVIDIA, EPITA 2024 Alumni
Repositories
SDAChess/buildkite-bazel
Builkite Agent images with specific Bazel versions.
SDAChess/rules_rs
Next-gen Rust Bazel rules which provide a blazing-fast ergonomic `crate_universe` reimplementation, first-class Windows support, optimized toolchains, and more.
SDAChess/rules_cc
C++ Rules for Bazel
SDAChess/bazel-central-registry
The central registry of Bazel modules for the Bzlmod external dependency system.
SDAChess/z3
The Z3 Theorem Prover
SDAChess/quarkus
Quarkus: Supersonic Subatomic Java.
SDAChess/OpenShell
OpenShell is the safe, private runtime for autonomous AI agents.
SDAChess/sdachess
SDAChess/autocxx
Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers
SDAChess/spotifywatcher
Little Java side project to display my current spotify song playing.
SDAChess/brainsharp
SDAChess/epita_r_place
A Python bot to message people that the EPITA logo on r/place is not well defined.
SDAChess/osrd
An open source web application for railway infrastructure design, capacity analysis, timetabling and simulation
SDAChess/LASY-epita
Cours Langages systèmes pour EPITA
SDAChess/react-native-passkey
Passkeys for React Native
SDAChess/ansible-role-portainer
Ansible role for installing Portainer
SDAChess/jaiuneidee
SDAChess/thunderbird
A pin of the nixpkgs Thunderbird that works with the News (for EPITA)
SDAChess/doom
SDAChess/nixos-config
My NixOS configuration
SDAChess/playlist_ripper
Web application that converts Deezer playlists into MP3 archives.
SDAChess/nixpkgs
Nix Packages collection
SDAChess/home-manager
SDAChess/test-conf-abacus
SDAChess/dotemacs
My emacs configuration config files.
SDAChess/music
SDAChess/blog
My personal EPITA Notes and corrections
SDAChess/doom-dotfiles
Back at it again with the Emacs config
SDAChess/doxample
Example of integrating Doxygen and Automake