Alternatives and similar repositories for Crazyflie

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

• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆73Updated 3 years ago
• coco-team / cocoSim2
  Automated Analysis Framework for Simulink/Stateflow
  ☆16Updated 2 years ago
• AFifarek / SpeAR
  Specification and Analysis for Requirements Tool
  ☆10Updated 9 years ago
• smaccm / smaccm
  ☆35Updated 6 years ago
• loonwerks / formal-methods-workbench
  ☆23Updated 2 years ago
• hbourbouh / lm_challenges
  Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers
  ☆13Updated 6 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆50Updated 4 months ago
• pnp-software / cordetfw
  C Implementation of a Software Framework for Service-Oriented Applications with PUS Support
  ☆14Updated 3 months ago
• lgwagner / SpeAR
  Specification and Analysis for Requirements Tool
  ☆21Updated 4 years ago
• nasa / PLEXIL5
  PLEXIL5 is a Formal Verification Environment for PLEXIL
  ☆19Updated 2 months ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated 3 weeks ago
• jgrivera67 / make-with-ada
  Ada projects for Make-with-Ada
  ☆13Updated 4 years ago
• lasp / adamant
  A model-based flight software framework for Ada
  ☆39Updated last week
• ge-high-assurance / VERDICT
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆46Updated last year
• NASA-SW-VnV / CoCoSim
  Automated Analysis Framework for Simulink/Stateflow models.
  ☆59Updated 8 months ago
• coco-team / cocoSim-deprecated
  Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)
  ☆25Updated 8 years ago
• loonwerks / CASE
  DARPA CASE program
  ☆15Updated 8 months ago
• VerifiableRobotics / LTLMoP
  A toolkit for designing and implementing LTL-based task specifications.
  ☆56Updated 9 years ago
• TNO / Renaissance-Ada
  Tooling for analysis and manipulation of Ada software
  ☆35Updated last year
• nasa / CertWare
  ☆53Updated 9 years ago
• Formal-Systems-Laboratory / ROSRV
  ☆15Updated 4 years ago
• AdaCore / startup-gen
  A startup code generator for embedded projects
  ☆32Updated last month
• tum-ei-rcs / StratoX
  Flight stack for an unmanned fixed-wing weather glider.
  ☆16Updated 8 years ago
• NVIDIA / spark-process
  A process for Ada/SPARK software to meet ISO 26262
  ☆28Updated 7 months ago
• stcarrez / ada-enet
  Ada Embedded Network Stack
  ☆24Updated last month
• umangm / realsyn
  Automated Controller Synthesis
  ☆15Updated 7 years ago
• AdaCore / RecordFlux
  Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
  ☆122Updated last month
• AdaCore / Certyflie
  ☆35Updated 7 years ago
• elisa-tech / wg-aerospace
  ELISA Aerospace Working Group
  ☆34Updated this week
• HeisenbugLtd / spat
  SPARK Proof Analysis Tool
  ☆17Updated 5 years ago