psubotic

psubotic's Stars

• github/codeql

  CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

  Language:CodeQL7.5k2332.2k1.5k

• awslabs/aws-security-automation

  Collection of scripts and resources for DevSecOps and Automated Incident Response Security

  Language:Python6161165203

• microsoft/NBLyzer

  A Static Analyzer for Data Science Notebooks

  Language:Jupyter Notebook8413

• psubotic/Abstract-Interpretation

  Abstract Interpretation for floating point arithmetic

  7200

• kostis/otp

  Erlang/OTP

  Language:Erlang5601

• psubotic/Dependent-Types

  Prototype of language with dependent types

  2100