Search Results for "source code computer" - Page 6

...DeepCode AI powers Snyk's one-click security fixes and comprehensive app coverage, letting developers build fast while staying secure. Our specialized DeepCode AI is built and refined by top-tier researchers that use training data from millions of open source projects, never customer data. DeepCode AI's hybrid approach uses multiple models and security-specific training sets for one purpose, to secure applications.

Aide is an AI software engineering assistant that provides conversational code generation, analysis, and refactoring directly within your IDE or through a local web interface. Built to act as a full-stack collaborator, it understands multi-file projects, detects dependency relationships, and can generate consistent updates across files and frameworks. It supports multiple backends—including OpenAI, Anthropic, and open-source models—and can route requests based on task type or latency requirements. ...

vue-tetris is a browser-based implementation of the classic Tetris game built using the Vue.js framework, showcasing both game development concepts and modern frontend engineering practices. The project demonstrates how reactive state management and component-based architecture can be used to create interactive and dynamic applications. It includes core gameplay mechanics such as piece rotation, collision detection, line clearing, and score tracking, all implemented within a clean and...

Leanstral is an open-weight large language model developed by Mistral AI and specifically designed as a code agent for the Lean 4 proof assistant, enabling advanced interaction with formal mathematics and program verification systems. The model is built to understand and generate Lean 4 code, which is used to express complex mathematical constructs as well as formal software specifications. By focusing on theorem proving and formal reasoning, Leanstral represents a specialized direction...

Luna Code Checker An advanced web-based tool for checking JavaScript code using ESLint. How to Use Clone the repository. Run npm install to install the dependencies. Run npm start to start the server. Open http://localhost:3000 in your web browser. Write or paste your JavaScript code in the textarea. Click the "Check Code" button to see linting results.

Lastest.cloud is a free, open-source verification of development, self-hosted visual regression and end-to-end testing platform for web applications. An AI agent records you clicking through your running app and generates Playwright tests with multi-selector fallback. Replays are deterministic and token-free, so your CI/CD bill doesn't scale with your test suite. Lastest ships three diff engines side-by-side — pixel (pixelmatch), structural (SSIM), and perceptual (Butteraugli) — so...