Giters
zhang-xun
/
irq_pspl
irq_pspl
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
1
Issues:
0
Forks:
irq_pspl
About
irq_pspl
Languages
Language:
VHDL
58.7%
Language:
Coq
17.9%
Language:
Tcl
10.5%
Language:
C
6.0%
Language:
SystemVerilog
4.2%
Language:
Verilog
1.0%
Language:
V
0.7%
Language:
C++
0.5%
Language:
HTML
0.2%
Language:
Shell
0.1%
Language:
JavaScript
0.1%
Language:
Stata
0.1%
Language:
Forth
0.0%
Language:
Batchfile
0.0%
Language:
Pascal
0.0%
Language:
Makefile
0.0%