qnighy/ghdl-hello
GHDL Sample Program & Makefile
Developer Profile
qnighy
Discovered public repositories for qnighy in the GitHub catalog.
qnighy/qksim
qksim
qnighy/min-caml
moved from https://sourceforge.net/p/min-caml/code/
qnighy/LType-Coq
Linear Logic Toy for Coq
qnighy/shumilog
Shumilog - a partial Prolog implementation
qnighy/win-ssr
Build ssreflect binary, which is compatible with the official Coq binary for Windows
qnighy/fplp-interpreter
関数・論理型プログラミング実験
qnighy/nurikabe
Nurikabe solver.
qnighy/coqex2014
Public repository.
qnighy/imoj-sample
Public repository.
qnighy/llvm.vim
Public repository.
qnighy/myconfig
Vim and zsh
qnighy/coq.vim
Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.
qnighy/build-coq-cross
cross-compile Coq for Windows in Linux.
qnighy/mingw-ocaml
OCaml cross-compiler based on mingw
qnighy/nginx-http-auth-digest
Digest Authentication for Nginx
qnighy/T23
Coq+ssreflect implementation of 2-3 Tree
qnighy/kichi-kaomoji
キチ顔文字辞書 for Mozc/Google日本語入力
qnighy/ipc_solver
O(N log N)-space IPC solver in OCaml
qnighy/kaomoji
kaomoji is so cuuuuuuuuuuuuuuuuuuuuuuuute!!!!!!!!!!!!!!!!!
qnighy/proofline0
study for making programming language, with linear logic
qnighy/cms-joi2013open
Public repository.
qnighy/cms-cookbook
a cookbook for CMS, Contest Management System ( https://github.com/cms-dev/cms/ )
qnighy/cms-joi2013sp
CMS ( https://github.com/cms-dev/cms ) source tree used for JOI (Japan Olympiad in Informatics) spring training camp
qnighy/con_test
Sample contest to test CMS
qnighy/cms
Contest Management System
qnighy/joi-ans
joi-ans
qnighy/IPC-Coq
Intuitionistic Propositional Calculus
qnighy/checkerlib
checkerlib.h: a header for making input_checker, output_checker, and reactive
qnighy/build-coq
Build Coq in Windows
qnighy/lightjudge
Lightweight Judge Server for ICPC qualification round in Japan
qnighy/qnighy.github.io
Public repository.
qnighy/validation
validation.hpp: An alternative to testlib.h
qnighy/competition-codes
Public repository.
qnighy/informatics-olympiad
Problems from some Informatics Olympiad, and solutions to them.
qnighy/lifttango
Simple WordCard using Scala/Lift
qnighy/qmjudge
qnighy's magical judgement
qnighy/joi-yosen
http://www.ioi-jp.org/ yosen
qnighy/wikipex
Public repository.
qnighy/dotfiles
zshrc, vimrc, vimfiles ...