Pinned Loading

1. AssistTaxi AssistTaxi Public

   We present AssistTaxi, a robust dataset specifically curated to address the critical need for high-quality data in the field. AssistTaxi is designed to capture real-world scenarios and encompasses …

   2 1

2. SoarToNuXmvTranslator SoarToNuXmvTranslator Public

   Translation of a cognitive architecture to formal verification environment

   Java 1

3. loonwerks/AHMIIAS loonwerks/AHMIIAS Public

   Open repository for the NASA AHMIIAS project

   Java 3 2

4. loonwerks/MATRICS loonwerks/MATRICS Public

   Java

5. DigiGarden DigiGarden Public

   🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites.

   TypeScript

6. TCAVL TCAVL Public

   Translation of a Cognitive Architecture for Verifiable Learning

   Java 2