Projects: pypi: CoSA
https://packages.ecosyste.ms/registries/pypi.org/packages/CoSA
CoreIR Symbolic Analyzer
14 versions
Latest release: about 7 years ago
270 downloads last month
Enhanced Analysis
Educational Contributors:
mattarei@stanford.edu
makaim@stanford.edu
lonsing@cs.stanford.edu
Repository Activity:
Repository Owner:
Cristian Mattarei (user)
README Analysis:
Science Score: 100/100
Starting Score: 100 points
Bonuses:
-
+60
Educational commit emails
3 contributors with educational email addresses -
+4
Science terms in README
2 scientific terms found in README
Penalties:
-
-10
PyPI ecosystem
General-purpose ecosystem -
-15
No science keywords
No scientific terms found in keywords/classifiers -
-10
No science terms in description
No scientific terms found in description
Very Likely Science (100)
Papers Mentioning CoSA 4
10.1007/978-3-030-53288-8_19
fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification ComponentsCited by: 5
Author(s): Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark Barrett, Pat Hanrahan
Software Mentions: 3
Published: over 6 years ago
10.17179/excli2018-1417
Towards understanding aromatase inhibitory activity via QSAR modeling.Cited by: 9
Author(s): Watshara Shoombuatong, Nalini Schaduangrat, Chanin Nantasenamat
Software Mentions: 1
Published: over 8 years ago
10.3390/e23020187
Information Theoretic Metagenome Assembly Allows the Discovery of Disease Biomarkers in Human MicrobiomeCited by: 1
Author(s): Ufuk Nalbantoğlu
Software Mentions: 1
Published: over 5 years ago