DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)
☆21Mar 13, 2026Updated 3 months ago
Alternatives and similar repositories for RACK
Users that are interested in RACK are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- DARPA CASE program☆16Jun 10, 2025Updated last year
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆50Aug 22, 2024Updated last year
- A parser and AST for Lustre☆12Oct 30, 2024Updated last year
- Code and templates required to build the DARPA open catalog.☆18Mar 23, 2016Updated 10 years ago
- Client side API for communicating with a mattermost server in Haskell☆25Feb 8, 2026Updated 4 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Advent of Code 2020 Haskell Solutions☆16Dec 29, 2020Updated 5 years ago
- DARPA HackFest☆11Oct 13, 2017Updated 8 years ago
- A command-line tool for live monitoring☆26Feb 21, 2026Updated 3 months ago
- Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)☆20Feb 21, 2022Updated 4 years ago
- Adept framework for information extraction (IE), natural language processing (NLP) and human language technology (HLT). For more informat…☆10Nov 17, 2017Updated 8 years ago
- ☆23Mar 24, 2023Updated 3 years ago
- Thunderclap QEMU-based network card emulation☆30Oct 3, 2022Updated 3 years ago
- Unsupervised HHMM Training☆12Jan 21, 2018Updated 8 years ago
- The dataset in the paper "Detecting '0-Day' Vulnerability: An Empirical Study of Secret Security Patch in OSS", which appears in the 2019…☆14Aug 9, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- Implementation of Taint Tracking in LLVM compiler.☆10Jan 1, 2013Updated 13 years ago
- Tools for generating CFS ECI-compatible code from Simulink models☆30Sep 12, 2023Updated 2 years ago
- Experiments on darpa shredder challenge tasks using python & opencv.☆41Nov 22, 2022Updated 3 years ago
- Virtual worlds from the DARPA subterranean challenge☆32Apr 18, 2025Updated last year
- Artifacts from the DARPA-funded SafeDocs research program☆28May 25, 2023Updated 3 years ago
- dijkstra algorithm optimized with heap☆14Dec 20, 2018Updated 7 years ago
- ELISA Aerospace Working Group☆36Jun 12, 2026Updated last week
- MULTIVAC - A DARPA Automating Scientific Knowledge Extraction (ASKE) Artifical Intelligence Exploration (AIE) Program☆29May 22, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- DARPA Cyber Grand Challenge Challenge Binary Testing tools☆31Jan 24, 2018Updated 8 years ago
- ☆16Aug 26, 2023Updated 2 years ago
- A client for the Hydra Nix CI☆51Jul 22, 2024Updated last year
- Make backup copies of your music or data CDs. Copy (Clone) most CDs in just a few mouse clicks. Create perfect 1:1 copies or save your CD…☆13Sep 27, 2023Updated 2 years ago
- ☆16Mar 17, 2025Updated last year
- VMware Products License Keys☆12Feb 22, 2025Updated last year
- Bash script to install Honeypot projects ona Raspbian System☆28Jul 6, 2015Updated 10 years ago
- implementation of ideas from 'Neutaint: Efficient Dynamic Taint Analysis with Neural Networks'☆14Sep 17, 2019Updated 6 years ago
- SE3 pose lib uses JPL quaternion representing rotation. Headers only.☆14Oct 25, 2018Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- IPMI stuff from DARPA work☆76Dec 14, 2022Updated 3 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- Complete software package for the Iris Lunar Rover (CMU).☆17Feb 23, 2026Updated 3 months ago
- A lightning marketplace and lightweight learning management system.☆10Nov 10, 2023Updated 2 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- ChipSHOVER is an XYZ table & driver, with open-source firmware for the controller.☆48Aug 27, 2025Updated 9 months ago
- Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program☆27Apr 18, 2018Updated 8 years ago