Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
☆17Sep 7, 2026Updated 2 weeks ago
Alternatives and similar repositories for csl-core
Users that are interested in csl-core are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Neuro-Symbolic-Causal AI - Project Chimera | 🌌 An open research project exploring formal verification of AI agent decisions, combining s…☆56Feb 20, 2026Updated 7 months ago
- A comprehensive AI & ML project portfolio from the University of Texas at Austin PG Program, demonstrating real-world data science and ma…☆18Jan 25, 2026Updated 7 months ago
- The open-source safety layer for AI agents — block unsafe tool calls, require approval, enforce budgets, audit, replay.☆21Aug 31, 2026Updated 3 weeks ago
- Master the AI agent lifecycle for social impact. This workshop moves from low-code UI in Microsoft Copilot Studio to pro-code scaling in …☆16Apr 9, 2026Updated 5 months ago
- An MCP server for searching and downloading stock photography.☆27Sep 14, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A curated list of tools, frameworks, standards, and resources for EU AI Act compliance and AI governance☆21Sep 14, 2026Updated last week
- AI 原生多租户 SaaS 开发框架 — FastAPI + Vue 3 + PostgreSQL，内置 AI Agent、RAG、插件系统、RBAC、异步任务等核心能力，助力快速构建行业 SaaS 应用。☆25Updated this week
- Transform Git history: rewrite, clean, and optimize your repositories with ease.☆23Jun 27, 2026Updated 2 months ago
- ☆23Mar 30, 2026Updated 5 months ago
- An open source tool for detecting website blocks, downdetecting, and network analysis☆25Jul 28, 2026Updated last month
- Consume a stream of data into a binary Buffer as efficiently as possible☆12Jun 21, 2018Updated 8 years ago
- Write-ups cho một số bài trên Reversing.kr☆13Mar 24, 2023Updated 3 years ago
- Use Claude Code, Codex, OpenCode, Cline for free — one local gateway to 14+ free LLM providers. OpenAI & Anthropic compatible.☆36Aug 18, 2026Updated last month
- Modular “skill” files for AI coding agents working on medical device software☆29May 21, 2026Updated 4 months 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.
- Deep learning-based flower classification system using CNN architectures for image recognition and classification. Trained and evaluated …☆20Updated this week
- Executable security regression testing for agentic applications and MCP-integrated systems.☆50Jul 27, 2026Updated last month
- implement of NoProp-CT☆29May 2, 2025Updated last year
- A chromium docker container for web-based kiosks and dashboards running on a Raspberry Pi.☆11Mar 14, 2015Updated 11 years ago
- A minimalistic parser for the Gherkin syntax☆11Mar 6, 2023Updated 3 years ago
- Create HTTP APIs with a plugin system that runs in the server and the browser.☆11Jul 16, 2023Updated 3 years ago
- Denock intercepts HTTP calls to allow mocking response from third parties API☆10Nov 7, 2023Updated 2 years ago
- Enforce required parameters or options in ES6.☆12Dec 2, 2016Updated 9 years ago
- Helper tool for German visa appointments (RK-Termin): watches for free slots, solves the captcha, notifies on Telegram and can book autom…☆18Aug 16, 2026Updated last month
- 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.
- A modular and automated installer for deploying an Ethereum node using Reth and Lighthouse, including system setup, firewall rules, secur…☆12Mar 31, 2025Updated last year
- A simple embedded programming language☆21Apr 30, 2026Updated 4 months ago
- Modulo para Nodejs que obtiene la Tasa de cambio representativa del mercado (TRM) para Colombia☆14Jun 3, 2020Updated 6 years ago
- ☆10Nov 16, 2023Updated 2 years ago
- ☆15Nov 12, 2018Updated 7 years ago
- ☆27Jan 15, 2026Updated 8 months ago
- Another Node.js Server framework to create microservices☆10Jul 14, 2026Updated 2 months ago
- Bool.js API Core☆10Dec 30, 2022Updated 3 years ago
- Experiments on Linux Assembly shellcodes injection☆13Nov 21, 2017Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Easy Node.JS Git wrapper with support for arbitrary SSH keys☆15Aug 11, 2017Updated 9 years ago
- Libra ⇔ ETH atomic swaps implementation☆11Dec 8, 2020Updated 5 years ago
- Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state befo…☆59Updated this week
- Distributed stream processing layer☆20Dec 8, 2022Updated 3 years ago
- The “ixlist” is a linked list in a vector☆12Sep 14, 2017Updated 9 years ago
- Tasking 2.0☆17Nov 1, 2021Updated 4 years ago
- This repo hosts an MCP server for volatility3.x☆52Jul 9, 2025Updated last year