参考Spec-kit 实现小说撰写工具

Python package for Sentential Decision Diagrams (SDD)

A Full Stack Journey with Micro Services and Micro Front Ends. Using dapr, kubernetes, react module federation and web assembly,

📚 Fundamental and Advanced Programming, Data Structure, OS Lab and Principle of Compiler Courses Educational Projects

Official implementation of "Regularizing neural networks for future trajectory prediction via IRL framework" published in IET CV

SDD toolkit for Cursor IDE — /specify, /plan, /tasks to turn ideas into specs, plans, and actionable tasks.

School Management System developed by PHP and MySQL.

MCP as a Judge is a behavioral MCP that strengthens AI coding assistants by requiring explicit LLM evaluations

A new storage media format using modern interfaces.

Final Year Project (Sugarcane disease detector)

Bottom-up sentential decision diagram compiler.

SDD-based Forward LTLf Synthesis

Security-Driven Development (SDD) where cybersecurity is not an add-on, but the core of our software creation process. Committed to best practices, we follow a development cycle that integrates security analysis, defensive design and secure coding from the first commit.

Created for undertsanding of all the important analysis and design documents prepared during SDLC of any product. Submitted as assignment for system analysis and design subject in 5th semester of M.Tech(IT).

The Deliberative-Decision System. A tool of heterarchic management by ALL

Here is my Software Major Project

Test cases for ACL tasks

Video Server NVR Box with Networkoptix Server, RK3588, 4GB, for 3.5" HDD/SSD

Hardware/software state reporting and analysis tools: MQTT, S.M.A.R.T., etc