na4zagin3/graph-llvm-ir
Rewritings of https://github.com/pfalcon/graph-llvm-ir with OCaml.
Developer Profile
na4zagin3
Discovered public repositories for na4zagin3 in the GitHub catalog.
na4zagin3/EV3-Line-Follower
Line follower for LEGO Mindstorms EV3 using EV3Command and OpenCV.
na4zagin3/GraphView
Android Graph Library for creating zoomable and scrollable line and bar graphs.
na4zagin3/sfja-code
My answers for sfja https://github.com/sfja/sfja
na4zagin3/howto_implement_hypervisor
Software Design誌の連載「ハイパーバイザの作り方」の原稿公開用リポジトリ
na4zagin3/Elements
Greek/English version of Euclid's Elements
na4zagin3/pgreek.vim
Easily-customizable Vim keymap for typing polytonic Greek.
na4zagin3/interactive-prover
Public repository.
na4zagin3/qfixhowm
This is a test version of QFixHowm.
na4zagin3/numerals
Convert numbers to number words
na4zagin3/euler
Public repository.
na4zagin3/html5-boilerplate
A professional front-end template for building fast, robust, and adaptable web apps or sites.
na4zagin3/dotfiles
Public repository.
na4zagin3/emacs-kicker
A minimal kick start init file for emacs
na4zagin3/proof-overlay
overlay mainly for automated provers and formal method tools
na4zagin3/scmvi
a experimental vi-like editor (under construction)
na4zagin3/tex-misc
my macros for LaTeX.