Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
☆15May 31, 2026Updated last month
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…☆54Feb 20, 2026Updated 5 months ago
- A comprehensive AI & ML project portfolio from the University of Texas at Austin PG Program, demonstrating real-world data science and ma…☆17Jan 25, 2026Updated 5 months ago
- The open-source safety layer for AI agents — block unsafe tool calls, require approval, enforce budgets, audit, replay.☆20Updated 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 3 months ago
- An MCP server for searching and downloading stock photography.☆23Jun 29, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A curated list of tools, frameworks, standards, and resources for EU AI Act compliance and AI governance☆15Jun 18, 2026Updated last month
- AI 原生多租户 SaaS 开发框架 — FastAPI + Vue 3 + PostgreSQL，内置 AI Agent、RAG、插件系统、RBAC、异步任务等核心能力，助力快速构建行业 SaaS 应用。☆16Jul 13, 2026Updated last week
- A curated list of cryptography papers, articles, tutorials and howtos.☆10Feb 19, 2024Updated 2 years ago
- Transform Git history: rewrite, clean, and optimize your repositories with ease.☆20Jun 27, 2026Updated 3 weeks ago
- ☆23Mar 30, 2026Updated 3 months ago
- Consume a stream of data into a binary Buffer as efficiently as possible☆12Jun 21, 2018Updated 8 years ago
- An open source tool for detecting website blocks, downdetecting, and network analysis☆23Updated this week
- Write-ups cho một số bài trên Reversing.kr☆13Mar 24, 2023Updated 3 years ago
- Deep learning-based flower classification system using CNN architectures for image recognition and classification. Trained and evaluated …☆19Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Use Claude Code, Codex, OpenCode, Cline for free — one local gateway to 14+ free LLM providers. OpenAI & Anthropic compatible.☆29May 14, 2026Updated 2 months ago
- Modular “skill” files for AI coding agents working on medical device software☆24May 21, 2026Updated 2 months ago
- A chromium docker container for web-based kiosks and dashboards running on a Raspberry Pi.☆11Mar 14, 2015Updated 11 years ago
- implement of NoProp-CT☆28May 2, 2025Updated last year
- A minimalistic parser for the Gherkin syntax☆11Mar 6, 2023Updated 3 years ago
- Executable security regression testing for agentic applications and MCP-integrated systems.☆34Jun 18, 2026Updated last month
- 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
- 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.
- ☆16Jan 23, 2020Updated 6 years 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
- ☆22Jan 15, 2026Updated 6 months ago
- A simple embedded programming language☆20Apr 30, 2026Updated 2 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
- Bool.js API Core☆10Dec 30, 2022Updated 3 years ago
- Another Node.js Server framework to create microservices☆10Jul 14, 2026Updated last week
- 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.
- Experiments on Linux Assembly shellcodes injection☆13Nov 21, 2017Updated 8 years ago
- Libra ⇔ ETH atomic swaps implementation☆11Dec 8, 2020Updated 5 years ago
- Easy Node.JS Git wrapper with support for arbitrary SSH keys☆15Aug 11, 2017Updated 8 years ago
- A deterministic verification layer for AI systems. QWED verifies AI outputs using mathematics, symbolic reasoning, and formal methods (Z…☆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