Generate diagrams from textual description

Free, no-nonsense, super fast blogging.

Minimal Jekyll plugin for your traveling experience

A (nearly) no-CSS, fast, minimalist Jekyll theme.

Minimalist Jekyll theme supporting dark mode, KaTeX, sidenotes, and more

Minimalistic Jekyll theme that automatically supports dark and light modes for blogs

A minimal, responsive, and feature-rich Jekyll theme for technical writing.

A Python 3 headless implementation of the Capella modeling tool.

Realtime digital guitar effects pedal designed for Raspberry PI, written in C++

Safety-critical applications oriented Real-Time Operating System written in Rust

Python for Capella

This add-on allows importing a set of requirements from a ReqIF file

Open source SDK to develop Capella add-ons

System to Sub System transition add-on enables automated and iterative transition between system and subsystems.

XHTML Documentation Generation AddOn provides output HTML files for Capella model

Open Source Solution for Model-Based Systems Engineering

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

OpenGEODE - a free SDL State Machine editor for space applications...and more

ASN1SCC: An open source ASN.1 compiler for embedded systems

Hybrid Ada compiler for MSP430 platform

ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.

Qt Creator plugin for asn1scc - ASN.1/ACN compiler for embedded systems

Mathematical model of the ASTRAEUS-01 spacecraft and its relevant subsystems.

Standalone (non-TASTE) implementation of the ADCS Subsystem, developed in PlatformIO with Arduino/MbedOS for RPi-Pico/STM32F

The backbone of the on-board processing pipeline for CloudView and ASTRAEUS-01

Firmware for the Raspberry Pi Pico acting as an I2C-UART bridge between the OBC and the Jetson Nano.

Firmware for the Raspberry Pi Pico acting as the PWM controller between the OBC and the MAPIR Survey 3 camera.

ESA TASTE model for the On-Board Computer subsystem firmware.