S

safety

Kova is a modular, AGPL-licensed AI governance framework designed to enforce structured, policy-driven control over artificial intelligence systems across consumer, household, and enterprise environments. It separates intelligence, execution, and policy enforcement into distinct layers to ensure all AI actions are transparent, auditable, and governed by configurable safety and access rules. https://roxanneardary.com/kova/

A lightweight and adaptable framework for design-by-contract in python.

Picks the single best capability for a task (skill, tool, MCP server, integration), installed or not: better options surface as owner-approved choices. Deterministic receipts, refusals with named reasons, never runs anything itself.

Modification des composant de la bibliothèque standard pour plus de sécurité dès la conception.

The DEMP Simulator Data Format (DEMP-SIM-DF) describes how to declare a DEMP Network topology and time-ordered event sequences that DEMP-SIM can replay or consume as an interactive visualization.

DEMP Simulator (DEMP-SIM) is a command-line tool for simulating and visualizing DEMP network activity.

The DEMP-SPEC defines the architecture and implementation guidelines for systems built on the Decentralized Emergency Management Protocol (DEMP).

Ontology for the Information Sharing System of the CSM/ASLP recommendation

Aquarium Safety and Control in a box

Experimental procedure, design, and requirements for the scientific SocCred project.

ANAC Docs

Paper at ICSR 2019

This is an Ionic app that can make semi-automatic calls and can send semi-automatic emergency sms.

Individual: Emergengy sms and 911 calls and sign up page

Credits to my teammates: Ivana Carmona and Laura Griselda.

Find your way through the concrete jungle with minimal effort and risk.