DARPA CASE program
☆16Jun 10, 2025Updated last year
Alternatives and similar repositories for CASE
Users that are interested in CASE 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's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)☆22Mar 13, 2026Updated 4 months ago
- DARPA Cyber Grand Challenge Linux source code☆18Jul 9, 2015Updated 11 years ago
- MULTIVAC - A DARPA Automating Scientific Knowledge Extraction (ASKE) Artifical Intelligence Exploration (AIE) Program☆29May 22, 2023Updated 3 years ago
- DARPA HackFest☆11Oct 13, 2017Updated 8 years ago
- Using the 1998 DARPA Intrusion Detection Evaluation dataset I configured a Random Forest model for anomaly detection☆14Feb 15, 2019Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Code and templates required to build the DARPA open catalog.☆18Mar 23, 2016Updated 10 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆50Aug 22, 2024Updated last year
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- a portable and easy to use Python library to interact with your camera via the Picture Transfer Protocol☆10Jun 26, 2026Updated 3 weeks ago
- Python bindings for yices2☆13Dec 18, 2024Updated last year
- A liquify effect tool demo for the article http://geekofficedog.blogspot.com/2015/01/liquify-effect-hello-swirl-2.html☆15Apr 10, 2015Updated 11 years ago
- ☆33Nov 2, 2025Updated 8 months ago
- This repo contains the source code of the physical layer developed for the DARPA Spectrum Collaboration Challenge (SC2).☆12Nov 21, 2019Updated 6 years ago
- Automated Controller Synthesis☆15Jun 27, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Chisel artifacts developed under IBM's involvement with the DARPA PERFECT program☆31Sep 17, 2025Updated 10 months ago
- An SMT solver for program verification☆18Updated this week
- A StableHLO analyzer in Lean☆21Jul 22, 2025Updated last year
- DARPA AIE (AI-Assisted Climate Tipping Point): AIBEDO (A hybrid AI framework to capture the effects of cloud properties on global circula…☆19Feb 4, 2024Updated 2 years ago
- ☆13May 13, 2026Updated 2 months ago
- Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)☆20Feb 21, 2022Updated 4 years ago
- Meta information for the DARPA open catalog project.☆57Nov 16, 2017Updated 8 years ago
- IPMI stuff from DARPA work☆76Dec 14, 2022Updated 3 years ago
- Unsupervised HHMM Training☆12Jan 21, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Virtual worlds from the DARPA subterranean challenge☆33Apr 18, 2025Updated last year
- Command line wrapper to interact with CodeGuru Reviewer☆23Sep 3, 2024Updated last year
- The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.☆25Jul 3, 2019Updated 7 years ago
- Implementation of Taint Tracking in LLVM compiler.☆10Jan 1, 2013Updated 13 years ago
- ☆28Sep 27, 2024Updated last year
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- A virtual filesystem for libgphoto2 using FUSE.☆25Jul 9, 2025Updated last year
- OCCAM: Object Culling and Concretization for Assurance Maximization☆27Jun 22, 2023Updated 3 years ago
- BLISS: Bimodal Lattice Signature Schemes☆31Jul 10, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆34Apr 11, 2026Updated 3 months ago
- Abstractions for iterating and mapping over struct fields☆17Jan 15, 2026Updated 6 months ago
- Image denoising with darktable using the Natural Image Noise Dataset☆21Oct 8, 2025Updated 9 months ago
- ☆44Jun 28, 2025Updated last year
- ☆16Mar 17, 2025Updated last year
- Double-ended queues☆14Apr 4, 2026Updated 3 months ago
- Lean models of Rust libraries☆34Sep 4, 2024Updated last year