Pinned Loading

1. Cyclink Cyclink Public

   Cyclink is a comprehensive mobile application designed to enhance the cycling experience through team management, activity tracking, and AI-powered assistance.

   Kotlin 4

2. KooDoc KooDoc Public

   Your Smart Companion for Childcare

   Kotlin 2

3. Crypto-Donation-Platform Crypto-Donation-Platform Public

   A decentralized application (dApp) for donating Sepolia ETH to charitable organizations.

   JavaScript

4. BridgeAllMighty BridgeAllMighty Public

   A Docker-based security testing setup featuring a vulnerable web service, a filtering HTTP proxy ("bridge"), and an attacker client. Demonstrates vulnerability exploitation (e.g., SQL injection) an…

   Lua 1

5. Discrete-Event-Simulation Discrete-Event-Simulation Public

   Simulator with event scheduling, process management, and client-server communication to model system behavior and network data exchange.

   Python

6. Coq-Learning Coq-Learning Public

   Formal verification exercises in Coq: mechanized semantics, inductive proofs, custom automation, and verified parsers/automata

   Makefile