Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
☆16Aug 21, 2026Updated last week
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…☆55Feb 20, 2026Updated 6 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.☆21Updated this week
- 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 4 months ago
- An MCP server for searching and downloading stock photography.☆27Aug 24, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A curated list of tools, frameworks, standards, and resources for EU AI Act compliance and AI governance☆19Aug 3, 2026Updated 3 weeks ago
- A curated list of cryptography papers, articles, tutorials and howtos.☆10Feb 19, 2024Updated 2 years ago
- AI 原生多租户 SaaS 开发框架 — FastAPI + Vue 3 + PostgreSQL，内置 AI Agent、RAG、插件系统、RBAC、异步任务等核心能力，助力快速构建行业 SaaS 应用。☆22Aug 17, 2026Updated 2 weeks ago
- Transform Git history: rewrite, clean, and optimize your repositories with ease.☆20Jun 27, 2026Updated 2 months ago
- ☆23Mar 30, 2026Updated 5 months ago
- An open source tool for detecting website blocks, downdetecting, and network analysis☆24Jul 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.☆34Aug 18, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Modular “skill” files for AI coding agents working on medical device software☆27May 21, 2026Updated 3 months ago
- Deep learning-based flower classification system using CNN architectures for image recognition and classification. Trained and evaluated …☆19Jul 18, 2026Updated last month
- Executable security regression testing for agentic applications and MCP-integrated systems.☆49Jul 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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 2 weeks ago
- 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☆20Apr 30, 2026Updated 4 months ago
- Modulo para Nodejs que obtiene la Tasa de cambio representativa del mercado (TRM) para Colombia☆15Jun 3, 2020Updated 6 years ago
- ☆15Nov 12, 2018Updated 7 years ago
- ☆10Nov 16, 2023Updated 2 years ago
- ☆23Jan 15, 2026Updated 7 months ago
- Another Node.js Server framework to create microservices☆10Jul 14, 2026Updated last month
- Bool.js API Core☆10Dec 30, 2022Updated 3 years ago
- 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.
- Experiments on Linux Assembly shellcodes injection☆13Nov 21, 2017Updated 8 years ago
- 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…☆57Updated this week
- Distributed stream processing layer☆20Dec 8, 2022Updated 3 years ago
- The “ixlist” is a linked list in a vector☆12Sep 14, 2017Updated 8 years ago
- Tasking 2.0☆17Nov 1, 2021Updated 4 years ago