Giters
Adrien-No
/
tipe
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
1
Issues:
0
Forks:
This repository is not active
About
Languages
Language:
OCaml
88.3%
Language:
Roff
3.9%
Language:
PowerShell
2.7%
Language:
Emacs Lisp
1.8%
Language:
C
1.7%
Language:
Vim Script
0.5%
Language:
Python
0.4%
Language:
Shell
0.2%
Language:
Makefile
0.1%
Language:
Nix
0.1%
Language:
Coq
0.1%
Language:
HTML
0.1%
Language:
Standard ML
0.1%
Language:
TeX
0.0%
Language:
C++
0.0%
Language:
Dockerfile
0.0%
Language:
JavaScript
0.0%
Language:
Reason
0.0%
Language:
NASL
0.0%
Language:
Pascal
0.0%