Giters
taka011239
/
dotfiles
dotfiles
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
2
Issues:
0
Forks:
About
dotfiles
Languages
Language:
Emacs Lisp
58.0%
Language:
HTML
31.1%
Language:
OCaml
3.6%
Language:
TeX
2.7%
Language:
Isabelle
1.6%
Language:
Standard ML
0.8%
Language:
Coq
0.5%
Language:
Shell
0.4%
Language:
Lex
0.4%
Language:
XSLT
0.3%
Language:
Makefile
0.3%
Language:
Perl
0.2%
Language:
Ruby
0.1%
Language:
CSS
0.1%
Language:
Groff
0.0%
Language:
Common Lisp
0.0%