Kazushi Kitaya's repositories
image-server
Simple http server that accepts an image, converts it to a different format, resizes/compresses it and sends it back
theorem-prover
Automated theorem prover for first-order predicate logic written in TypeScript
reversi-wasm
Reversi AI written in Rust that can be compiled to wasm and run in browsers
probabilistic-database
A simple probabilistic database written in Python
kmer-sets-compression
Compression of Multiple k-mer Sets (Research)
contentful-express-nuxt-blog
ContentfulとExpressとNuxt.jsでブログを作ってみる
distributions
NodeSource Node.js Binary Distributions
kms-encrypt-obj
AWS KMSを用いて、オブジェクトを暗号化・復号化するためのNode.js用パッケージ