Hiroki Kobayashi

min-caml-rust. A min-caml port to Rust

contest. programming contests, problems, et cetera

code-reading. コードリーディングした結果わかったことをまとめる。gist だと一覧性に欠け管理しにくいので git で管理する。

rust-number-theory. Number theory

rust-schreier-sims. An implementation of Schreier-Sims algorithm in group theory

ski-comb. SKI

creo. Rust

RUSThello. A simple Reversi game, written in Rust with love.

calc-rust. Calculator in Rust using rust-peg

tsumeshogi-web-solver. 詰将棋 Web ソルバー

mining-rust. SHA1 hash mining

hayashii-mcc. MinCaml on Haskell

noirblanc. Fast reversi (othello) implementation in Rust

crate-version-diff-patch-test. Rust

sliding-window-aggregation. SWAg

rustler_steiner. Steiner tree implementation in Elixir NIF

tmp-rust-z3-test. test repo (trying using z3.rs)

crypto-primality-proof. Go

atcoder-rating-estimator. Rating estimator

tigress. An interpreter for a subset of Tiger.

groupex. exercises for group theory

misc-algo. C++

rust-tigress. Tiger-like language implementation in Rust

raytrace. OCaml

lambda. Lambda calculus

dotfiles. Nix