Alternatives and similar repositories for aadl2uppaal

Users that are interested in aadl2uppaal are comparing it to the libraries listed below

• homothetyhk / HollowKnight.InfiniteNotches

  View on GitHub
  A toggleable Hollow Knight mod that gives infinite charm notches, and can be safely uninstalled.
  ☆12Aug 25, 2021Updated 4 years ago
• take6 / obsidian-plugin-auto-hyperlink

  View on GitHub
  ☆12Apr 13, 2024Updated last year
• SomaLogic / SomaLogic-Data

  View on GitHub
  The 'example_data.adat' is intended to provide existing and prospective SomaLogic customers an example data file to enable analysis prepa…
  ☆14Updated this week
• igor-buzhinsky / nusmv_counterexample_visualizer

  View on GitHub
  Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker
  ☆10Sep 7, 2020Updated 5 years ago
• D0ub1ePieR / RawSocketPortScan

  View on GitHub
  利用connect、tcpsyn、tcpfin、udp实现端口扫描，使用socket
  ☆11Jul 17, 2020Updated 5 years ago
• TheMatjaz / minihit

  View on GitHub
  Minimal hitting set solver in Python
  ☆11Dec 15, 2018Updated 7 years ago
• JamesWhiteSnow / GNN-PE

  View on GitHub
  ☆18Jan 18, 2026Updated 3 weeks ago
• SuburbiaXX / NUAA-OS

  View on GitHub
  NUAA操作系统实验课
  ☆10Jun 23, 2023Updated 2 years ago
• ylxieyu / MAHAKIL

  View on GitHub
  A oversampling approach
  ☆11Nov 21, 2018Updated 7 years ago
• osate / examples

  View on GitHub
  Examples and case-study that use OSATE
  ☆56Apr 15, 2025Updated 10 months ago
• pku-minic / first-step-rs

  View on GitHub
  Take your first step in writing a compiler. Implemented in Rust.
  ☆16Apr 17, 2023Updated 2 years ago
• Gavin-Lee / FaceSDK

  View on GitHub
  人脸识别SDK 采用C++编写，支持两张照片进行比对1:1，以及1：N 人脸搜索
  ☆12Nov 23, 2014Updated 11 years ago
• Unknown-Body / Graph-Neural-Network

  View on GitHub
  All materials related to GNN
  ☆14Jan 4, 2023Updated 3 years ago
• juli1 / aadl-book

  View on GitHub
  Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book
  ☆14Jul 9, 2017Updated 8 years ago
• mehgrmlhmpf / AttackGraphGeneratorMasterThesis

  View on GitHub
  This work shows the viability of automatically generated attack graphs that are used for adversary behavior execution in industrial contr…
  ☆12Jun 3, 2021Updated 4 years ago
• da-steve101 / binary_connect_cifar

  View on GitHub
  An implementation of a BinaryConnect network for cifar10
  ☆11Nov 4, 2019Updated 6 years ago
• rebstan97 / AttackGraphGeneration

  View on GitHub
  ☆14Jul 26, 2019Updated 6 years ago
• panchengl / yolov4_prune

  View on GitHub
  ☆14Jan 6, 2021Updated 5 years ago
• loonwerks / AGREE

  View on GitHub
  Assume-Guarantee REasoning Environment
  ☆19Dec 3, 2025Updated 2 months ago
• 1372484434 / WebServer-with-ChatGPT

  View on GitHub
  C++高性能服务器搭建ChatGPT以及调用摄像头实时显示画面
  ☆18Mar 8, 2024Updated last year
• aialvi / tailwind-nextjs-landing-page

  View on GitHub
  Simple landing page built with Tailwind CSS and Next.js
  ☆11May 18, 2022Updated 3 years ago
• ostamour / CSGO_aimbot

  View on GitHub
  Aimbot for CS:GO.
  ☆10Jul 31, 2018Updated 7 years ago
• zhuzhuao / libman

  View on GitHub
  数据库课程设计，图书馆管理系统/添加图书/借书/还书
  ☆13Jun 24, 2018Updated 7 years ago
• phillipstanleymarbell / Noisy-lang-compiler

  View on GitHub
  Noisy language compiler
  ☆17Jul 31, 2024Updated last year
• SAGNIKMJR / BasicNAS_Reinforce

  View on GitHub
  Basic PyTorch Implementation of 'Neural Architecture Search with Reinforcement Learning' (https://arxiv.org/abs/1611.01578)
  ☆13Feb 24, 2018Updated 7 years ago
• collins-research / FuzzM

  View on GitHub
  ☆16Apr 15, 2019Updated 6 years ago
• yangyubuaa / Pseudo_Data_Tagging

  View on GitHub
  基于自学习（伪标签）的数据自动标注算法（半监督）
  ☆18Aug 4, 2021Updated 4 years ago
• coco-team / cocoSim2

  View on GitHub
  Automated Analysis Framework for Simulink/Stateflow
  ☆16Jul 25, 2023Updated 2 years ago
• AllLiving / LaTeX

  View on GitHub
  LaTeX的一些模板
  ☆12Aug 15, 2019Updated 6 years ago
• VeraLiconaResearchGroup / Minimal-Hitting-Set-Algorithms

  View on GitHub
  M.H.S algorithms encoded
  ☆12Jun 14, 2016Updated 9 years ago
• Sorkai / fuckaliyun

  View on GitHub
  A tool to auto delete the Aliyun Security Service on Linux|暴力删除阿里云内置安全组件工具，使用软硬兼施的方法进行卸载
  ☆15Aug 7, 2020Updated 5 years ago
• linzx91 / Shortcuts

  View on GitHub
  快捷指令集
  ☆13Apr 19, 2021Updated 4 years ago
• grisslab / scAnnotatR

  View on GitHub
  ☆20Jan 16, 2026Updated last month
• alangarf / tm1638-verilog

  View on GitHub
  A basic verilog driver for the TM1638 LED and key matrix chip
  ☆19Dec 22, 2017Updated 8 years ago
• 6QHTSK / HUSTCSE-Graduation-Project

  View on GitHub
  2023年华中科技大学毕业设计 - 基于溯源图的APT攻击检测方法优化
  ☆20Jun 11, 2023Updated 2 years ago
• Fourier-Transformation / Bookstore-sales-management-system

  View on GitHub
  数据库课程设计项目：书店销售管理系统
  ☆13Jan 4, 2023Updated 3 years ago
• vancemiller / CUDA-preemption

  View on GitHub
  Experiments evaluating preemption on the NVIDIA Pascal architecture
  ☆17Nov 10, 2016Updated 9 years ago
• usydnlp / COMP5046NLP_2022

  View on GitHub
  ☆16Mar 22, 2022Updated 3 years ago
• verivital / hyst

  View on GitHub
  HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
  ☆15Sep 3, 2020Updated 5 years ago