13,044 results for code

www.bing.com/ck/a?!&&p=197a36267d9aeaef8d81c5583f3380193c7aab699e27495dffa5176d59d32cddJmltdHM9MTc3MjQ5NjAwMA&ptn=3&ver=2&hsh=4&fclid=2f0296af-76d0-658c-0be4-81be77e96496&u=a1aHR0cHM6Ly9zdGFja292ZXJmbG93LmNvbS9xdWVzdGlvbnMvMTc2OTMzNTMvYS1jb25uZWN0aW9uLWF0dGVtcHQtZmFpbGVkLWJlY2F1c2UtdGhlLWNvbm5lY3RlZC1wYXJ0eS1kaWQtbm90LXByb3Blcmx5LXJlc3Bvbg&ntb=1

"A connection attempt failed because the connected party did not ...

Jul 17, 2013 · I am using the following code which is working on local machine, but when i tried the same code on server it throws me error A connection attempt failed because the ...

github.com/Codernauti/Sweetie

Codernauti/Sweetie

Sweetie is a One-To-One app thought and designed to be the main communication and sharing tool for a couple relationship. (⭐ 8)

github.com/ael-code/daikin-control

ael-code/daikin-control

Unofficial api documentation and web interface to control "Daikin Emura" air conditioner (⭐ 307)

github.com/hoodini/ai-agents-skills

hoodini/ai-agents-skills

? AI Agent Skills Repository - A curated collection of specialized skills for AI coding agents (Claude Code, GitHub Copilot, Cursor, Windsurf). Created by Yuval Avidani using GitHub Copilot via VS Code Insiders. (⭐ 112)

arxiv.org/abs/0803.2317v1

Lissom, a Source Level Proof Carrying Code Platform

This paper introduces a proposal for a Proof Carrying Code (PCC) architecture called Lissom. Started as a challenge for final year Computing students, Lissom was thought as a mean to prove to a sceptic community, and in particular to students, that...

github.com/utharian-code/Bonepoke

utharian-code/Bonepoke

Recursive emotional scoring engine for narrative composting (⭐ 6)

github.com/grodowski/undercover

grodowski/undercover

undercover warns about methods, classes and blocks that were changed without tests, to help you easily find untested code and reduce the number of bugs. It does so by analysing data from git diffs, code structure and SimpleCov coverage reports (⭐ 830)

arxiv.org/abs/2507.10422v3

Self-Admitted GenAI Usage in Open-Source Software

The widespread adoption of generative AI (GenAI) tools such as GitHub Copilot and ChatGPT is transforming software development. Since generated source code is virtually impossible to distinguish from manually written code, their real-world usage and...

www.bing.com/ck/a?!&&p=980c25f9abfe2ec3286e2d3db6874dab8765d96ca6cf2099418832504e6829d5JmltdHM9MTc3MjQ5NjAwMA&ptn=3&ver=2&hsh=4&fclid=0389cec0-4340-68d8-366e-d9d142e2691d&u=a1aHR0cHM6Ly93d3cudGVjaHRhcmdldC5jb20vc2VhcmNoZW50ZXJwcmlzZWFpL2RlZmluaXRpb24vZ2VuZXJhdGl2ZS1BSQ&ntb=1

What is GenAI? Generative AI explained - TechTarget

Mar 13, 2025 · GenAI tools integrated into software development environments can analyze and refactor existing code bases, streamline code generation, streamline testing processes and support …

github.com/nimble-code/Spin

nimble-code/Spin

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award. (⭐ 455)

github.com/Code4GovTech/C4GT

Code4GovTech/C4GT

C4GT aims to build active open-source community around DPGs for sustainable DPI implementations (⭐ 397)

github.com/mdo/code-guide

mdo/code-guide

Standards for developing consistent, flexible, and sustainable HTML and CSS. (⭐ 8492)