zayac/toy
Simple OS-like program for x86-64.
Discovered public repositories for zayac in the GitHub catalog.
Simple OS-like program for x86-64.
A mechanism for automatic configuration of interfaces in service-based applications
OCaml bindings to the picosat library
Constraint Aggregation Layer for coordination language based on stream networks
Public repository.
S-NET Run-time System
A primitive programming language aiming to simplify verification of applications written on C.
The ultimate Vim configuration: vimrc
Example of a simple particle filter for robot location, Stanford's Intro to AI
linux configuration files
mirror of git://git.videolan.org/ffmpeg.git
Some research about binary translation in QEMU on ARM chip
A stream-based functional language
Natty is for listening and searching music.