Skip to content
#

mission-critical

Star

Here are 45 public repositories matching this topic...

Language: All
Filter by language
All 45 C++ 25 C 12 Python 3 Java 2 Haskell 1 Lua 1
Sort: Fewest stars
Sort options
Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

khoih-prog / Dx_PWM

Star 0

This library enables you to use Hardware-based PWM channels on Arduino AVRDx-based boards (AVR128Dx, AVR64Dx, AVR32Dx, etc.), using DxCore, to create and output PWM. Using similar functions as many other FastPWM libraries, it enables you to port PWM code easily between platforms.

channel timer waveform pwm non-blocking stepper-motor-driver on-the-fly pwm-driver duty-cycle stepper-motor-control pwm-frequency mission-critical waveform-generator multi-channel-pwm hardware-based-pwm pwm-duty-cycle dxcore avr64dx avr128dx avr32dx
  • Updated Jan 22, 2023
  • C++
industrial-haskell-template

rbeauchamp / industrial-haskell-template

Star 0

Industrial-grade Haskell project template for mission-critical systems. Features formal verification (LiquidHaskell), robust error handling, hexagonal architecture, TDD, and AI-assistant rules (Cursor)

template haskell tdd functional-programming best-practices error-handling property-based-testing software-engineering cabal type-safety hexagonal-architecture formal-verification ghc liquidhaskell mission-critical cursor-ide
  • Updated Apr 5, 2025
  • Haskell

khoih-prog / ATmega_TimerInterrupt

Star 0

This library enables you to use Interrupt from Hardware Timers on an AVR ATmega164, ATmega324, ATmega644, ATmega1284 with MCUdude MightyCore. It now supports 16 ISR-based timers, while consuming only 1 Hardware Timer. Timers interval is very long (ulong millisecs). The most important feature is they are ISR-based timers. Therefore, their executi…

avr timer atmel atmega1284 atmega644 atmega324 atmega164 accuracy atmega non-blocking interrupt atmega1284p mission-critical atmega324a atmega324pb hardware-timers timerinterrupt-library atmega644p atmega324p atmega324pa
  • Updated Dec 5, 2022
  • C

khoih-prog / SAMDUE_PWM

Star 0

This library, a wrapper around SAM DUE analogWrite() function, enables you to use Hardware-based PWM channels on SAM_DUE boards to create and output PWM to pins. Using similar functions as some other FastPWM libraries, it enables you to port PWM code easily between platforms

channel timer waveform sam pwm non-blocking stepper-motor-driver on-the-fly pwm-driver duty-cycle sam3x stepper-motor-control due pwm-frequency mission-critical waveform-generator sam-due samdue multi-channel-pwm hardware-based-pwm
  • Updated Jan 22, 2023
  • C++

khoih-prog / Dx_TimerInterrupt

Star 1

This library enables you to use Interrupt from Hardware Timers on Arduino AVRDx-based boards (AVR128Dx, AVR64Dx, AVR32Dx, etc.) using DxCore. These AVRDx Hardware Timers, using Interrupt, still work even if other functions are blocking. Moreover, they are much more precise (certainly depending on clock frequency accuracy) than other software tim…

timer accuracy isr non-blocking timer-interrupt mission-critical megaavr hardware-timers avr-da tinyavr avr-db avr-dd dxcore avr64dx avr128dx avr32dx megatinycore dx-timerinterrupt tcb-timers
  • Updated Dec 5, 2022
  • C

obinexus / obibuf

Star 1

Zero-overhead data marshalling protocol for safety-critical distributed systems with NASA-STD-8739.8 compliance, formal verification, and Zero Trust architecture.

serialization distributed-systems aerospace formal-verification c-library buffer-protocol safety-critical cross-language aegis-framework zero-overhead mission-critical cryptographic-protocols mathematical-proof zero-trust-security obinexus sinphase-governance data-marshalling nasa-compliance uscn-normalization audit-compliance
  • Updated Jun 10, 2025
  • C

Vishnupriya-Navigator / SmallSatellites

Star 1

AI testbed for mission-critical software optimization using telemetry, ML, and Bayesian tuning (SmallSat 2025)

python nasa aerospace machine-learning-algorithms artificial-intelligence open-science scientific-computing ieee smallsat bayesian-optimization svm-model conference-paper performance-optimization anomaly-detection random-forest-classifier mission-critical ml-models satellite-telemetry research-code
  • Updated Sep 9, 2025
  • Python

khoih-prog / megaAVR_PWM

Star 3

This library enables you to use Hardware-based PWM channels on megaAVR-based boards, such as UNO WiFi Rev2, AVR_Nano_Every, etc., to create and output PWM. Using the same functions as other FastPWM libraries to enable you to port PWM code easily between platforms.

