Pinned Repositories
audits
Public Audits in the NEAR Ecosystem
aave-v3-core
This repository contains the core smart contracts of the Aave V3 protocol.
SimpleCrop
Ricardo Braga's Simple Crop model. Used as a simple example of a modular crop model in the style of DSSAT-CSM.
solc-typed-ast
A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and traverse/manipulate it.
stephensj2.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Thesis
SmartPulseTool
Eurus
Precise Attack Synthesis for DeFi Apps
libBlockchain
Provides information about blockchains to the other analyses
V
Specifies the semantics of the [V] specification language and provides tooling for the [V] specification language.
stephensj2's Repositories
stephensj2/aave-v3-core
This repository contains the core smart contracts of the Aave V3 protocol.
stephensj2/SimpleCrop
Ricardo Braga's Simple Crop model. Used as a simple example of a modular crop model in the style of DSSAT-CSM.
stephensj2/solc-typed-ast
A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and traverse/manipulate it.
stephensj2/stephensj2.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
stephensj2/Thesis