View Code? Open in Web Editor
NEW
This project forked from prismmodelchecker/prism
The main development version of the PRISM model checker.
Home Page: http://www.prismmodelchecker.org/
License: GNU General Public License v2.0
Shell 1.98%
C++ 6.65%
Scheme 0.01%
Python 0.46%
Perl 0.01%
C 23.26%
Java 35.80%
CSS 0.01%
Pascal 0.11%
TeX 0.01%
Makefile 1.31%
HTML 29.57%
NSIS 0.02%
Batchfile 0.11%
Yacc 0.09%
Lex 0.03%
M4 0.03%
Roff 0.06%
Vim Script 0.01%
Raku 0.47%
prism's Introduction
Hi there, I'm Zhanghan Wang ๐
![Top Langs](https://camo.githubusercontent.com/080a9b1d0398a4998996a3f5f977e807606fae32f14dbf501842978757aa9009/68747470733a2f2f6769746875622d726561646d652d73746174732e76657263656c2e6170702f6170692f746f702d6c616e67732f3f757365726e616d653d52616262697457686974653126686964653d6373732c68746d6c266c61796f75743d636f6d70616374)
prism's People