Code auditing and profiling tool based on gcc for C programs to adhere to NASA's JPL Rule of 10 🚀
☆66Jan 25, 2024Updated 2 years ago
Alternatives and similar repositories for astroguard
Users that are interested in astroguard are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Sep 19, 2024Updated last year
- DroneXtract is a digital forensics suite for DJI drones 🔍. Analyze sensor values, visualize flight maps, and audit for criminal activit…☆355Jul 19, 2023Updated 2 years ago
- Model-based driven real-time embedded software framework for safety-critical and mission-critical application☆28Dec 29, 2025Updated 4 months ago
- A tool to flash BL602 via JTAG + serial without pressing buttons / setting jumpers☆12Jun 3, 2022Updated 3 years ago
- ☆17Sep 4, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- SatIntel is an OSINT tool for Satellites 🛰. Extract satellite telemetry, receive orbital predictions, and parse TLEs 🔭☆885Mar 15, 2024Updated 2 years ago
- Software for rendering statemaps☆21Jun 23, 2025Updated 10 months ago
- ☆13May 12, 2024Updated last year
- A simple HTTP server for Raspberry Pi Pico W☆10Dec 17, 2022Updated 3 years ago
- rust NES game template☆16May 7, 2023Updated 3 years ago
- A chrome extension that inspects CSS styles and saves snapshots of web components and designs 🎨✨📸☆90Mar 19, 2023Updated 3 years ago
- Port of the fantastic Iconoir Icon Pack to Rust embedded devices, with a focus on speed, usability, and completeness.☆16Jan 15, 2024Updated 2 years ago
- Framework for an annual emacs survey. Mirror of https://git.tecosaur.net/tec/emacs-survey.☆16Oct 27, 2022Updated 3 years ago
- Small 32-bit RISC-V CPU with a half-width datapath inspired by the 68000☆16Dec 21, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆15Feb 18, 2025Updated last year
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Dec 6, 2016Updated 9 years ago
- Public repository for various projects done at school 42 in C.☆10Apr 25, 2017Updated 9 years ago
- Flipper Zero air quality monitoring application.☆30Feb 3, 2025Updated last year
- Low level and runtime support for WCH's 32bit QingKe RISC-V MCUs☆19May 4, 2026Updated last week
- A set of macros and functions to make defining a C module easier☆11Sep 9, 2019Updated 6 years ago
- Book Quick Starter Kit - Write Your Own Book in Plain Text (with Markdown)☆20Jul 4, 2016Updated 9 years ago
- A tiny library for cleaning up the pollution around URLs, so we can figure out if two different URLs might actually point to same page.☆10Nov 6, 2017Updated 8 years ago
- Unofficial Rust SDK for the Pimoroni PicoSystem☆15Sep 21, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A minimalistic code editor, inspired by Monaco/VSCode, based on Ace & written in Arturo☆12Jan 9, 2026Updated 4 months ago
- Tools that gather and print (system) information to stdout☆22Jun 13, 2022Updated 3 years ago
- BIOS for the Neotron Pico☆19Dec 30, 2024Updated last year
- Like FromStr but it owns☆14Mar 23, 2025Updated last year
- Fyne GUI library with Rye language.☆15Feb 17, 2026Updated 2 months ago
- Small implementation using opengl☆11Aug 6, 2025Updated 9 months ago
- ☆18Mar 16, 2022Updated 4 years ago
- application launcher for Openbox☆21Dec 3, 2015Updated 10 years ago
- Low-level networking functionality in Rust☆32Mar 6, 2026Updated 2 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Hardening your OS/Profile is like building with LEGO, incorporating a couple of Grsecurity features and implementing aggressive security …☆21Nov 24, 2025Updated 5 months ago
- Malicious URL Detection Model NN optimized by Genetic Algorithms 🧬☆36Aug 20, 2023Updated 2 years ago
- Code Integrity Violation Spotter☆17Jun 11, 2024Updated last year
- Provides current CI environment information.☆16Feb 23, 2026Updated 2 months ago
- A CLI tool that scans through a directory and organizes all loose files into folders by file type.☆11Jul 27, 2021Updated 4 years ago
- ☆12Feb 10, 2026Updated 3 months ago
- 8x8x8 LED Cube, AtMega32☆27Apr 3, 2016Updated 10 years ago