kentahama
Working as a frontend/backend engineer at Fixpoint, Inc. Researching on logic in computer science. A Haskell/Agda lover.
Fixpoint, Inc. (fixpoint.co.jp) / NII (www.nii.ac.jp)Tokyo, Japan
Pinned Repositories
bash-scripts
c-lambda
lambda calculus written in C
clang-ocaml-pretty-printer
DefinitelyTyped
The repository for high quality TypeScript type definitions.
docker-wireshark
Docker image which makes Wireshark available via HTML5 using XPRA
nginx-autoindex-browser
shuffle-group-vue3
slackbot
my slackbot
type-repl
A type inferencer for lambda terms
kentahama's Repositories
kentahama/nginx-autoindex-browser
kentahama/shuffle-group-vue3
kentahama/slackbot
my slackbot
kentahama/type-repl
A type inferencer for lambda terms
kentahama/bash-scripts
kentahama/c-lambda
lambda calculus written in C
kentahama/clang-ocaml-pretty-printer
kentahama/DefinitelyTyped
The repository for high quality TypeScript type definitions.
kentahama/docker-wireshark
Docker image which makes Wireshark available via HTML5 using XPRA
kentahama/dotfiles
kentahama/fixpoint-prog-exam
kentahama/hash-sum
:confetti_ball: Blazing fast unique hash generator
kentahama/intlify-bundle-tools
bundling for intlify i18n tools
kentahama/jekyll-test
kentahama/kentahama.github.io
kentahama/mid2svg
kentahama/module-federation-examples
Implementation examples of module federation , by the creators of module federation
kentahama/real-escape-game
kentahama/reproduce-vue-i18n-yaml
kentahama/sin
kentahama/slac-recursive
Separation Logic Analyzer for C with Recursive Calls
kentahama/slack-api
Haskell bindings to the Slack RTM API
kentahama/sparrow
The Sparrow Static Analyzer
kentahama/splatoon
django project for splatoon
kentahama/tools
kentahama/vite-vue2-i18n
kentahama/wireshark-on-docker
kentahama/workshop-vue2-sfc