Skip to content
@cubesatlab

CubeSat Laboratory

Vermont State University's CubeSat development group

Popular repositories

  1. cubedos cubedos Public

    A flight software framework in SPARK/Ada

    Ada 45 5

  2. jt65 jt65 Public

    A SPARK implementation of the JT65 protocol

    Ada 2

  3. merc merc Public

    A tool for compiling CubedOS message definitions into message encoding/decoding subprograms

    Ada 1 3

  4. blackfly blackfly Public

    The software for the VT CubeSat BlackFly project

    Ada 1

  5. papers papers Public

    Various papers and presentations

    TeX

  6. dtn dtn Public

    A SPARK/Ada implementation of the DTN protocol suite

    Ada 1

Repositories

Showing 9 of 9 repositories
  • sparkparser Public

    Jenkins plugin for parsing SPARK output in the console log

    Java 0 Apache-2.0 0 0 0 Updated May 8, 2024
  • merc Public

    A tool for compiling CubedOS message definitions into message encoding/decoding subprograms

    Ada 1 3 15 0 Updated Apr 3, 2024
  • cubedos Public

    A flight software framework in SPARK/Ada

    Ada 45 5 21 (1 issue needs help) 0 Updated Apr 3, 2024
  • blackfly Public

    The software for the VT CubeSat BlackFly project

    Ada 1 0 1 0 Updated May 27, 2022
  • cubesatsite Public

    The CubeSat Laboratory web site

    Java 0 1 6 0 Updated Apr 5, 2022
  • papers Public

    Various papers and presentations

    TeX 0 0 0 0 Updated Mar 17, 2022
  • scriptbuilder Public

    A program to build command sequences for execution by the on-board Interpreter Service

    Python 0 0 0 0 Updated Feb 20, 2022
  • dtn Public

    A SPARK/Ada implementation of the DTN protocol suite

    Ada 0 1 0 0 Updated Mar 28, 2021
  • jt65 Public

    A SPARK implementation of the JT65 protocol

    Ada 2 0 0 0 Updated Mar 25, 2021

Top languages

Loading…

Most used topics

Loading…