Search Results for "source code pro" - Page 5
Sort By:
Showing 109 open source projects for "source code pro"
View related business solutions-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
1
Grida Assistant
Bring your Figma design & development pipeline to the next level
Bring your Figma design & development pipeline to the next level - with design-to-code, in-design-content-management, component management, and tools for faster design. -
2
Codeball AI
AI Code Review that finds bugs and fast-tracks your code
Codeball is a code review AI that scores pull requests on a grade from 0 (needs careful review) to 1. Use Codeball to add labels to help you focus, auto-approve PRs, and more. The Codeball action is easy to use (sane defaults) and is highly customizable to fit your workflow when needed. Label PRs when you should review them with caution. Stay sharp, don't let the bugs pass through. Identifies and approves or labels safe PRs. Save time by fast-tracking PRs that are easy to review. Fully... -
3
Kite
Primary Kite repo, private bits replaced with XXXXXXX
The main Kite repo (originally kiteco/kiteco) was intended for private use. It has been lightly adapted for publication here by replacing private information with XXXXXXX. As a result, many components here may not work out of the box. We used a variety of infrastructure, on a mix of cloud platforms, depending on what was most economical, though it was mostly on AWS. You should be able to develop, build, and test Kite entirely on your local machine. However, we do have cloud instances & VMs... -
4
Tabnine
Vim client for TabNine
...Powered by sophisticated machine learning models trained on billions of lines of trusted open source code from GitHub, Tabnine is the most advanced AI-powered code completion copilot available today. And like GitHub, it is an essential tool for professional developers. -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
DeepCode for Visual Studio Code
DeepCode extension for Visual Studio Code
...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. -
6
Aide
The open source AI-native IDE
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. ... -
7
vue-tetris
Use Vue, Vuex to code Tetris
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... -
8
Leanstral
Open-source code agent designed for Lean 4
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... -
9
Luna Code Checker
An advanced web-based tool for checking JavaScript code using ESLint.
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. -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
