AISecOps (AI Security Operations) framework for deterministic verification of AI systems. QWED verifies LLM outputs using math, logic, and symbolic execution — creating an auditable trust boundary for agentic AI systems. Not generation. Verification.
☆57May 22, 2026Updated this week
Alternatives and similar repositories for qwed-verification
Users that are interested in qwed-verification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Structured output benchmarks comparing DSPy and BAML with different LLMs☆28Dec 23, 2025Updated 5 months ago
- A fast, lightweight HTML to Markdown converter optimized for LLM consumption. Uses proven parsing libraries to deliver clean, well-struct…☆37Updated this week
- Download Loom videos easily from any website for convenient offline viewing | How to download loom videos☆43Apr 25, 2026Updated last month
- ☆37Mar 31, 2026Updated last month
- A repo for generating educational presentation videos.☆27May 13, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆16Mar 4, 2026Updated 2 months ago
- LangGraph agent samples☆26Apr 25, 2025Updated last year
- An AI Vision Language Model System for extracting structured knowledge graph information(JSON) from images of process diagrams☆44Apr 5, 2025Updated last year
- MPC Server for PySpark inpired by the LakeSail☆18Feb 26, 2026Updated 3 months ago
- Precision Knowledge Editing (PKE): A novel method to reduce toxicity in LLMs while preserving performance, with robust evaluations and ha…☆11Nov 26, 2024Updated last year
- ☆22Apr 10, 2026Updated last month
- A CLI for managing AI skill packages☆27Jan 18, 2026Updated 4 months ago
- Yet another credential store 🔐☆17May 8, 2025Updated last year
- Webpack plugin to easily get assets dependency graph based on entry point☆13Jan 10, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆19Nov 6, 2025Updated 6 months ago
- A BMad Method Compliant stand along module that has agents and workflows to help bring out the creativity of the user through various exe…☆82May 17, 2026Updated last week
- The AI-First Software Development (AIFSD) Manifesto☆28Feb 17, 2026Updated 3 months ago
- A Promise-like primitive which is lazy, cancelable, has typed errors, and emits synchronously☆43Updated this week
- Encouraging people to buy albums alongside their streaming, to better support artists.☆12Updated this week
- assign color hues to a collection of text fragments based on embeddings☆20Jun 15, 2024Updated last year
- GitHub Pages for Kernel Self Protection Project☆26May 14, 2026Updated last week
- ☆10Updated this week
- Schedule a data pipeline in Google Cloud using cloud function, BigQuery, cloud storage, cloud scheduler, stack trace, cloud build, and p…☆25Jun 4, 2019Updated 6 years 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.
- Csound CSD Preprocessor☆21Apr 27, 2015Updated 11 years ago
- pixel-mosaic converts images into pixel art and preserves features while downscaling☆31Mar 7, 2026Updated 2 months ago
- uses an LLM to generate descriptions and regular expressions for data selections☆15Jun 13, 2023Updated 2 years ago
- Vue Component for Kakaotalk Login☆13Dec 10, 2022Updated 3 years ago
- Experimental Marimo extension for Agentic Notebooks -- integrating AI Agents into the Notebook workflow☆15Oct 11, 2025Updated 7 months ago
- A computer for your agent - sandboxed code execution for AI agents☆44Nov 29, 2025Updated 5 months ago
- This repository contains a web application for multi-lingual transcription using OpenAI's Whisper Automatic Speech Recognition (ASR) mode…☆35Feb 12, 2026Updated 3 months ago
- 🪟 A modern desktop environment for Skift & Linux (mirror)☆17May 19, 2026Updated last week
- Giraffe for Fable (Python and BEAM)☆18Apr 2, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Cryptocurrency tax and tracking tools for the Beancount platform.☆12Mar 25, 2026Updated 2 months ago
- An open-source web-based animation editor for creating and editing Lottie animations. Import SVGs, create keyframe animations, edit exist…☆35Jan 7, 2026Updated 4 months ago
- A Docker image for NFS-Ganesha (NFSv4 only).☆11Apr 1, 2026Updated last month
- PTM (Programmable Tile Machine) is a "pseudo-8-bit fantasy computer" that you can program using a built-in programming language called PT…☆16Dec 31, 2025Updated 4 months ago
- Opening the world of search.☆12Jun 13, 2025Updated 11 months ago
- A set of example pages built using the Neat CSS Framework☆13Feb 10, 2025Updated last year
- PiLisp Language☆11Jun 15, 2023Updated 2 years ago