mariopal
Follow
Stars
Crucible is a library for symbolic simulation of imperative programs
An extremely fast Python package and project manager, written in Rust.
Free and open-source map hosting solution with custom styles for websites and apps, using OpenStreetMap data
Bitcoin Wallet app for your Android device. Standalone Bitcoin node, no centralized backend required.
Reimagine state management with CRDTs. Make your app collaborative effortlessly.
DAVx⁵ is an open-source CalDAV/CardDAV suite and sync app for Android. You can also access your online files (WebDAV) with it.
Seatbelt is a C# project that performs a number of security oriented host-survey "safety checks" relevant from both offensive and defensive security perspectives.
Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.
Open, Multi-Cloud, Multi-Cluster Kubernetes Orchestration
OTA updates made slick and simple for everyone!
Secure Patching Bootloader and Firmware Update System for STM32 MCUs
Slips, a free software behavioral Python intrusion prevention system (IDS/IPS) that uses machine learning to detect malicious behaviors in the network traffic. Stratosphere Laboratory, AIC, FEL, CV…
Automated Penetration Testing Framework - Open-Source Vulnerability Scanner - Vulnerability Management
Eclipse iceoryx2™ - true zero-copy inter-process-communication in pure Rust
Simple reimplementation of the diamond types sequence CRDT in simple, pure, unoptimized typescript.
Jan is an open source alternative to ChatGPT that runs 100% offline on your computer. Multiple engine support (llama.cpp, TensorRT-LLM)
A Rust Embedded-HAL for the rp series microcontrollers