Haithem Sekri's repositories
barco
Linux containers from scratch in C.
Kalman-and-Bayesian-Filters-in-Python
Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filters, and more. All exercises include solutions.
hardened_malloc
Hardened allocator designed for modern systems. It has integration into Android's Bionic libc and can be used externally with musl and glibc as a dynamic library for use on other Linux-based platforms. It will gain more portability / integration over time.
cmake-buildsystem
Helper scripts, cross-compilation-files, makefile shims, and other helpful tools for working with CMake
rk3588-TRM-and-Datasheet
Rockchip rk3588 Technical Reference Manual V1.0 and Datasheet V1.1
libbacktrace
A C library that may be linked into a C/C++ program to produce symbolic backtraces
sel4-dornerworks-seL4
The seL4 microkernel
sel4-dornerworks-camkes-vm
Virtual Machine build as a CAmkES component.
build-1
Armbian build tools
amlogic-s9xxx-armbian
Armbian for Amlogic s9xxx tv box. Support a311d, s922x, s905x3, s905x2, s912, s905d, s905x, s905w, s905, etc. including install to EMMC and update related functions.
amlogic-s9xxx-openwrt-1
OpenWrt for Amlogic s9xxx tv box. Support a311d, s922x, s905x3, s905x2, s912, s905d, s905x, s905w, s905, etc. including install to EMMC and update related functions.
amlogic-s9xxx-openwrt
OpenWrt for Amlogic S9xxx STB. Support STB are S905x3, S905x2, S922x, S905x, S905d, s912, etc. such as Phicomm-N1, Octopus-Planet, X96-Max+, HK1-Box, H96-Max-X3, Belink GT-King, Belink GT-King Pro, UGOOS AM6 Plus, HG680P, B860H, etc.
STM32
STM32 Projects
FreeRTOS-FAT-CLI-for-RPi-Pico
Project to add SD cards as peripherals on Raspberry Pi Pico.
better-enums
C++ compile-time enum to string, iteration, in a single header file
Virtual-Desktop-Optimization-Tool
The script and configuration files in this repository provide an easy method to customize and apply performance related settings to virtual desktop environments.
Volumio2-UI
Volumio2 Web Based User Interface
MyTools
MyTools
Build
Buildscripts for Volumio System
systemd
The systemd System and Service Manager
uhubctl
uhubctl - USB hub per-port power control