A Tutorial for tools developed on the DARPA CASE program
☆15Oct 18, 2023Updated 2 years ago
Alternatives and similar repositories for CASE-AADL-Tutorial
Users that are interested in CASE-AADL-Tutorial are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- System for verifying the correctness of generated Copilot programs☆19May 8, 2025Updated last year
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆77Mar 23, 2022Updated 4 years ago
- Tools for testing and verifying the safety and correctness of C programs.☆19May 5, 2025Updated last year
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated 8 months ago
- A Tool for Multi-Paradigm Modeling☆25May 8, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Companion code and schematics for my breadboard Z80 series☆11Dec 6, 2020Updated 5 years ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Drive a Wishbone master bus with an SPI bus.☆10Apr 24, 2025Updated last year
- Formal semantics of Rust☆24Apr 9, 2021Updated 5 years ago
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆25Dec 29, 2016Updated 9 years ago
- Implementing Domain-Specific Languages with Xtext and Xtend, published by Packt☆14Jan 30, 2023Updated 3 years ago
- Self-modifying Code de-obfuscation☆17May 17, 2017Updated 9 years ago
- A Thoroughly Tested Verilog Implementation of a Z80 Compatible Processor Architecture☆18Mar 31, 2021Updated 5 years ago
- CN separation logic refinement type system for C☆56Updated this week
- 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.
- Pacman wrapper/frontend to emulate Gentoo's "emerge" package management tool on ArchLinux systems☆10Sep 26, 2022Updated 3 years ago
- ☆17Dec 5, 2025Updated 7 months ago
- ☆27Mar 13, 2025Updated last year
- Embedded-friendly crypto a la SMACCM☆13Aug 11, 2017Updated 8 years ago
- Code examples for Sipeed Tang Nano 9K FPGA board including HDMI 720p and PSRAM controller usage.☆23Aug 21, 2022Updated 3 years ago
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- Source code for "An Empirical Study of Code Smells in Transformer-based Code Generation Techniques".☆11Oct 4, 2022Updated 3 years ago
- GPT Table Semantic Parsing with complex & non-intuitive structure.☆17Jul 16, 2025Updated last year
- The current implementation of `LinearAlgebra.eigen` does not support sensitivities. DifferentiableEigen.jl offers an `eigen` function tha…☆34Sep 15, 2025Updated 10 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Sireum: A High Assurance System Engineering Platform☆28Updated this week
- Custom Command and Control (C3). A framework for rapid prototyping of custom C2 channels, while still providing integration with existing…☆11Oct 6, 2020Updated 5 years ago
- Information about concrete categories relevant to universal algebra☆19Apr 14, 2026Updated 3 months ago
- Remote control link library on ESP-NOW with telemetry☆16Nov 28, 2025Updated 7 months ago
- A MCP server written in C++ that provides AI models and agents with a SysML v2 model as context.☆20Sep 23, 2025Updated 9 months ago
- A Prompt Learning Framework for Source Code Summarization☆14Dec 26, 2023Updated 2 years ago
- ☆13Apr 17, 2025Updated last year
- Python API for lightweight communication with the Rocq proof assistant☆20Apr 18, 2026Updated 3 months ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆50Aug 22, 2024Updated last year
- 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.
- GUI for running the SPIN model checker☆20Nov 22, 2022Updated 3 years ago
- Language Models for Code Completion: a Practical Evaluation☆13Jan 19, 2024Updated 2 years ago
- MtE - MuTation Engine☆13Sep 4, 2022Updated 3 years ago
- ☆11Jun 20, 2023Updated 3 years ago
- A model checker based on SAT solving and induction☆15Mar 27, 2015Updated 11 years ago
- Actor-based Runtime Verification Tool☆18Apr 13, 2023Updated 3 years ago
- Native Swift client library for ROS 2: publish/subscribe over Zenoh or CycloneDDS without the rcl/rclcpp stack☆18Jul 13, 2026Updated last week