Create your Sourcerer profile
Start
1

Sakamoto Noriaki

na4zagin3

Commits
1500
Repos
27
Lines of code
199459
Following
0
2
Overview
27 repos
Last updated: 2018/11/23 — 17:11:00
3
Languages
27 repos
Last updated: 2018/11/23 — 17:11:00
OCaml
 
Commits:
605
LOC:
37619
TeX
 
Commits:
525
LOC:
78580
Haskell
 
Commits:
453
LOC:
19224
Scheme
 
Commits:
129
LOC:
21161
C++
 
Commits:
98
LOC:
2222
C
 
Commits:
81
LOC:
26513
5
Fun facts
27 repos
Last updated: 2018/11/23 — 17:11:00

I'm most productive on

Thursdays
15% of users
Th

I'm most productive during

evenings
39% of users
e

I prefer

snake_case

for naming variables

I prefer

spaces

for indentation

6
Repositories
27 repos
Last updated: 2018/11/23 — 17:11:00
#
Repository
Commits
Team
Language
Timeline
2
dotfiles
181
1
Scheme
3
uhim-dict
176
1
Haskell
United 漢直 Input Method Dictionary
4
elf2mem
97
1
C++
Link ELF executable and dump the memory into a file.
5
subleq-mips
90
1
Haskell
Implementating instructions of MIPS with subleq
6
subleq-toolchain
80
1
Haskell
Library of the toolchain for subleq computer.
7
interactive-prover
49
1
Haskell
8
hermeneus
39
1
Haskell
A new translation framework that handles agreement.
9
proof-overlay
32
1
XML
overlay mainly for automated provers and formal method tools
10
Sprechen-Sie-Attisch
31
1
TeX
Digitalized "Sprechen Sie Attisch?" with LaTeX
Show more
7
⭐ Coworker Superstars
ikk775