Search Results for "or-tools" - Page 4
Sort By:
Showing 5960 open source projects for "or-tools"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
1
WhatCable
macOS menu bar app that tells you, in plain English
...The project allows developers to inspect Action Cable channels, subscriptions, broadcasts, and connection activity in real time through an accessible diagnostic interface. It is particularly useful for debugging live features such as chats, notifications, collaborative tools, and streaming updates built with Rails. The tool focuses on improving visibility into Action Cable internals, helping developers identify subscription issues, authorization problems, or unexpected broadcast behavior. Its lightweight integration and developer-oriented workflow make it practical for both development and debugging environments. ... -
2
tlaplus
TLC is an explicit state model checker for specifications in TLA+
...TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code. -
3
Termux packages
A build system and primary set of packages for Termux
Termux is an Android terminal emulator and Linux environment app that works directly with no rooting or setup required. A minimal base system is installed automatically - additional packages are available using the APT package manager. Access remote servers using the ssh client from OpenSSH. Termux combines standard packages with accurate terminal emulation in a beautiful open source solution. Take your pick between Bash, fish or Zsh and nano, Emacs or Vim. Grep through your SMS inbox.... -
4
Yii Web Programming Framework
Yii PHP Framework 1.1.x
...Flexible yet pragmatic. Works right out of the box. Has reasonable defaults. Yii gives you the maximum functionality by adding the least possible overhead. Sane defaults and built-in tools helps you write solid and secure code. Write more code in less time with simple, yet powerful APIs and code generation. The minimum requirement by Yii is that your Web server supports PHP 5.1.0 or above. Yii has been tested with Apache HTTP server on Windows and Linux operating systems. Yii comes with a command line tool called "yiic" that can create a skeleton Yii application for you to start with. ... -
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
5
DefectDojo
DefectDojo is a DevSecOps and vulnerability management tool
...DefectDojo enriches and refines vulnerability data using a number of heuristic algorithms that improve with the more you use the platform. DefectDojo integrates with 85+ security tools. DefectDojo has bi-directional integration with JIRA to manage vulnerabilities in developer's natural backlogs. DefectDojo has smart features that learn over time and can automatically tune results. DefectDojo has everything you need to track projects, personnel, metrics, and tasks. DefectDojo allows you to focus on what you actually enjoy doing, rather than reports and metrics. -
6
Erlang/OTP
Build massively scalable soft real-time systems
...OTP is set of Erlang libraries and design principles providing middle-ware to develop these systems. It includes its own distributed database, applications to interface towards other languages, debugging and release handling tools. Erlang/OTP is available as pre-built binary packages by most OS package managers. You can use Kerl, a script that lets you easily build Erlang with a few commands. We take security bugs in Erlang/OTP seriously. The Erlang distribution includes a step-by-step getting started guide. -
7
Gum
A tool for glamorous shell scripts
A tool for glamorous shell scripts. Leverage the power of Bubbles and Lip Gloss in your scripts and aliases without writing any Go code! Gum provides highly configurable, ready-to-use utilities to help you write useful shell scripts and dotfiles aliases with just a few lines of code. Let's build a simple script to help you write Conventional Commits for your dotfiles. Use a package manager. gum is designed to be embedded in scripts and supports all sorts of use cases. Components are... -
8
Google Apps Manager
Command line management for Google G Suite
Google Apps Manager or GAM is a free and open source command line tool for Google G Suite Administrators that allows them to manage many aspects of their Google Apps Account quickly and easily. With GAM you can create and manage users, groups and domains; manage email, security and calendar settings; manage admins and organizations and many more. To use GAM Google Apps Business, Education, Partner or Government Edition is required. -
9
MSBuild
The Microsoft Build Engine (MSBuild) build platform for .NET and VS
The Microsoft Build Engine is a platform for building applications. This engine, which is also known as MSBuild, provides an XML schema for a project file that controls how the build platform processes and builds software. Visual Studio uses MSBuild, but MSBuild doesn't depend on Visual Studio. By invoking msbuild.exe on your project or solution file, you can orchestrate and build products in environments where Visual Studio isn't installed. Visual Studio uses MSBuild to load and build... -
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
Anthropic Cybersecurity Skills
754 structured cybersecurity skills for AI agents
...It is particularly useful for developers exploring how AI can augment traditional cybersecurity practices. Overall, the project serves as a foundation for building AI-driven security tools and workflows. -
11
signal-cli
signal-cli provides a commandline, dbus and JSON-RPC interface
signal-cli is a command line interface for the Signal messenger. It supports registering, verifying, sending and receiving messages. signal-cli uses a patched libsignal-service-java, extracted from the Signal-Android source code. For registering you need a phone number where you can receive SMS or incoming calls. signal-cli is primarily intended to be used on servers to notify admins of important events. For this use-case, it has a daemon mode with D-BUS interface (man page) and JSON-RPC... -
12
lightning AI
The most intuitive, flexible, way for researchers to build models
Build in days not months with the most intuitive, flexible framework for building models and Lightning Apps (ie: ML workflow templates) which "glue" together your favorite ML lifecycle tools. Build models and build/publish end-to-end ML workflows that "glue" your favorite tools together. Models are “easy”, the “glue” work is hard. Lightning Apps are community-built templates that stitch together your favorite ML lifecycle tools into cohesive ML workflows that can run on your laptop or any cluster. Find templates (Lightning Apps), modify them and publish your own. ... -
13
lark-cli
A command-line tool for Lark/Feishu Open Platform
lark-cli is a command-line tool designed to interact with the Lark (Feishu) ecosystem, enabling developers to manage and automate workflows within the platform directly from the terminal. It provides utilities for handling applications, bots, messaging, and other services offered by Lark, making it easier to integrate enterprise collaboration features into development pipelines. The tool is designed for efficiency, allowing users to perform operations quickly without relying on graphical... -
14
Scoop Installer
A command-line installer for Windows
...For graphical applications, Scoop creates program shortcuts in a dedicated Start menu folder, called 'Scoop Apps'. This way, packages are always cleanly uninstalled and you can be sure what tools are currently in your PATH and in your Start menu. -
15
VHS
Your CLI home video recorder
...Developers can use it to create GIFs, videos, screenshots, or terminal recordings for documentation, README files, tutorials, and product demos. Instead of manually recording a screen, VHS makes terminal demonstrations repeatable and easier to update when a project changes. It is especially useful for CLI tools because it turns terminal behavior into a source-controlled artifact. Its main value is making polished command-line demos easier to create, maintain, and regenerate. -
16
Hermit
Hermit manages isolated, self-bootstrapping sets of tools in software
Hermit is a tool developed by Cash App to manage isolated, self-bootstrapping sets of tools within software projects. It ensures that all contributors and CI environments use the same tooling, enhancing consistency and reliability. Hermit installs tools in a self-contained manner, making them available across different machines and environments without additional configuration. -
17
Sol
MacOS launcher & command palette
Sol is an open source app launcher, focused on ease of use and speed. It has minimal configuration and runs natively. -
18
mise
Dev tools, env vars, task runner
Mise (formerly RTX) is a cross-language CLI tool and task runner that manages developer tools, environment variables, and project tasks in a unified configuration (mise.toml). It handles tool installation (e.g., Node, Python, Terraform), env var profiles, and repeatable command scripting. -
19
WebP Codec
Library to encode and decode images in WebP format
libwebp is the reference codec library for Google’s WebP image format, providing both encoding and decoding along with command-line tools. It supplies cwebp to compress images into WebP and dwebp to decompress them back, making it easy to test quality/size trade-offs across presets and tuning parameters. The GitHub repository is a mirror; the canonical source of truth lives on Chromium’s git, and developer docs are hosted on WebP’s portal. The project underpins WebP support across browsers, imaging libraries, and many native apps thanks to its stable C API. ... -
20
C/C++ for Visual Studio Code
Repository for the Microsoft C/C++ extension for VS Code
...C++ is a compiled language meaning your program's source code must be translated (compiled) before it can be run on your computer. VS Code is first and foremost an editor, and relies on command-line tools to do much of the development workflow. The C/C++ extension does not include a C++ compiler or debugger. You will need to install these tools or use those already installed on your computer. There may already be a C++ compiler and debugger provided by your academic or work development environment. Check with your instructors or colleagues for guidance on installing the recommended C++ toolset (compiler, debugger, project system, linter). -
21
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. -
22
kubefwd
Bulk port forwarding Kubernetes services for local development
Kubernetes port forwarding for local development. kubefwd is a command line utility built to port forward multiple services within one or more namespaces on one or more Kubernetes clusters. kubefwd uses the same port exposed by the service and forwards it from a loopback IP address on your local workstation. kubefwd temporally adds domain entries to your /etc/hosts file with the service names it forwards. When working on our local workstation, my team and I often build applications that... -
23
Webpack Encore
A simple but powerful API for processing and compiling assets
Symfony ships with a pure-JavaScript library, called Webpack Encore, that makes it a joy to work with CSS and JavaScript. You can use it, use something else, or create static CSS and JS files in your public/ directory directly and include them in your templates. Webpack Encore is a simpler way to integrate Webpack into your application. It wraps Webpack, giving you a clean & powerful API for bundling JavaScript modules, pre-processing CSS & JS, and compiling and minifying assets. Encore... -
24
AWS EC2 FPGA
AWS EC2 FPGA hardware and software development Kit
AWS EC2 FPGA Development Kit is a set of development and runtime tools to develop, simulate, debug, compile and run hardware-accelerated applications on Amazon EC2 F1 instances. It is distributed between this GitHub repository and FPGA Developer AMI - Centos/AL2 provided by AWS with no cost of development tools. After creating an FPGA design (also called CL - Custom logic), developers can create an Amazon FPGA Image (AFI) and easily deploy it to an F1 instance. -
25
WASM-4
Build retro games using WebAssembly for a fantasy console
wasm4 is a WebAssembly-based game console for building and sharing games using WebAssembly. It provides a virtual platform with a defined specification for game development.