pwm non-blocking stepper-motor-driver on-the-fly pwm-driver duty-cycle stepper-motor-control pwm-frequency mission-critical waveform-generator atmega4809 megaavr atmega4808 nano-every multi-channel-pwm hardware-based-pwm uno-wifi-rev2 megacorex mega-avr atmega3209
  • Updated Jan 22, 2023
  • C++

khoih-prog / Teensy_PWM

Star 3

This library enables you to use Hardware-based PWM channels on Teensy boards, such as Teensy 2.x, Teensy LC, Teensy 3.x, Teensy 4.x, Teensy MicroMod, etc., to create and output PWM to pins. Using the same functions as other FastPWM libraries to enable you to port PWM code easily between platforms.

teensy timer waveform pwm stepper-motor-driver on-the-fly pwm-driver duty-cycle stepper-motor-control pwm-frequency mission-critical waveform-generator teensy4 multi-channel-pwm hardware-based-pwm teensy-3x teensy-2x flex-timer quad-timer teensy-4x
  • Updated Jan 22, 2023
  • C++

khoih-prog / ESP32_S2_TimerInterrupt

Star 3

This library enables you to use Interrupt from Hardware Timers on an ESP32-S2-based board. These ESP32-S2 Hardware Timers, using Interrupt, still work even if other functions are blocking. Moreover, they are much more precise (certainly depending on clock frequency accuracy) than other software timers using millis() or micros(). That's mandatory…

esp32 accuracy espressif isr non-blocking timers interrupt timer-interrupt mission-critical hardware-timers timerinterrupt timerinterrupt-library esp32-s2 rpm-measure
  • Updated Dec 21, 2022
  • C++

khoih-prog / RTL8720_TimerInterrupt

Star 3

This library enables you to use Interrupt from Hardware Timers on an RTL8720-based board. These RTL8720 Hardware Timers, using Interrupt, still work even if other functions are blocking. Moreover, they are much more precise (certainly depending on clock frequency accuracy) than other software timers using millis() or micros(). That's mandatory i…

timer accuracy isr non-blocking realtek mission-critical hardware-timers timerinterrupt timerinterrupt-library rtl8720dn rtl8722 amebad-core isr-based isr-based-timer rtl8722dm amebad rtl8722csm
  • Updated Dec 5, 2022
  • C

khoih-prog / SAMDUE_TimerInterrupt

Star 3

This library enables you to use Interrupt from Hardware Timers on an SAM-DUE-based board. These SAM-DUE Hardware Timers, using Interrupt, still work even if other functions are blocking. Moreover, they are much more precise (certainly depending on clock frequency accuracy) than other software timers using millis() or micros(). That's mandatory i…

device control hardware timer timing accuracy isr non-blocking interrupt sam3x precise mission-critical sam3x8e hardware-timers timerinterrupt timerinterrupt-library mission-critical-tasks sam-due samdue
  • Updated Dec 5, 2022
  • C++

khoih-prog / ATtiny_TimerInterrupt

Star 4

This library enables you to use Interrupt from Hardware Timers on Arduino AVR ATtiny-based boards (ATtiny3217, etc.) using megaTinyCore. These ATtiny Hardware Timers, using Interrupt, still work even if other functions are blocking. Moreover, they are much more precise (certainly depending on clock frequency accuracy) than other software timers …

attiny timer accuracy isr non-blocking timer-interrupt mission-critical attiny3217 megaavr hardware-timers curiosity-nano-board megatinycore tcb-timers at-tiny attiny16 attiny32 attiny8 attiny4 attiny-timerinterrupt curiosity-nano-attiny3217
  • Updated Dec 5, 2022
  • C

khoih-prog / nRF52_PWM

Star 6

This library enables you to use Hardware-based PWM channels on nRF52-based boards to create and output PWM to pins. Using the same functions as other FastPWM libraries to enable you to port PWM code easily between platforms.

channel timer adafruit waveform pwm sparkfun non-blocking stepper-motor-driver nrf52832 on-the-fly pwm-driver duty-cycle stepper-motor-control pwm-frequency mission-critical nrf52840 waveform-generator feather-nrf52840-express multi-channel-pwm hardware-based-pwm
  • Updated Jan 22, 2023
  • C++

khoih-prog / megaAVR_TimerInterrupt

Star 7

This library enables you to use Interrupt from Hardware Timers on an ATmega4809-based board, such as Arduino UNO WiFi Rev2, AVR_NANO_EVERY, etc. It now supports 16 ISR-based timers, while consuming only 1 hardware Timer. Timers' interval is very long (ulong millisecs). The most important feature is they're ISR-based timers. Therefore, their exec…

timer arduino-library accuracy arduino-platform isr non-blocking interrupt timer-interrupt micros millis mission-critical atmega4809 megaavr hardware-timers timerinterrupt timerinterrupt-library nano-every nano-wifi-rev2
  • Updated Dec 5, 2022
  • C

Improve this page

Add a description, image, and links to the mission-critical topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the mission-critical topic, visit your repo's landing page and select "manage topics."

Learn more