kalzahid Goto Github PK

aaspe

A set of modeling tools for security analysis (attack tree, attack impact) and a code generator to produce code for the seL4 platform from AADL models.

act

ads-traffic-regs

alltutor

archimetal_practice

ArchiMate Modeling Practice - ArchiMetal Case Study - Step by Step using Archi tool

archisurance_practice

Practice on Archi (Archimate) modeling tool, using ArchiSurance case study; as well as introducing tips on modeling

aslan

Open source self-driving software for low speed environments

asterinas

Asterinas is a safe, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

automotive

W3C Automotive Working Group Specifications

autoware

autoware.ai

Open-source software for self-driving vehicles

awesome-llm-safety

A curated list of safety-related papers, articles, and resources focused on Large Language Models (LLMs). This repository aims to provide researchers, practitioners, and enthusiasts with insights into the safety implications, challenges, and advancements surrounding these powerful models.

bao-hypervisor

Bao, a Lightweight Static Partitioning Hypervisor

benchmark

A microbenchmark support library

cmake-examples

A collection of as simple as possible, modern CMake projects

cmake-project-creator

cpp-project-creator

cpp-template

C++ console application template using Bazel and googletest

cpu_usage

Prints current total and per-core CPU usage

crewai

Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.

cyclonedds

Eclipse Cyclone DDS project

deepseek-coder

DeepSeek Coder: Let the Code Write Itself

demo-l4re-micro-hypervisor

L4Re Micro Hypervisor demo for Cortex-R52 and Cortex-R82

diagdoipcom

Doip Diagnostic Vehicle Communication Service

docker-install

Docker installation script

docsample

dora

low latency, composable, and distributed dataflow for AI and robotic application

end-to-end-autonomous-driving

All you need for End-to-end Autonomous Driving

esmini

a basic OpenSCENARIO player

generativeaiexamples

Generative AI reference workflows optimized for accelerated infrastructure and microservice architecture.

ghidra

Ghidra is a software reverse engineering (SRE) framework