Skip to content
View fabiensiron's full-sized avatar
22 followers · 28 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
Block or Report

Block or report fabiensiron

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. pyr0 pyr0 Public

    Attempt to make a python based Operating System, it means that we use language feature to provide security instead of using hardware as in a classical operating system.

    C++ 9 2

  2. coqsat coqsat Public

    Coq implementation and proof of a basic SAT algorithm

    Coq

  3. strace/strace strace/strace Public

    strace is a diagnostic, debugging and instructional userspace utility for Linux

    C 2.2k 426

  4. linux linux Public

    Forked from torvalds/linux

    Linux kernel source tree

    C