HOP 3.0 — HopSpec task-spec language + HopJIT execution engine for LLM agents
☆22Oct 12, 2026Updated 3 weeks ago
Alternatives and similar repositories for hop3
Users that are interested in hop3 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Framework for building reliable LLM agents with structured specs, operator-level verification, and progressive solidification.☆70Feb 27, 2026Updated 8 months ago
- A modified version of tpm2-tss that passed memory safety formal verification☆12Jul 26, 2019Updated 7 years ago
- Security scanner for MCP servers. Every finding carries its evidence, including the server's actual response bytes.☆12Sep 4, 2026Updated last month
- Multi-Server PIR (CCSW'14)☆11Dec 2, 2020Updated 5 years ago
- A WPF-based application to explore Cryptographic Service Providers (CSP) and Key Storage Providers (KSP), their algorithms and persistent…☆15Sep 28, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Code release for our WWW 2019 paper entitled "ShadowBlock: A Lightweight and Stealthy Adblocking Browser".☆20Jun 5, 2019Updated 7 years ago
- [Deprecated] 🔑 A GUI tool for getting signatures as MD5 & SHA1 of keys for Java and Android on Windows☆12Oct 11, 2018Updated 8 years ago
- Crypto++ website☆15Apr 11, 2026Updated 6 months ago
- ☆19Apr 25, 2025Updated last year
- AI Agent Skill Security Scanner — Detects malicious code, prompt injection, data exfiltration, and supply chain threats in SKILL.md files…☆17Feb 20, 2026Updated 8 months ago
- Kuintessence is an advanced computing orchestration system designed to revolutionize HPC workload and cluster management, to empower HPC …☆13Mar 20, 2024Updated 2 years ago
- Official inference code for C-SafeQA, a policy-grounded benchmark for response-level Chinese safety evaluation of LLMs and automated safe…☆24Updated this week
- Scriptset to enumerate PCIe Device to NUMA mapping within an VMware ESXi Host☆11Jan 10, 2020Updated 6 years ago
- ☆12Nov 30, 2025Updated 11 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆15Jan 6, 2026Updated 9 months ago
- Bilidown 原生 macOS 客户端☆25Oct 19, 2026Updated 2 weeks ago
- PIBench is an open-source benchmark for evaluating AI coding agents on realistic, end-to-end payment integration tasks.☆27Aug 6, 2026Updated 2 months ago
- A demo micro-service application, copied and combined from istio/samples/bookinfo, rh-app-dev-practice/bookinfo-spring-boot and dt-bookin…☆15Mar 6, 2023Updated 3 years ago
- ccNVMe: crash consistent non-volatile memory express☆14Aug 17, 2021Updated 5 years ago
- Notes for the Coursera course Functional Programming Principles in Scala by Martin Odersky☆18Sep 16, 2019Updated 7 years ago
- AsciiDoc source files for the docs.strongswan.org website☆26Oct 22, 2026Updated last week
- FAST 22☆12Jul 18, 2022Updated 4 years ago
- Some problems for RHG(Robo Hacking Game)☆14Apr 30, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 密钥协商安全传输平台是一款基础设施类项目，可以为各集团、企业的信息系统提供统一、标准的信息安全服务，以解决第三方信息系统存在的数据的本地存储、网络传输、身份认证、数据完整性等安全问题。☆18Aug 26, 2021Updated 5 years ago
- Claude Code skill: Multi-agent adversarial review panel — 4-6 AI reviewers debate your code/plans, then a supreme judge delivers the verd…☆36Sep 22, 2026Updated last month
- Organization Pages for OpenPrinting☆20Updated this week
- ☆14Jan 12, 2022Updated 4 years ago
- Mechanism-grounded taxonomy of 40 LLM jailbreak patterns across 10 categories. 8,000-trial bootstrap evaluation for the June 2026 frontie…☆19Aug 22, 2026Updated 2 months ago
- Managing Interface for Libreswan VPN software.☆16Jul 28, 2020Updated 6 years ago
- The Mbed OS file system example☆16Feb 28, 2023Updated 3 years ago
- A local, rule-based security guard for DeepSeek Harness agents. It hooks agent tool calls and prompt assembly and applies a policy table …☆26Sep 17, 2026Updated last month
- Official Code for EMNLP 2023 paper: "Unveiling the Implicit Toxicity in Large Language Models""☆14Nov 30, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Personal website☆15Jun 18, 2026Updated 4 months ago
- A self-reflective news fact check AI agent. [The online version is temporarily down due to cost issues. Please try local deployment]☆18Nov 21, 2025Updated 11 months ago
- Slicing tool for c++ programs using clang AST.☆18Mar 8, 2021Updated 5 years ago
- ICDCS 2021, "StripeMerge: Efficient Wide-Stripe Generation for Large-Scale Erasure-Coded Storage"☆13Jul 19, 2021Updated 5 years ago
- A Java PKCS#11 wrapper and JCE Provider☆27Mar 2, 2020Updated 6 years ago
- Official Code for Safety Testing LLM Agents at Scale: From Risk Discovery to Evidence-Grounded Verification.☆21Jul 1, 2026Updated 4 months ago
- Asn1Editor☆22Jul 25, 2021Updated 5 years ago