Skip to content

@trail-of-forks Trail of Forks

Change the repository type filter

All

    Repositories list

    194 repositories

    • Gillian

      Public
      The Gillian Platform main repository
      OCaml
      •
      BSD 3-Clause "New" or "Revised" License
      •15•0•0•1•Updated Jan 18, 2025Jan 18, 2025

    • simple-smt-ocaml

      Public
      OCaml
      •3•0•0•0•Updated Jan 18, 2025Jan 18, 2025

    • warehouse

      Public
      The Python Package Repository
      Python
      •
      Apache License 2.0
      •985•0•0•2•Updated Jan 17, 2025Jan 17, 2025

    • protobuf-specs

      Public
      Protocol Buffer specifications
      Rust
      •
      Apache License 2.0
      •31•0•0•0•Updated Jan 14, 2025Jan 14, 2025

    • inspect_ai

      Public
      Inspect: A framework for large language model evaluations
      Python
      •
      MIT License
      •160•0•0•0•Updated Jan 14, 2025Jan 14, 2025

    • fastapi-code-generator

      Public
      This code generator creates FastAPI app from an openapi file.
      Python
      •
      MIT License
      •111•0•0•0•Updated Jan 13, 2025Jan 13, 2025

    • NeMo-Guardrails

      Public
      NeMo Guardrails is an open-source toolkit for easily adding programmable guardrails to LLM-based conversational systems.
      Python
      •
      Other
      •421•0•0•0•Updated Jan 8, 2025Jan 8, 2025

    • alpha-omega

      Public
      Protect society by improving the security of open source software through direct maintainer engagement and expert analysis.
      Open Policy Agent
      •
      Apache License 2.0
      •51•1•0•0•Updated Jan 6, 2025Jan 6, 2025

    • angrop

      Public
      Python
      •
      BSD 2-Clause "Simplified" License
      •74•0•0•0•Updated Jan 4, 2025Jan 4, 2025

    • sigstore-python

      Public
      A Sigstore client in Python
      Python
      •
      Other
      •51•0•0•1•Updated Dec 24, 2024Dec 24, 2024

    • purl-spec

      Public
      A minimal specification for purl aka. a package "mostly universal" URL, join the discussion at https://gitter.im/package-url/Lobby
      Other
      •167•0•0•0•Updated Dec 17, 2024Dec 17, 2024

    • cryptography

      Public
      cryptography is a package designed to expose cryptographic primitives and recipes to Python developers.
      Python
      •
      Other
      •1.6k•0•0•1•Updated Dec 16, 2024Dec 16, 2024

    • advisory-db

      Public
      Security advisory database for Rust crates published through crates.io
      Other
      •373•0•0•0•Updated Dec 13, 2024Dec 13, 2024

    • gh-action-pypi-publish

      Public
      GitHub Action, for publishing distribution files to PyPI: https://github.com/marketplace/actions/pypi-publish
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •89•0•0•0•Updated Dec 11, 2024Dec 11, 2024

    • ghidra

      Public
      Ghidra is a software reverse engineering (SRE) framework
      Java
      •
      Apache License 2.0
      •6k•0•0•0•Updated Dec 10, 2024Dec 10, 2024

    • garak

      Public
      the LLM vulnerability scanner
      Python
      •
      Apache License 2.0
      •320•0•0•0•Updated Dec 9, 2024Dec 9, 2024

    • llvm-project

      Public
      The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
      LLVM
      •
      Other
      •12k•0•1•0•Updated Dec 4, 2024Dec 4, 2024

    • community

      Public
      General sigstore community repo
      Apache License 2.0
      •49•0•0•0•Updated Dec 3, 2024Dec 3, 2024

    • peps

      Public
      Python Enhancement Proposals
      reStructuredText
      •1.6k•0•0•0•Updated Dec 3, 2024Dec 3, 2024

    • servers

      Public
      Model Context Protocol Servers
      JavaScript
      •
      MIT License
      •847•0•0•0•Updated Nov 26, 2024Nov 26, 2024

    • llm-guard

      Public
      The Security Toolkit for LLM Interactions
      Python
      •
      MIT License
      •177•0•0•0•Updated Nov 25, 2024Nov 25, 2024

    • root-signing

      Public
      Makefile
      •
      Apache License 2.0
      •81•0•0•0•Updated Nov 22, 2024Nov 22, 2024

    • actions-starter-workflows

      Public
      Accelerating new GitHub Actions workflows
      TypeScript
      •
      Other
      •5.6k•0•0•0•Updated Nov 22, 2024Nov 22, 2024

    • sigstore-blog

      Public
      Codebase for sigstore.dev
      CSS
      •
      Apache License 2.0
      •16•0•0•0•Updated Nov 21, 2024Nov 21, 2024

    • sigstore-go

      Public
      Go library for Sigstore signing and verification
      Go
      •
      Apache License 2.0
      •27•0•0•0•Updated Nov 19, 2024Nov 19, 2024

    • fulcio

      Public
      Sigstore OIDC PKI
      Go
      •
      Apache License 2.0
      •141•0•0•0•Updated Nov 19, 2024Nov 19, 2024

    • rekor

      Public
      Software Supply Chain Transparency Log
      Go
      •
      Apache License 2.0
      •168•0•0•0•Updated Nov 19, 2024Nov 19, 2024

    • Patcherex2

      Public
      Python
      •
      BSD 2-Clause "Simplified" License
      •6•0•0•0•Updated Nov 16, 2024Nov 16, 2024

    • are-we-pep740-yet

      Public
      Are we PEP 740 yet?
      HTML
      •
      BSD 2-Clause "Simplified" License
      •3•0•0•0•Updated Nov 13, 2024Nov 13, 2024

    • pip

      Public
      The Python package installer
      Python
      •
      MIT License
      •3k•0•0•0•Updated Nov 8, 2024Nov 8, 2024