Search Results for "linux-tools" - Page 3
Sort By:
Showing 55 open source projects for "linux-tools"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
realwatermark
A Python application to add watermarks (text or image) to PDF files
A Python application to add watermarks (text or image) to PDF files, converts them into image and back to PDF with options for OCR and compression. -
2
AutoPR
Run AI-powered workflows over your codebase
AutoPR is an AI-driven tool for automating pull request (PR) generation and review processes. It streamlines code contributions by suggesting fixes, generating pull requests, and reviewing code using AI models, reducing manual overhead for developers. -
3
Sweep AI
Sweep: AI-powered Junior Developer for small features and bug fixes
Let Sweep handle your tech debt so you can focus on the exciting problems. Sweep is an AI junior developer that transforms bug reports & feature requests into code changes. Describe bugs, small features, and refactors like you would to a junior developer and Sweep. -
4
Tabnine
Vim client for TabNine
Tabnine is an AI-powered code completion extension trusted by millions of developers around the world. Whether you’re just getting started as a developer or if you’ve been doing it for decades, Tabnine will help you code twice as fast with half the keystrokes – all in your favorite IDE. Whether you call it IntelliSense, intelliCode, autocomplete, AI-assisted code completion, AI-powered code completion, AI copilot, AI code snippets, code suggestion, code prediction, code hinting, or... -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
5
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...
