Kazushi Kitaya
Results
4
repositories owned by
Kazushi Kitaya
image-server
31
Stars
2
Forks
Watchers
Simple http server that accepts an image, converts it to a different format, resizes/compresses it and sends it back
scriproxy
27
Stars
2
Forks
Watchers
Easy-to-use dynamic(scriptable) reverse proxy server
theorem-prover
24
Stars
2
Forks
Watchers
Automated theorem prover for first-order predicate logic written in TypeScript