-
ccf-deadlines Public
Forked from ccfddl/ccf-deadlines⏰ Collaboratively track worldwide conference deadlines (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~
Vue MIT License UpdatedSep 16, 2025 -
lm-evaluation-harness Public
Forked from EleutherAI/lm-evaluation-harnessA framework for few-shot evaluation of language models.
Python MIT License UpdatedMar 11, 2024 -
-
-
-
-
doccon-artifact Public
DocCon is an automated tool for identifying Solidity smart contract API documentation errors
Shell Apache License 2.0 UpdatedSep 21, 2022 -
souffle-lang.github.io Public
Forked from souffle-lang/souffle-lang.github.ioSoufflé
HTML UpdatedSep 4, 2022 -
souffle Public
Forked from souffle-lang/souffleSoufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
C++ Universal Permissive License v1.0 UpdatedNov 23, 2021 -
ClangEx Public
Forked from bmuscede/ClangExA Clang-based C/C++ fact extractor. Generates a tuple-attribute file from corresponding source code facts.
C++ GNU General Public License v3.0 UpdatedJul 5, 2021 -
-
codeql Public
Forked from github/codeqlCodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security (code scanning), LGTM.com, and LGTM Enterprise
CodeQL MIT License UpdatedNov 1, 2020 -
{{ message }}