Pinned Loading

1. veriphi-verification veriphi-verification Public

   Neural Network Robustness Verification Tool with Attack-Guided Verification

   Python 1 2

2. Knowledge-Based-Agent Knowledge-Based-Agent Public

   Autonomous AI agent augmented with RAG and a knowledge base.

   Python 6

3. reflection-types reflection-types Public

   OCaml reflection types

   OCaml 1 1

4. ThoughtLink ThoughtLink Public

   Intent infrastructure for intelligent machines: from brain to robot, at the speed of thought.

   Python 1

5. ESP_SIM800 ESP_SIM800 Public

   The standalone system based on esp-32 and sim800 module to read digital meters and send the payload to the cloud through MQTT.

   C++

6. ESP32_CAM ESP32_CAM Public

   The esp32 camera to take photos on detecting any motion through PIR motion sensor with 3 hour deepsleep timer wakeup.

   C++