Search Results for "or-tools" - Page 7
Sort By:
Showing 14233 open source projects for "or-tools"
View related business solutions-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
Veeam Data Platform v13.1Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
1
GraphQL
The GraphQL LSP reference ecosystem for building browser & IDE tools
...It comes with a runtime agnostic Language Service used by GraphQL mode for CodeMirror and GraphQL Language Service Server. It also provides an online immutable parser for GraphQL, designed to be used as part of syntax-highlighting and code intelligence tools such as for the GraphQL Language Service and codemirror-graphql. -
2
OpenJarvis
Personal AI, On Personal Devices
...Developed as part of the Intelligence Per Watt research initiative, it focuses on improving the efficiency and practicality of on-device AI systems. The framework provides shared primitives for building local-first agents, along with evaluation tools that measure performance using metrics such as energy consumption, latency, cost, and accuracy. OpenJarvis integrates with local inference engines like Ollama, vLLM, SGLang, and llama.cpp to run language models directly on personal hardware. It also includes a learning loop that allows models to improve over time using locally generated interaction traces. ... -
3
PCL Community Edition
Community version based on the PCL open source secondary development
...The project focuses on providing a flexible and feature-rich launcher environment that simplifies the process of installing game versions, managing mod loaders, and organizing modded instances. PCL-CE offers tools that help players install and configure modding frameworks such as Forge or Fabric, allowing them to easily run customized Minecraft environments without manual file management. The launcher also provides instance management features so users can maintain multiple Minecraft setups with different versions, mods, or configurations. ... -
4
NoSignups
A list of tools that are open-source, in-browser
NoSignups, formerly FckSignups, is a curated directory of browser-based open-source tools that can be used without creating accounts. The project focuses on utilities that avoid registration walls, email collection, analytics, and unnecessary tracking. Its website is built with React and TypeScript and organizes tools across productivity, development, design, writing, privacy, media, education, and other categories. Entries include descriptions, searchable tags, source links, licenses, star counts, and recommendation metadata when available. ... -
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
5
Spring Boot
Easily create Spring-powered, production-grade applications
Spring Boot lets you create stand-alone, production-grade, Spring-based applications and services with minimal fuss. It offers a radically faster and highly accessible manner for starting all Spring development. By taking an opinionated view of the Spring platform, it enables you to quickly and easily get to the bits you need. Most Spring Boot applications need minimal Spring configuration. You can use it to create a stand-alone Java application or more traditional WAR deployments. A... -
6
OpenCLI
Make Any Website & Tool Your CLI
...OpenCLI also emphasizes usability and developer experience by offering intuitive command structures and easy extensibility. Its architecture supports integration with external services and tools, making it suitable for automation pipelines. -
7
Lean 4
Lean 4 programming language and theorem prover
...The project serves researchers, mathematicians, programmers, and formal methods users who need a system for writing machine-checked proofs as well as executable programs in the same environment. One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to develop custom automation, metaprogramming tools, and domain-specific extensions instead of being limited to a fixed proving workflow. The broader Lean ecosystem also includes official tutorials, language references, examples, and installation and build tools, which reflects that the project is not just a core compiler repository but the center of a mature development platform. -
8
tea.xyz
The next-generation, cross‐platform package manager
...Say goodbye to slow & clunky, and say hello to fast & smooth. From the creator of Brew. With tea, simply type commands and it takes care of the rest. Get the latest versions of open source tools and support specific tool versions for different projects. Experience better package management with tea. -
9
Certificate Ripper
A CLI tool to extract server certificates
A CLI tool to extract server certificates. No openssl required runs on any Operating System. It can be used with or without Java, native executables are present in the releases. Extracts all the sub-fields of the certificate. Certificates can be formatted to PEM format. Bulk extraction of multiple different URLs with a single command is possible. Extracted certificates can be stored automatically in a p12 trust store. Works also behind a proxy. -
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.
-
10
PDF4QT
Open source PDF editor
PDF4QT is open source PDF editor based on Qt framework. It contains a C++ library, applications for viewing/editing PDF documents, and a command line tool. PDF4QT is an open-source PDF editor for Windows/Linux. It is a modern solution for viewing/editing/rendering PDF documents, for users and developers alike. For developers, there is a C++ library and a command line tool for use in scripts. For users, there are four applications offering many features. The project is hosted on Github and... -
11
OSIRIS
Open Source Global Intelligence Platform
...Osiris is useful for analysts, researchers, journalists, and technical teams who need a unified view of fast-changing global events. Its main value is combining many OSINT streams into a single operational picture instead of forcing users to monitor separate tools. -
12
Awesome Mac
Collect premium software in various categories
Now we have become very big and different from the original idea. Here we collect awesome macOS software in various categories. Feel free to star and fork. Reading and writing tools, text editors, office, markdown tools, note-taking, journaling. Ebooks, RSS, developer tools, IDEs, developer utilities, etc. Regular expression editors, API development and analysis, network analysis, command line tools, frameworks for hybrid applications, version control. Virtualization, databases, design and product, design tools, prototyping and mind-mapping tools, screen capturing software, etc. ... -
13
Tauri
Build smaller, faster, and more secure desktop applications
Tauri is an open-source framework for building lightweight and high-performance desktop and mobile applications using web technologies. It allows developers to create user interfaces with HTML, CSS, and JavaScript while using Rust for the backend logic. By leveraging the operating system’s native WebView instead of bundling a full browser, Tauri produces significantly smaller and more efficient application binaries. The framework supports multiple front-end frameworks such as React, Vue,... -
14
Useful Java links
A list of useful Java frameworks, libraries, software and hello worlds
Useful Java links repository is a curated collection of educational resources, frameworks, tools, and documentation related to Java programming and the broader Java ecosystem. The project organizes hundreds of links to libraries, development frameworks, tutorials, and technical references that are useful for both beginner and advanced Java developers. These resources cover many areas of software development, including web frameworks, testing libraries, concurrency tools, build systems, microservices architectures, and development best practices. ... -
15
WG Tunnel Desktop
A WireGuard and AmneziaWG client for desktop with a kill switch.
...WG Tunnel Desktop runs tunnels through a system daemon, allowing VPN connections to operate independently from the graphical interface. It includes security-focused tools such as an independent lockdown mode, encrypted configuration storage, and tunnel restoration on boot. With import, export, editing, sorting, and live statistics features, WG Tunnel Desktop provides a practical way to manage secure VPN connections on desktop systems. -
16
OpenCorePkg
OpenCore bootloader
OpenCorePkg is an open-source, modular UEFI (Unified Extensible Firmware Interface) bootloader and development framework, primarily designed to enable macOS booting on non-Apple hardware (Hackintosh). It includes Apple-specific UEFI drivers, utilities for macOS installation support, and shared libraries used across Acidanthera projects. Apple disk image loading support. Apple keyboard input aggregation. Apple PE image signature verification. Apple UEFI secure boot supplemental code. Audio... -
17
Sōzu
Sōzu HTTP reverse proxy, configurable at runtime, fast and safe
Open source HTTP reverse proxy built in Rust for immutable infrastructures. Most existing tools have a static vision of production: a service is installed once on a long-lived server, updated from time to time, with configuration rarely changing. There's now a shift in infrastructure to short-lived virtual machines and hundreds of new deployments per day, and the usual tools reach their limits. How do we reconcile a dynamic environment with availability guarantees? -
18
v2ray-rules-dat
V2Ray routing rules file enhanced version, which can replace V2Ray
v2ray-rules-dat is a repository that compiles and distributes enhanced rule data (domain lists, geo-IP/geo-domain data, block/proxy/detect lists) intended for use with tools like V2Ray, Xray-core, and similar network/proxy frameworks. The dataset serves as an alternative or supplement to official geoip/ geosite data files, often providing more up-to-date, community-curated entries — enabling better routing, blocking, or traffic management when using those proxy tools. The repository is regularly updated (weekly sync upstream) and provides releases containing comprehensive data files (e.g. geoip.dat, geosite.dat, plus multiple .txt rule lists) plus checksums for integrity verification. ... -
19
Hermes Desktop
Desktop Companion for Hermes Agent
Hermes Desktop is a native desktop application that simplifies the installation, configuration, and daily use of Hermes Agent, an AI assistant with advanced tool usage and self-improving capabilities. It provides an intuitive graphical interface that eliminates the need to manage Hermes through command-line tools. Users can connect to local or remote Hermes instances while accessing chat, memory management, skills, tools, profiles, and scheduling from a single workspace. The platform supports multiple AI providers, including OpenAI, Anthropic, Google Gemini, Grok, OpenRouter, and local model endpoints. Its real-time streaming chat interface includes markdown rendering, syntax highlighting, tool progress tracking, and token usage monitoring. ... -
20
arduino-cli
Arduino command line tool
Arduino CLI is an all-in-one solution that provides Boards/Library Managers, sketch builders, board detection, uploader, and many other tools needed to use any Arduino compatible board and platform from the command line or machine interfaces. In addition to being a standalone tool, Arduino CLI is the heart of all official Arduino development software (Arduino IDE, Arduino Web Editor). The script requires sh, which is always available on Linux and macOS. sh is not available by default on Windows, though it is available as part of Git for Windows (Git Bash). ... -
21
BiglyBT
Feature-filled Bittorrent client based on the Azureus open source
BiglyBT is a fully-featured, open-source BitTorrent client based on the former Vuze/Azureus codebase. It offers extensive functionality without ads, spyware, or paid features, making it a favorite for advanced users. BiglyBT includes detailed torrent management tools, built-in swarm merging, VPN detection, I2P support, and streaming capabilities. It’s highly customizable and supports a wide range of plugins, automation tools, and scheduling options. The client runs on Java and is available across major desktop platforms. -
22
AnduinOS
AnduinOS is a custom Ubuntu-based Linux distribution
...It combines configuration, scripts, and UI elements to form a workstation experience that is more opinionated and automation-friendly than a vanilla setup. The project leans toward developer productivity: quick access to tools, reproducible configuration, and a unified place to evolve the environment. Because it is open source, users can inspect how the author wires services, handles packaging, or defines UI/UX conventions. It’s well suited for people who want to understand how to bootstrap and maintain a bespoke, code-driven desktop environment rather than relying on distro defaults. ... -
23
AI as Workspace
An elegant AI chat client. Full-featured, lightweight
...AIaW supports multiple AI providers and models through a flexible interface compatible with common API formats used by services such as OpenAI-style endpoints. The application also includes a plugin system that allows developers to extend the platform with additional capabilities such as automation tools, integrations, or custom AI utilities. -
24
dovi_tool
dovi_tool is a CLI tool combining multiple utilities
dovi_tool is a command-line utility written in Rust that provides a comprehensive set of tools for working with Dolby Vision metadata in video streams. It is designed to analyze, edit, and generate dynamic metadata used in high dynamic range video formats. The tool allows users to extract, inject, and modify RPU data, which controls how Dolby Vision content is displayed on compatible devices. It also supports demuxing and muxing HEVC streams, enabling manipulation of enhancement layers and metadata within video files. dovi_tool is widely used in advanced video encoding workflows where precise control over HDR metadata is required. ... -
25
Mysti
AI coding dream team of agents for VS Code
Mysti is a VS Code extension that provides a unified interface for AI coding assistants and agent workflows, with a strong emphasis on multi-agent collaboration. Instead of replacing the tools developers already use, it integrates with popular CLI-based coding assistants and routes work through a single, consistent UI inside the editor. The experience is organized around “personas” that change how the assistant approaches a task, such as architecture, debugging, security review, performance tuning, or refactoring, which helps structure the AI’s behavior for different goals. ...
