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
kentahama's Stars
whitphx/vscode-emacs-mcx
Awesome Emacs Keymap - VSCode emacs keybinding with multi cursor support
cverified/cbench
A benchmark for C program verification
ropas/sparrow
The Sparrow Static Analyzer
AbsInt/CompCert
The CompCert formally-verified C compiler
facebook/infer
A static analyzer for Java, C, C++, and Objective-C