CoolGithubProjects

lambdasec/frame: Frame is a Separation Logic Verification Tool with Security Scanning https://github.com/lambdasec/frame https://redd.it/1q17djj @r_CoolGithubProjects

I built a build system in C that fixes its own errors - looking for feedback https://github.com/CYXWIZ-Lab/cyxmake https://redd.it/1q127gb @r_CoolGithubProjects

I kept forgetting my New Year resolutions, so I built a small reminder site https://github.com/sharathdoes/lockin26 https://redd.it/1q0y46d @r_CoolGithubProjects

Auto-translate your README.md into 20+ languages using a local AI model directly in GitHub Actions https://github.com/DataBoySu/databoysu-readme-translator https://redd.it/1q0aaec @r_CoolGithubProjects

GraphQLite - Graph database capabilities inside SQLite using Cypher https://github.com/colliery-io/graphqlite https://redd.it/1q0t3u3 @r_CoolGithubProjects

I made a prompt vault/manager with over 300 common coding prompts https://github.com/Pastarafian/Briskli https://redd.it/1q0puqx @r_CoolGithubProjects

pnana: A Modern TUI Text Editor Inspired by Nano, Micro & Sublime (Built with C++17 & FTXUI) https://github.com/Cyxuan0311/PNANA https://redd.it/1q0pe6u @r_CoolGithubProjects

I built a macOS app to run your Android Emulator with just one click https://github.com/BtQuentin/AVD-Launcher https://redd.it/1q0d592 @r_CoolGithubProjects

I built a macOS app to run your Android Emulator with just one click https://github.com/BtQuentin/AVD-Launcher https://redd.it/1q0d592 @r_CoolGithubProjects

Backend framework built with TSX like code. https://github.com/malekabdelkader/Tagliatelle.js https://redd.it/1q0drhj @r_CoolGithubProjects

Looking for contributors for an open source cybersecurity GitHub Repository (100+ stars) https://github.com/CarterPerez-dev/Cybersecurity-Projects https://redd.it/1q0exv7 @r_CoolGithubProjects

Talk to your notion documents using RAG https://github.com/PeterHdd/notionLM https://redd.it/1q0gsoa @r_CoolGithubProjects

"Virtualord, The Virtual Conqueror" 0.4.0: an isometric Turn Based Strategy game currently in alpha https://github.com/vivaladav/virtualord https://redd.it/1q0ehzk @r_CoolGithubProjects

Built an MCP Server for Andrej Karpathy's LLM Council https://github.com/khuynh22/llm-council/tree/master https://redd.it/1q07lou @r_CoolGithubProjects

AWSOmni - Browser Extension for managing AWS Accounts https://github.com/mraza007/aws-omni https://redd.it/1q02sq2 @r_CoolGithubProjects

GitHub - evoluteur/van-tharp-marble-game: Web UI to run simulations of the Van Tharp Marble Game designed to illustrate the effect of sizing strategies for the stock market. https://github.com/evoluteur/van-tharp-marble-game https://redd.it/1pzsr02 @r_CoolGithubProjects

Qry Lite a simple privacy-focused self-hostable frontend for LLMs https://github.com/qry-ai/qry-lite https://redd.it/1pzgsqg @r_CoolGithubProjects

cppsp v1.3.1&v1.3.2 --Multiplatform support and Skipcompile https://github.com/user19870/cppsp https://redd.it/1pzkrxg @r_CoolGithubProjects

Ephemeral Overlay https://github.com/Michael-Sebero/Ephemeral-Overlay https://redd.it/1pzkwvl @r_CoolGithubProjects

Created a Tool to Easily use Android Phone as Webcam on Linux (Ubunutu/Pop-Os) https://github.com/MaxySpark/PopDroidCam https://redd.it/1pzi11l @r_CoolGithubProjects