zgzn

Pinned Repositories

iBioSim
iBioSim is a computer-aided design (CAD) tool aimed for the modeling, analysis, and design of genetic circuits. It is capable of importing and exporting models specified using the Systems Biology Markup Language (SBML). iBioSim also supports the Synthetic Biology Open Language (SBOL), an emerging standard for information exchange in synthetic biology.
Language:Java53 9 59520
DLV
Language:Python00
iBioSim
0 2 00
libSBOLj
Java Library for Synthetic Biology Open Language (SBOL)
Language:Java00
libSBOLj2
Java Library for SBOL v2.0
Language:Java00
overleaf_sbol_validator
ACS SynBio (IWDBA 2016)
0 1 00
prism
The main development version of the PRISM model checker. This replaces the old Subversion server as the definitive source for new code.
Language:Java00
spins
Language:Java00
storm
A Modern Probabilistic Model Checker
Language:C++00
ultimate
Language:C00

zgzn's Repositories

zgzn/DLV
Language:Python00
zgzn/iBioSim
0 2 00
zgzn/libSBOLj
Java Library for Synthetic Biology Open Language (SBOL)
Language:Java00
zgzn/libSBOLj2
Java Library for SBOL v2.0
Language:Java00
zgzn/overleaf_sbol_validator
ACS SynBio (IWDBA 2016)
0 1 00
zgzn/prism
The main development version of the PRISM model checker. This replaces the old Subversion server as the definitive source for new code.
Language:Java00
zgzn/spins
Language:Java00
zgzn/storm
A Modern Probabilistic Model Checker
Language:C++00
zgzn/ultimate
Language:C00