Giters
jwiegley
/
notes
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
45
Watchers:
9
Issues:
1
Forks:
5
This repository is not active
About
Languages
Language:
Haskell
33.0%
Language:
Coq
20.6%
Language:
Ruby
12.0%
Language:
C++
11.5%
Language:
Emacs Lisp
6.6%
Language:
Nix
5.6%
Language:
Agda
2.7%
Language:
HTML
2.4%
Language:
Shell
2.0%
Language:
Python
0.6%
Language:
Puppet
0.5%
Language:
Rust
0.4%
Language:
LLVM
0.4%
Language:
Sieve
0.4%
Language:
TLA
0.3%
Language:
Java
0.3%
Language:
C
0.2%
Language:
TeX
0.2%
Language:
Makefile
0.1%
Language:
Idris
0.1%
Language:
Common Lisp
0.1%
Language:
M4
0.0%
Language:
Perl
0.0%
Language:
Assembly
0.0%
Language:
Dockerfile
0.0%
Language:
V
0.0%
Language:
Groovy
0.0%
Language:
YASnippet
0.0%
Language:
SMT
0.0%