-
FinGPT Public template
Forked from AI4Finance-Foundation/FinGPTFinGPT: Open-Source Financial Large Language Models! Revolutionize 🔥 We release the trained model on HuggingFace.
Jupyter Notebook MIT License UpdatedOct 1, 2024 -
-
WANA Public
A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector
-
ContractFuzzer Public
The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
-
EOSFuzzer Public
A fuzzer for vulnerability detection of EOSIO smart contracts.
-
Open-Grants-Program Public
Forked from w3f/Grants-ProgramWeb3 Foundation Open Grants Program
Shell Apache License 2.0 UpdatedMay 9, 2021 -
-
cryptofuzz Public
Forked from malekremy/cryptofuzzC GNU General Public License v3.0 UpdatedSep 2, 2020 -
mlibc Public
Forked from managarm/mlibcPortable C standard library
C MIT License UpdatedSep 2, 2020 -
panda Public
Forked from panda-re/pandaPlatform for Architecture-Neutral Dynamic Analysis
C Other UpdatedAug 7, 2020 -
retrowrite Public
Forked from HexHive/retrowriteRetroWrite -- Retrofitting compiler passes though binary rewriting
Python MIT License UpdatedAug 4, 2020 -
-
SimplyDroid Public
SimplyDroid: Efficient Event Sequence Simplification for Android Application (ASE 2017)
-
Artemis Public
An extended smart contract verification tool
-
Improved-AO-Coupling-in-CESM Public
-
AndroidGUITesting Public
Which Factor Impacts GUI Traversal-Based Test Case Generation Technique Most? A Controlled Experiment on Android Applications (QRS2017 best paper)
MIT License UpdatedJul 30, 2018 -
demi Public
Forked from NetSys/demiInterposition code for DEMi (Distributed Execution Minimizer)
Scala Other UpdatedMar 12, 2016 -
AlgoTrader Public
Forked from curtiszimmerman/AlgoTraderJava GNU General Public License v2.0 UpdatedFeb 28, 2016 -
Determinator Public
Forked from dedis/DeterminatorExperimental operating system for deterministic parallel computing
C UpdatedMay 1, 2015 -
PIOS Public
Forked from bford/PIOSPIOS: Parallel Instructional Operating System - Instructional Template Code
C UpdatedOct 21, 2012