Popular repositories Loading
-
-
-
micropatch-bench
micropatch-bench PublicMicropatching benchmarks compiled by Aarno Labs and MIT for DARPA Assured Micro-patching (AMP)
Dockerfile
-
iot-device-ontology
iot-device-ontology PublicIoT Device and Operational Ontology developed during DARPA HACCS.
Python
-
drift-codehawk-c
drift-codehawk-c PublicForked from static-analysis-engineering/CodeHawk-C
CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
Python
Repositories
- GALA-GNN-Acceleration-LAnguage Public Forked from ADAPT-uiuc/GALA-GNN-Acceleration-LAnguage
A Graph Neural Network (GNN) Domain-Specific Language and compiler for optimizing performance and exposing better abstractions to users.
Aarno-Labs/GALA-GNN-Acceleration-LAnguage’s past year of commit activity - llvm-project Public Forked from llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Aarno-Labs/llvm-project’s past year of commit activity - tenjin-mcpp Public
Aarno-Labs/tenjin-mcpp’s past year of commit activity - drift-codehawk-c Public Forked from static-analysis-engineering/CodeHawk-C
CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
Aarno-Labs/drift-codehawk-c’s past year of commit activity - micropatch-bench Public
Micropatching benchmarks compiled by Aarno Labs and MIT for DARPA Assured Micro-patching (AMP)
Aarno-Labs/micropatch-bench’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…