This repository is for D-Case Editor, an assurance case editor. See www.dcase.jp!
☆10Mar 31, 2015Updated 11 years ago
Alternatives and similar repositories for d-case_editor
Users that are interested in d-case_editor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cyber-Physical Inconsistency Identification for Safety Checks in Robotic Vehicles☆10Oct 13, 2022Updated 3 years ago
- 基于MFC的无人机3D飞行姿态控制系统☆10Mar 29, 2017Updated 9 years ago
- MATLAB toolbox for stochastic reachability (probabilistic verification and controller synthesis)☆12Sep 25, 2020Updated 5 years ago
- Open source Traffic Collision Avoidance System☆12Jan 25, 2015Updated 11 years ago
- DITA demo project☆11Sep 28, 2023Updated 2 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.
- A software-defined GNSS receiver toolkit☆11Sep 20, 2022Updated 3 years ago
- Simple pin assignment generator for IC case☆19Feb 14, 2017Updated 9 years ago
- Migrate reStructuredText documents into DITA maps and topics via the Python rst2xml process☆20Apr 22, 2015Updated 10 years ago
- IPXACT Register Map Generator☆11May 9, 2021Updated 4 years ago
- Base Variability Resolution (BVR) metamodel, engine and editors☆11Sep 4, 2018Updated 7 years ago
- Example ScalaJS webRTC client and Akka Websocket relay server.☆13Sep 23, 2016Updated 9 years ago
- Chainer で競馬予想☆10Dec 7, 2016Updated 9 years ago
- visio2img is a image converter. It converts from MS-Visio file (.vsd, .vsdx) to images☆16Aug 11, 2018Updated 7 years ago
- OASIS TC Open Repository: Developing style sheets and other resources that can be used to build OASIS-styled publications from DITA sourc…☆16Jun 6, 2023Updated 2 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.
- WP7: Top Level Project for the toolchain☆28Jan 3, 2016Updated 10 years ago
- This is the LinkedIn Learning repository for Level Up: Python Data Acquisitions, Prep, & EDA.☆15Mar 4, 2025Updated last year
- Simple Black Jack game program written in Scala language.☆10Dec 6, 2016Updated 9 years ago
- ☆12May 30, 2016Updated 9 years ago
- ADRSIR(ビットトレードワン製赤外線送受信機) 用のライブラリ☆15Aug 23, 2020Updated 5 years ago
- Mini Owner's Manual written in DITA☆22Dec 23, 2014Updated 11 years ago
- DITA-OT PDF plug-in generator☆13Feb 14, 2025Updated last year
- DITA-OT plug-ins☆23Jun 14, 2017Updated 8 years ago
- Detecting Attacks Against Robotic Vehicles: A Control Invariant Approach☆15Oct 20, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Extensible ARM CMSIS SVD spec based, multi-language source code generator☆18Jan 1, 2016Updated 10 years ago
- Open Source AADL2 Tool Environment☆54Mar 23, 2026Updated 2 weeks ago
- Translate XML with PO files using W3C Internationalization Tag Set rules☆22Mar 26, 2025Updated last year
- Utilities for use with openHAB☆15May 20, 2020Updated 5 years ago
- Flight control and ground station code drom the book Make: Drones☆30Jul 10, 2016Updated 9 years ago
- ZIO integration with AWS S3 SDK☆17Sep 24, 2020Updated 5 years ago
- Source for The DITA Style Guide (English)☆19Jul 28, 2022Updated 3 years ago
- スマートスピーカーのスキルです。ブログの最新記事のタイトルをスマートスピーカーが読み上げてくれる + (Clova の場合) URL を LINE で送ってくれる☆14Jun 7, 2021Updated 4 years ago
- GNSS/GPS Spoofing Detection☆31Jan 28, 2022Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆38Sep 10, 2022Updated 3 years ago
- Leaflet add-on for Vaadin☆42Aug 13, 2024Updated last year
- ☆53Jun 26, 2016Updated 9 years ago
- Darc Viewpoint (Cybersecurity Assets & Threats Modeling analysis)☆22Jan 20, 2026Updated 2 months ago
- Antenna House PDF5-ML DITA-OT Plug-in☆23Mar 30, 2026Updated last week
- Collaborative Filtering Autoencoder Neural Network☆10Jun 27, 2018Updated 7 years ago
- Intergration SpringBoot2 + RedisCluster☆13Sep 3, 2020Updated 5 years ago