Skip to content
View sregz's full-sized avatar
3 followers · 5 following
  • 20:37 (UTC -04:00)

Block or report sregz

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. quint quint Public

    Forked from quint-co/quint

    An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

    TypeScript

  2. medusa medusa Public

    Forked from crytic/medusa

    Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

    Go

  3. cosmwasm cosmwasm Public

    Forked from CosmWasm/cosmwasm

    Framework for building smart contracts in Wasm for the Cosmos SDK

    Rust

  4. langchaingo langchaingo Public

    Forked from tmc/langchaingo

    LangChain for Go, the easiest way to write LLM-based programs in Go

    Go

  5. Anthropic-Cybersecurity-Skills Anthropic-Cybersecurity-Skills Public

    Forked from mukul975/Anthropic-Cybersecurity-Skills

    817 structured cybersecurity skills for AI agents · Mapped to 6 frameworks: MITRE ATT&CK, NIST CSF 2.0, MITRE ATLAS, D3FEND, NIST AI RMF & MITRE F3 (Fight Fraud) · agentskills.io standard · Works w…

    Python

  6. system-design-primer system-design-primer Public

    Forked from donnemartin/system-design-primer

    Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

    Python