Alternatives and similar repositories for kekinian

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

• OpenAADL / polyorb-hi-c
  PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS
  ☆13Updated 2 years ago
• AdaCore / sparkformal
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆12Updated 4 years ago
• juli1 / aadl-book
  Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book
  ☆13Updated 7 years ago
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆70Updated 3 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆36Updated last year
• ge-high-assurance / VERDICT
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆42Updated 10 months ago
• pnp-software / cordetfw
  C Implementation of a Software Framework for Service-Oriented Applications with PUS Support
  ☆14Updated 2 months ago
• boschresearch / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆72Updated 3 years ago
• AdaCore / Robotics_with_Ada
  Robotics with Ada, ARM, and Lego
  ☆17Updated last year
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆53Updated last year
• systerel / S2OPC
  Mirror repository for open-source OPC-UA Toolkit designed with security and embedded devices in mind. Main repository is on gitlab:
  ☆19Updated this week
• acjf3 / l3mips
  L3 based MIPS specification and emulator
  ☆15Updated 3 years ago
• Open-MBEE / Comodo
  COMODO2 is a Java tool that allows to transform a UML/SysML model into code for different software platforms.
  ☆25Updated last year
• Frama-C / open-source-case-studies
  Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
  ☆28Updated 4 years ago
• jgrivera67 / make-with-ada
  Ada projects for Make-with-Ada
  ☆13Updated 3 years ago
• nasa / CertWare
  ☆51Updated 9 years ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆20Updated 3 weeks ago
• eclipse-basyx / basyx-cpp-sdk
  cpp-sdk
  ☆15Updated last year
• AdaCore / OPAVES
  Open Platform for Autonomous VEhicle Systems
  ☆21Updated 7 years ago
• JPL-IMCE / gov.nasa.jpl.imce.ontologies.public
  JPL's IMCE ontologies for Model-Based Systems Engineering
  ☆20Updated 5 years ago
• upscale-sdk / UpScale
  UpScale SDK enables the development of applications with strict timing and high-performance requirements
  ☆22Updated last year
• seL4 / camkes
  Component Architecture test suite and example apps.
  ☆29Updated this week
• nasa / fpp
  F Prime Prime: A modeling language for F Prime
  ☆69Updated last week
• MDE4CPP / MDE4CPP
  Model Driven Engineering for C++ (MDE4CPP)
  ☆12Updated last week
• UPPAALModelChecker / utap
  Uppaal Timed Automata Parser
  ☆11Updated last month
• AdaCore / gnatcoverage
  GNATcoverage: Coverage Analysis Tool
  ☆42Updated this week
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆109Updated last year
• smaccm / smaccm
  ☆33Updated 6 years ago
• timed-c / ktc
  KTH's Timed C compiler
  ☆19Updated 3 years ago
• lambourg / Ada_Bare_Metal_Demos
  Bare Metal demos using Ada and ravenscar runtimes
  ☆22Updated 5 years ago