Kazushi Kitaya (@kkty)
github

kkty

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    132
  • Global Rank 168,520 (Top 6 %)
  • Followers 40
  • Following 24
  • Registered almost 8 years ago
  • Most used languages
    Go
         50.0 %
    TypeScript
         20.0 %
    C++
         10.0 %
    Rust
         10.0 %
    Python
         10.0 %
  • Location πŸ‡―πŸ‡΅ Japan
  • Country Total Rank 3,732
  • Country Ranking
    Go
         412
    TypeScript
         533
    Rust
         931
    C++
         3,343
    Python
         6,630

Top repositories

1

prolog

Implementation of Prolog in TypeScript
TypeScript
34
star
2

image-server

Simple http server that accepts an image, converts it to a different format, resizes/compresses it and sends it back
Go
32
star
3

scriproxy

Easy-to-use dynamic(scriptable) reverse proxy server
Go
27
star
4

theorem-prover

Automated theorem prover for first-order predicate logic written in TypeScript
TypeScript
25
star
5

compiler

Toy compiler for subset of OCaml, which generates assembly code that can be executed with https://github.com/kkty/simulator
Go
5
star
6

reversi-wasm

Reversi AI written in Rust that can be compiled to wasm and run in browsers
Rust
4
star
7

probabilistic-database

A simple probabilistic database written in Python
Python
2
star
8

kmer-sets-compression

Compression of Multiple k-mer Sets (Research)
C++
1
star
9

sleepuntil

Go
1
star
10

simulator

Toy CPU simulator that executes assembly code generated by https://github.com/kkty/compiler
Go
1
star