fabiensiron Goto Github PK

a2c

A compiler for the algorithmic language taught at EPITA.

atomos

Baby i386 kernel

coqsat

Coq implementation and proof of a basic SAT algorithm

edb

Easy Debugger

hbefunge-93

linux

Linux kernel source tree

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.

pok

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

pycdc

C++ python bytecode disassembler and decompiler

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.

strace

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

tinypy

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

toaruos

Hobby kernel + userspace, built mostly from scratch.

toyos

A fork of toaruos

trinity

Linux system call fuzzer