fabiensiron Goto Github PK
Name: Fabien Siron
Type: User
Company: Epita
Blog: http://saruta.eu
Name: Fabien Siron
Type: User
Company: Epita
Blog: http://saruta.eu
A compiler for the algorithmic language taught at EPITA.
Baby i386 kernel
Coq implementation and proof of a basic SAT algorithm
Easy Debugger
Linux kernel source tree
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 kernel. Safe and secure for safety-critical systems.
C++ python bytecode disassembler and decompiler
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 is a diagnostic, debugging and instructional userspace utility for Linux
Automatically exported from code.google.com/p/tinypy
Hobby kernel + userspace, built mostly from scratch.
A fork of toaruos
Linux system call fuzzer
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.