Arduino library for controlling signals on a model railway.

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

JMRI model railroad digital command & control software

Moppy has been replaced with Moppy 2.0!

kOS<-->RPM interface for Kerbal Space Program

Kerbal Processing Unit is an automation mod for the game Kerbal Space Program

An external program to generate Kerbals

Adds more nuclear thermal rockets to Kerbal Space Program

KSP plugin to visualize future planet/moon positions

Mod for Kerbal Space Program: Attitude and velocity markers.

KSP Computer is a VPL plugin for Kerbal Space Program

Tools that make creating kOS scripts easier.

A precision landing program for rockets in Kerbal Space Program that uses kOS

This is the home of kOS Documentation. kOS is a scripting plugin for Kerbal Space Program. Originally by Nivekk

Kerbal mod autopilot with auto-land

Automated Guidance Computer plugin for Kerbal Space Program

𝑛-Body and Extended Body Gravitation for Kerbal Space Program

Kerbal Space Program Aerobrake Manoeuver Calculator

PreciseNode for Kerbal Space Program

Mod site for KSP