Stars
200+ Questions and Answers on Spring, Spring Boot and Spring MVC
Horus, a formal verification tool for StarkNet smart contracts.
Low-Level Software Security for Compiler Developers
Automatic test case generation for python and static analysis library
CRFA branded website that can be used as an example of Cardano / wallet integration.
Reference implementation for the peer-to-peer agent that manages the Stellar network.
Scalable Validator for Binary Lifters
Automatic SQL injection and database takeover tool
Knotical: An Inference System of Trace Refinement Relations
LSTM built using Keras Python package to predict time series steps and sequences. Includes sin wave and stock market data
Embedded language for high-performance array computations
Create a Wine Festival Schedule using of html and make a table...!!!
The Jakstab static analysis platform for binaries
Program analysis tools developed at Draper on the CBAT project.
resurrected LLVM "C Backend", with improvements
Intermediate Representation for Binary analysis and transformation
DyninstAPI: Tools for binary instrumentation, analysis, and modification.
IoT Reading List (IoT research papers from 2016 to 2019)
🎆Interactive Online Platform that Visualizes Algorithms from Code