Pinned Repositories
starknet-spring-fellowship
cve-search
cve-search - a tool to perform local searches for known vulnerabilities
django-DefectDojo
DefectDojo is an open-source application vulnerability correlation and security orchestration tool.
inox
Solver interface for higher-order functional programs
ng-questplay
smart
Verification and Generation of Smart Contracts using Stainless and Scala
stainless
Verification framework for higher-order functional programs
vscode-cpptools
Official repository for filing issues against and getting support for the Microsoft C/C++ extension for VS Code
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
django-DefectDojo
DevSecOps, ASPM, Vulnerability Management. All on one platform.
Frostweeds's Repositories
Frostweeds/starknet-spring-fellowship
Frostweeds/ng-questplay
Frostweeds/django-DefectDojo
DefectDojo is an open-source application vulnerability correlation and security orchestration tool.
Frostweeds/cve-search
cve-search - a tool to perform local searches for known vulnerabilities
Frostweeds/smart
Verification and Generation of Smart Contracts using Stainless and Scala
Frostweeds/vscode-cpptools
Official repository for filing issues against and getting support for the Microsoft C/C++ extension for VS Code
Frostweeds/stainless
Verification framework for higher-order functional programs
Frostweeds/inox
Solver interface for higher-order functional programs