Pinned Loading

1. BAN-RaspberryPi BAN-RaspberryPi Public

   A wireless Body Area Network (BAN) system built on Raspberry Pi for real-time patient monitoring. It collects motion and physiological data from wearable sensors, optionally records video with live…

   Python

2. Flora-data-pipeline Flora-data-pipeline Public

   Botanical RAG + image pipeline powering the Flora iOS app. Hybrid BM25 + pgvector HNSW retrieval, CRAG with web correction, Self-RAG, LLM-as-Judge, post-synthesis fact-check. 6-language translation…

   Python

3. RestTestGen-WFC RestTestGen-WFC Public

   This project extends RestTestGen, a black-box REST API fuzzer with native support for the WFC standard. The work covers WFC Authentication (and a novel signupEndpoint extension), WFC Fault, WFC rep…

   Java

4. Reversing-avemaria Reversing-avemaria Public

   Teardown of a Warzone/AveMaria RAT: static triage, dynamic analysis, C2 hunting, IDA reverse engineering of the keylogger, and reconstructing the maldoc dropper down to the deobfuscated PowerShell.

   PowerShell

5. gobl gobl Public

   Forked from invopop/gobl

   Go Business Language

   Go

6. IMP-Formalization-and-Proofs-in-Coq IMP-Formalization-and-Proofs-in-Coq Public

   Forked from EdoBaz/IMP-Formalization-and-Proofs-in-Coq

   Coq formalization of the IMP language with big-step operational semantics, a proof of while-unfold equivalence, and a termination proof for a sample loop program

   Rocq Prover