Skip to content
View Jbsco's full-sized avatar
36 followers · 65 following
  • Laboratory for Atmospheric and Space Physics
  • in/jbseman

Block or report Jbsco

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Jbsco/README.md

Hello. I am Jacob Seman.

I am a flight software engineer at the Laboratory for Atmospheric and Space Physics. I am passionate about embedded programming, control, and telemetry. In my free time I enjoy exploring open source projects, automating astrophotography, flying foil kites, and building long-range RC aircraft.

Most used languages GitHub stats

Pinned Loading

  1. lasp/adamant lasp/adamant Public

    A model-based flight software framework for Ada

    Ada 51 12

  2. adaflight adaflight Public

    An Ada-SPARK re-implementation of Betaflight. Currently in-progress.

    Ada 1

  3. lasp/admt lasp/admt Public

    The Adamant Multitool: one CLI for building, testing, and managing Adamant projects, for people and coding agents

    Python 5

  4. hadlink hadlink Public

    A high-assurance identifier and redirect service with formally verified core logic.

    Haskell 3

  5. lasp/adamant-skills lasp/adamant-skills Public

    Skills for coding agents working on Adamant embedded flight software

    Python 5

  6. plate-solve-annotate plate-solve-annotate Public

    A single-file Python script providing astrometry.net plate-solving and annotation functionality

    Python 1