µC/OS-II is a preemptive, highly portable, and scalable real-time kernels. Designed for ease of use on a huge number of CPU architectures.

Bao, a Lightweight Static Partitioning Hypervisor

Tiny Flash Database for MCU.

Detect if device is an emulator by native code.{检查当运行的设备是否是模拟器.}

Security Observability Framework for ML/AI Model File Loading

An anti-keylogger

Git repo used to Upstream the FreeBSD Port of Valgrind

A wireless infusion pump system workbench for security research

zalloc is a safety- and security-oriented wrapper around malloc.

🧠️🦁️🦺️ Safety procedures and protocols for NUNIX Survival Mode.

🦺️👓️💾️ Safety procedures and components for the LennyOS operating system.

Программа моделирования движения людских потоков в динамической среде

Linux kernel driver (virtio-net) implemented in D language

Synthesis of a controller for system with linear dynamics using restricted LTL formula

A helper library with some fundamental functions

The traffic speed control system for the MetroTechno systems set.

C+: A modern, safer approach to C programming. Bringing Rust-like error handling, Zig-like memory management, data structures, and utilities to C with performance and simplicity in mind.

The crosswalk control system for the MetroTechno systems set.

A header only implementation of "strnlen_s" from C11 - Annex K forked from libsafec (Safe C Library).