Fabien Siron (fabiensiron)

fabiensiron

Geek Repo

Company:Epita

Home Page:http://saruta.eu

Github PK Tool:Github PK Tool

Fabien Siron's repositories

pyr0

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.

Language:C++License:NOASSERTIONStargazers:9Issues:5Issues:8

atomos

Baby i386 kernel

Language:CLicense:GPL-2.0Stargazers:1Issues:1Issues:2

ltrace

ltrace intercepts and records dynamic library calls which are called by an executed process and the signals received by that process. It can also intercept and print the system calls executed by the program.

Language:CLicense:GPL-2.0Stargazers:1Issues:2Issues:0

strace

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

Language:CLicense:NOASSERTIONStargazers:1Issues:2Issues:0

ToyOS

A fork of toaruos

Language:CLicense:NOASSERTIONStargazers:1Issues:1Issues:0

a2c

A compiler for the algorithmic language taught at EPITA.

Language:CStargazers:0Issues:1Issues:0

coqsat

Coq implementation and proof of a basic SAT algorithm

Language:CoqStargazers:0Issues:1Issues:0

EDB

Easy Debugger

Language:C++Stargazers:0Issues:1Issues:0

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:HaskellLicense:GPL-3.0Stargazers:0Issues:1Issues:0

pok

POK kernel. Safe and secure for safety-critical systems.

Language:CLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

pycdc

C++ python bytecode disassembler and decompiler

Language:C++License:GPL-3.0Stargazers:0Issues:1Issues:0

tinypy

Automatically exported from code.google.com/p/tinypy

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

toaruos

Hobby kernel + userspace, built mostly from scratch.

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

trinity

Linux system call fuzzer

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0