Skip to content
@CogniPilot

CogniPilot

Popular repositories Loading

  1. rumoca rumoca Public

    a rust-native Modelica compiler for fast, composable, scientific computing

    Rust 128 27

  2. cerebri cerebri Public

    Zephyr RTOS based Vehicle Management Unit

    C 40 19

  3. cyecca cyecca Public

    Estimation and Control with Computer Algebra systems

    Python 16 11

  4. pyecca pyecca Public

    Python Casadi based Control and Estimation Library

    Jupyter Notebook 9 5

  5. zros zros Public

    A minimal pub-sub framework for Zephyr RTOS

    C 9

  6. hcdformat hcdformat Public

    Hardware Configuration Description Format (HCDFormat) parser and description files.

    Rust 5 1

Repositories

Showing 10 of 136 repositories
  • rumoca Public

    a rust-native Modelica compiler for fast, composable, scientific computing

    CogniPilot/rumoca's past year of commit activity
    Rust 128 Apache-2.0 27 21 8 Updated Sep 23, 2026
  • rumoca_lean Public

    A prototype formally verified Modelica compiler written in Lean

    CogniPilot/rumoca_lean's past year of commit activity
    Lean 1 Apache-2.0 0 0 0 Updated Sep 23, 2026
  • credentials Public

    Credentials platform for OpenBadges3.0

    CogniPilot/credentials's past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Sep 23, 2026
  • zephyr Public Forked from zephyrproject-rtos/zephyr

    Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

    CogniPilot/zephyr's past year of commit activity
    C 3 Apache-2.0 10,152 2 1 Updated Sep 22, 2026
  • cerebri_rdd2 Public

    Cerebri RDD2 vehicle application

    CogniPilot/cerebri_rdd2's past year of commit activity
    C 2 4 0 0 Updated Sep 19, 2026
  • modelica_models Public

    Modelica Models for CogniPilot

    CogniPilot/modelica_models's past year of commit activity
    Modelica 5 Apache-2.0 3 0 0 Updated Sep 19, 2026
  • website Public

    CogniPilot website

    CogniPilot/website's past year of commit activity
    HTML 0 0 0 0 Updated Sep 19, 2026
  • artwork Public

    CogniPilot artwork and logo

    CogniPilot/artwork's past year of commit activity
    0 0 0 0 Updated Sep 19, 2026
  • gnc_lean Public

    Formally verified guidance, navigation and control mathematics in Lean 4

    CogniPilot/gnc_lean's past year of commit activity
    Lean 1 Apache-2.0 0 0 0 Updated Sep 19, 2026
  • spinali Public

    Connected Sensors and Actuators with Zephyr RTOS

    CogniPilot/spinali's past year of commit activity
    C 1 Apache-2.0 1 1 2 Updated Sep 19, 2026
View all repositories

Sponsoring

  • @probe-rs
  • @ipython
  • @python

Most used topics

Loading…
GitHub Sponsor