Kazuhiko Sakaguchi (@pi8027)
github

pi8027

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    183
  • Global Rank 132,013 (Top 5 %)
  • Followers 165
  • Following 13
  • Registered over 15 years ago
  • Most used languages
    Coq     61.5 %
    Haskell
         15.4 %
    TeX
         7.7 %
    Shell
         7.7 %
    Vim Script
         7.7 %
  • Location 🇫🇷 France
  • Country Total Rank 3,442
  • Country Ranking
    Coq     6
    TeX
         37
    Haskell
         191
    Vim Script
         206
    Shell
         1,327

Top repositories

1

lambda-calculus

A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2
Coq
77
star
2

typeinfer

Type inference in OCaml
TeX
39
star
3

stablesort

Stable sort algorithms and their stability proofs in Coq
Coq
22
star
4

efficient-finfun

Coq
13
star
5

formalized-postscript

PostScript programming in the Coq proof assistant
Coq
12
star
6

pane-maximize

maximize/restore panes in tmux 1.7.
Shell
8
star
7

vass

Coq
4
star
8

sandpit

Coq
3
star
9

config

my configuration files
Vim Script
3
star
10

tppmark

Coq
1
star
11

reducer

Haskell
1
star
12

utils

~/bin
Haskell
1
star
13

record-expansion

A translation from Coq to Coq expanding and eliminating records (WIP)
Coq
1
star