Pinned Repositories
config
linux configuration files
dotfiles
eq
A stream-based functional language
FFmpeg
mirror of git://git.videolan.org/ffmpeg.git
joule
A mechanism for automatic configuration of interfaces in service-based applications
natty
Natty is for listening and searching music.
ocaml-picosat
OCaml bindings to the picosat library
particle_filter_demo
Example of a simple particle filter for robot location, Stanford's Intro to AI
pipo
A primitive programming language aiming to simplify verification of applications written on C.
qemu-arm
Some research about binary translation in QEMU on ARM chip
zayac's Repositories
zayac/eq
A stream-based functional language
zayac/ocaml-picosat
OCaml bindings to the picosat library
zayac/FFmpeg
mirror of git://git.videolan.org/ffmpeg.git
zayac/dotfiles
zayac/joule
A mechanism for automatic configuration of interfaces in service-based applications
zayac/algorithms-cpp
A set of code placeholders for algorithm practice in C++
zayac/cal
Constraint Aggregation Layer for coordination language based on stream networks
zayac/conditions
Assignments for practicing conditions (if-else statements)
zayac/count-word-occurrences-exercise
zayac/CV-1
zayac/derive-terms
A tool for deriving MDL terms from C++ struct declatations implemented using Clang LibTooling library
zayac/eklase-gio-demo
zayac/first
zayac/flask-api-example
Flask RESTful API Example
zayac/git-basics
zayac/hera-mcst
Automatically exported from code.google.com/p/hera-mcst
zayac/lesson04
zayac/micrograd-go
zayac/picologic
A lightweight logic library for OCaml
zayac/playground
zayac/read-file-demo
zayac/runningram
Automatically exported from code.google.com/p/runningram
zayac/stdtest
zayac/syna
Highly customizable open source theme for Hugo based static websites
zayac/test-2-2
zayac/tictactoe
Package tictactoe defines the game of tic-tac-toe.
zayac/toy
Simple OS-like program for x86-64.
zayac/transform-component
zayac/unit-conversions
Assignment to implement various unit conversions
zayac/word2vec