-
-
zap-extensions Public
Forked from zaproxy/zap-extensionsOWASP ZAP Add-ons
Java Apache License 2.0 UpdatedAug 9, 2024 -
jokrsec.github.io Public
Forked from kitian616/jekyll-TeXt-themeMy personal blog for Web Exploitation write-ups in CTFs.
SCSS MIT License UpdatedApr 14, 2024 -
-
-
Certora-Tutorials Public
Forked from Certora/TutorialsPractical tutorials of Certora Prover
Solidity GNU General Public License v3.0 UpdatedMar 8, 2023 -
E-Voting Public
Node.js and MongoDB template code to handle User-registrations
-
-
-
-
grammars-v4 Public
Forked from antlr/grammars-v4Grammars written for ANTLR v4; expectation that the grammars are free of actions.
ANTLR UpdatedMay 29, 2022 -
-
graaljs Public
Forked from oracle/graaljsA ECMAScript 2021 compliant JavaScript implementation built on GraalVM. With polyglot language interoperability support. Running Node.js applications!
C++ Universal Permissive License v1.0 UpdatedMay 12, 2022 -
-
ompi Public
Forked from open-mpi/ompiOpen MPI main development repository
C Other UpdatedApr 25, 2022 -
-
Cyclone-monitor Public
Cyclone detection and Alerting System using Machine Learning algorithms
-
Google-meet-bot Public
An automation tool which is useful to attend your online class.