Pinned Repositories
algorithms
ansible-example
友人への説明用レポジトリ
astro-tutorial
チュートリアルを走っています
atcoder_helper
csmonad
laml
providing a light-weight notation for LaTex
mens_fashion_advice
typedMiniLang
yuchiki-atcoder
yuchiki-c-compiler
rui ueyamaさんのcompiler bookをなぞってみています
yuchiki's Repositories
yuchiki/csmonad
yuchiki/typedMiniLang
yuchiki/algorithms
yuchiki/fstar_sample_repository
yuchiki/SKI
Repl of SKI combinator reducer
yuchiki/YuchiKaml
Toy Language Interpreter using Sprache
yuchiki/YuchiKaml_Document
Document of YuchKaml
yuchiki/9cc
yuchiki/BasicDefinitions
yuchiki/bitonic-sorter
yuchiki/calc
yuchiki/cli-guidelines
A guide to help you write better command-line programs, taking traditional UNIX principles and updating them for the modern day.
yuchiki/contest
yuchiki/hub
A command-line tool that makes git easier to use with GitHub.
yuchiki/infinite
yuchiki/leap-year
yuchiki/mattix
Mattix is a board game born in Israel.
yuchiki/monad
Monads written in C#
yuchiki/NatIsomorphisms
yuchiki/newpc-test
yuchiki/newpc-test2
yuchiki/number
yuchiki/paralell
yuchiki/parser
yuchiki/phone_change
yuchiki/random_kana
yuchiki/react-tutorial
yuchiki/semantics-memo
yuchiki/so-spicy-pot
激辛鍋レシピ
yuchiki/water