Skip to content
View thejohncrafter's full-sized avatar
9 followers · 1 following
  • Paris, France

Achievements

Achievement: StarstruckAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report thejohncrafter

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

Pinned Loading

  1. nixos-harden-systemd nixos-harden-systemd Public

    Discover the Best Hardening Options for Systemd Services in NixOS

    Rust 26 2

  2. flows flows Public

    Lean 1

  3. RaitoBezarius/berkovich-spaces RaitoBezarius/berkovich-spaces Public

    Attempt to formalize Berkovich spaces in Lean theorem prover

    Lean 4

  4. Verifier Verifier Public archive

    Rust

  5. projets-2020 projets-2020 Public

    Rust

  6. OCalme OCalme Public

    Python