Showing 5960 open source projects for "or-tools"

View related business solutions
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini 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.
    Try It Free
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.

    Start 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.
    Claim $300 Free
  • 1
    WhatCable

    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. ...
    Downloads: 27 This Week
    Last Update:
    See Project
  • 2
    tlaplus

    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.
    Downloads: 15 This Week
    Last Update:
    See Project
  • 3
    Termux packages

    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....
    Downloads: 75 This Week
    Last Update:
    See Project
  • 4
    Yii Web Programming Framework

    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. ...
    Downloads: 7 This Week
    Last Update:
    See Project
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 5
    DefectDojo

    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.
    Downloads: 8 This Week
    Last Update:
    See Project
  • 6
    Erlang/OTP

    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.
    Downloads: 16 This Week
    Last Update:
    See Project
  • 7
    Gum

    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...
    Downloads: 40 This Week
    Last Update:
    See Project
  • 8
    Google Apps Manager

    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.
    Downloads: 12 This Week
    Last Update:
    See Project
  • 9
    MSBuild

    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...
    Downloads: 49 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB 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.
    Start Free
  • 10
    Anthropic Cybersecurity Skills

    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.
    Downloads: 24 This Week
    Last Update:
    See Project
  • 11
    signal-cli

    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...
    Downloads: 30 This Week
    Last Update:
    See Project
  • 12
    lightning AI

    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. ...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 13
    lark-cli

    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...
    Downloads: 23 This Week
    Last Update:
    See Project
  • 14
    Scoop Installer

    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.
    Downloads: 14 This Week
    Last Update:
    See Project
  • 15
    VHS

    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.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 16
    Hermit

    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.​
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Sol

    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.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 18
    mise

    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.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 19
    WebP Codec

    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. ...
    Downloads: 34 This Week
    Last Update:
    See Project
  • 20
    C/C++ for Visual Studio Code

    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).
    Downloads: 42 This Week
    Last Update:
    See Project
  • 21
    Lean 4

    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.
    Downloads: 27 This Week
    Last Update:
    See Project
  • 22
    kubefwd

    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...
    Downloads: 18 This Week
    Last Update:
    See Project
  • 23
    Webpack Encore

    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...
    Downloads: 26 This Week
    Last Update:
    See Project
  • 24
    AWS EC2 FPGA

    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.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 25
    WASM-4

    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.
    Downloads: 1 This Week
    Last Update:
    See Project
Auth0 Logo