Skip to content
View Risc42's full-sized avatar
2 followers · 17 following
  • France

Block or report Risc42

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@e-v-o-l-v-e
evolve e-v-o-l-v-e
Programming student ! nixpkgs maintainer, FOSS enjoyer, Self-Hosting hobbyist

France

@Flute1029384756
Flute1029384756
@MinhThangg
MinhThangg
@FTrouillet
François Trouillet FTrouillet
@rocq-community
Rocq-community rocq-community
A project for a collaborative, community-driven effort for the long-term maintenance and advertisement of packages for the Rocq Prover
@rocq-prover
The Rocq Prover rocq-prover
@Mitsukuni68
Mitsukuni68
@nix-community
Nix community projects nix-community
A project incubator that works in parallel of the @NixOS org

Everywhere

@solga333
Solga333 solga333

France

@eloanb
Teyminal eloanb
@BaoLong-Ma
Manwë BaoLong-Ma
@TPS-IR-2028
Télécom Physique Strasbourg — Informatique et Réseaux — Promotion 2028 TPS-IR-2028
Organisation non-officielle de la promotion de 2028 en Informatique et Réseaux à Télécom Physique Strasbourg.

France

@EverestAPI
Everest EverestAPI
Celeste Mod Loader / Mod API

Celeste Mountain

@NixOS
Nix/Nixpkgs/NixOS NixOS

Everywhere

@hyprwm
Hypr Development hyprwm
Hyprland development team.
@Lemonzyy
Lemonzy Lemonzyy
🦀 French Rustacean working on @AstreiaGame, a space game based on voxels developed using @bevyengine ✨🌠

France

@AsahiLinux
Asahi Linux AsahiLinux
Porting Linux to Apple Silicon Macs