Showing 1742 open source projects for "program"

View related business solutions
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • 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
  • 1
    Expr

    Expr

    Expression language and expression evaluation for Go

    ...The purpose of the package is to allow users to use expressions inside configuration for more complex logic. It is a perfect candidate for the foundation of a business rule engine. The idea is to let configure things in a dynamic way without recompile of a program.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Light-4J

    Light-4J

    A fast, lightweight and more productive microservices framework

    Light means lightweight, lightning-fast and shedding light on how to program with modern Java SE for cloud-native deployment. I had been working on the Java EE platforms since early 2000 and suffered performance and productivity issues. In 2014, I realized that the IT industry was moving from Monolithic to Microservices and from on-premise data centers to the public clouds. To reduce the production cost for my applications, I need to find a lightweight platform that has a small memory footprint, high throughput, and low latency in Java. ...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 3
    Omi

    Omi

    Front end cross-frameworks framework

    Omi (pronounced /ˈomɪ/) is cross-frameworks framework base on Web Component, you can also use omio compatible IE8+ with the same grammar. One framework, Mobile & desktop & mini program. Simply download and include with <script>. Omi will be registered as a global variable. If you need to be compatible with IE8+, you can choose omio, which has almost the same API as omi, and Omi will be registered as a global variable. Omi provides the official CLI. You don't need to learn how to configure webpack, Babel or TypeScript. ...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 4
    Flix

    Flix

    The Flix Programming Language

    Flix is a statically typed programming language combining functional, imperative, and logic paradigms, with first‑class Datalog constraints and a polymorphic effect system. Designed to run on the JVM, Flix enforces purity tracking at compile time, supports algebraic data types, tail‑call elimination, and allows entire Datalog programs as values.
    Downloads: 0 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
  • 5
    xhtml2pdf

    xhtml2pdf

    A library for converting HTML into PDFs using ReportLab

    xhtml2pdf enables users to generate PDF documents from HTML content easily and with automated flow control such as pagination and keeping text together. The Python module can be used in any Python environment, including Django. The Command line tool is a stand-alone program that can be executed from the command line.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    wger

    wger

    Self hosted FLOSS fitness/workout, nutrition and weight tracker

    ...You can create and manage flexible training routines for whatever goals you have. Select exactly what exercises you are going to do and how many repetitions, time or distance you want to do. You can also combine different workouts in the same program. Create your personal diet plan by creating as many meals with as many different ingredients as you need. The application will calculate the nutritional values ​​(total energy, proteins, carbohydrates, etc.) of the entire plan and of each of the meals. Enter the weights and reps you've done for each exercise to generate diagrams that let you see at a glance how well you're doing. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 7
    KSP

    KSP

    Kotlin Symbol Processing API

    KSP is Kotlin’s lightweight, idiomatic alternative to Java annotation processing that gives compile-time access to Kotlin program structure. Rather than forcing Kotlin through Java’s annotation APIs, it exposes Kotlin-first symbols—classes, functions, properties, types—so processors can generate code efficiently. The design dramatically reduces incremental build overhead by operating directly on symbols without compiling stubs, which speeds up large multi-module projects.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    Agda

    Agda

    Agda is a dependently typed programming language

    ...It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs interface which can assist the programmer in writing the program. Agda is a proof assistant. It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram, Matita and NuPRL.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9
    OpenIddict

    OpenIddict

    Versatile OpenID Connect stack for ASP.NET Core and Microsoft.Owin

    ...Unlike many other identity providers, OpenIddict is not a turnkey solution but a framework that requires writing custom code to be operational (typically, at least an authorization controller), making it a poor candidate for the certification program. While a reference implementation could be submitted as-is, this wouldn't guarantee that implementations deployed by OpenIddict users would be standard-compliant.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 99.99% Uptime for MySQL and PostgreSQL Databases Icon
    99.99% Uptime for MySQL and PostgreSQL Databases

    Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

    Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
    Try Free
  • 10
    Pacu

    Pacu

    The AWS exploitation framework, designed for testing security

    Pacu (named after a type of Piranha in the Amazon) is a comprehensive AWS security-testing toolkit designed for offensive security practitioners. While several AWS security scanners currently serve as the proverbial “Nessus” of the cloud, Pacu is designed to be the Metasploit equivalent. Written in Python 3 with a modular architecture, Pacu has tools for every step of the pen testing process, covering the full cyber kill chain. Pacu is the aggregation of all of the exploitation experience...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 11
    Mangle

    Mangle

    Go library for Datalog-style logical reasoning and domain modeling

    ...Mangle enhances traditional Datalog by introducing features such as aggregation, function calls, and optional type-checking, which make it more practical for modern data-intensive applications. Unlike SQL, Mangle’s declarative syntax naturally supports recursion and modular program structure, making it suitable for representing hierarchical or interconnected datasets like dependency graphs or knowledge graphs. The project’s implementation is provided as a Go library, enabling developers to embed Mangle directly into their applications or services, such as database-like gRPC systems.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    Secdev Scapy

    Secdev Scapy

    Scapy: the Python-based interactive packet manipulation program

    Scapy is a powerful interactive packet manipulation libary written in Python. Scapy is able to forge or decode packets of a wide number of protocols, send them on the wire, capture them, match requests and replies, and much more. Scapy can be used as a REPL or as a library. It provides all the tools and documentation to quickly add custom network layers. Scapy runs natively on Linux, macOS, most Unixes, and on Windows with Npcap. It is published under GPLv2. Starting from version 2.5.0+, it...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13
    Gnomock

    Gnomock

    Test your code without writing mocks with ephemeral Docker containers

    Gnomock is an integration and end-to-end testing toolkit. It uses Docker to create temporary containers for application dependencies, set up their initial state and clean them up in the end. Gnomock allows to testing the code with no mocks wherever possible. The power of Gnomock is in a variety of Presets, each implementing a specific database, service, or other tools. Each preset provides ways of setting up its initial state as easily as possible: SQL schema creation, test data upload into...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    OpenGrok

    OpenGrok

    Fast and usable source code search and cross reference engine

    OpenGrok is a fast and usable source code search and cross reference engine. It helps you search, cross-reference and navigate your source tree. It understands various program file formats and history from many Source Code Management systems. In other words it lets you grok (profoundly understand) source code and is developed in the open, hence the name OpenGrok. It is written in Java.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    1Backend

    1Backend

    Build AI (or any) apps with scalable microservices & microfrontends

    ...It works as a framework, proxy, and runtime that reduces early infrastructure overhead for developers. The platform includes built-in capabilities for authentication, user accounts, service routing, microfrontend routing, email, and API access. It can run and program LLMs inside containers, making it suitable for AI applications as well as general software products. 1Backend is designed around zero-trust and zero-config principles, with an ORM that can support development even before a database is introduced. It is also multitenant, allowing multiple apps or sites to run from a single installation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    JeecgBoot

    JeecgBoot

    Low-code enterprise web development platform

    JeecgBoot is a low-code platform built on Spring Boot that accelerates enterprise application development with online forms, code generation, and a modern Vue-based frontend. It can generate CRUD screens, data dictionaries, and menu structures from database schemas, producing clean starter code that developers can extend. The platform integrates common enterprise features—RBAC permissions, data scopes, dictionary management, logging, and file/OSS integration—so teams start from a...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17
    PyQuil

    PyQuil

    A Python library for quantum programming using Quil

    ...PyQuil has a ton of other features, which you can learn more about in the docs. However, you can also keep reading below to get started with running your first quantum program. Without installing anything, you can quickly get started with quantum programming by exploring our interactive Jupyter Notebook tutorials and examples. To run them in a preconfigured execution environment on Binder, click the "launch binder" badge at the top of the README or the link here! To learn more about the tutorials and how you can add your own, visit the rigetti/forest-tutorials repository. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18
    py2many

    py2many

    Transpiler of Python to many other languages

    Python is popular, and easy to program in, but it has poor runtime performance. We can fix that by transpiring a subset of the language into a more performant, statically typed language. A second benefit is security. Writing security-sensitive code in a low-level language like C is error-prone and could lead to privilege escalation. Specialized languages such as wuffs exist to address this use case. py2many can be a more general-purpose solution to the problem where you can verify the source via unit tests before you transpile. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 19
    ClojureScript

    ClojureScript

    Compiler for Clojure that targets JavaScript

    ClojureScript is a compiler for Clojure that targets JavaScript. It is designed to emit JavaScript code which is compatible with the advanced compilation mode of the Google Closure optimizing compiler. Clojure is a dynamic, general-purpose programming language supporting interactive development. Clojure is a functional programming language featuring a rich set of immutable, persistent data structures. As a dialect of Lisp, it has a code-as-data philosophy and a powerful macro system. Clojure...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Pymunk

    Pymunk

    Pymunk is a easy-to-use pythonic 2d physics library

    Pymunk is an easy-to-use Pythonic 2D physics library that can be used whenever you need 2D rigid body physics from Python. Perfect when you need 2D physics in your game, demo or simulation! It is built on top of the very capable 2D physics library Chipmunk2D. The first version was released in 2007 and Pymunk is still actively developed and maintained today, more than 15 years of active development. Pymunk has been used with success in many projects, big and small. For example: 3 Pyweek game...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    KubeVela

    KubeVela

    The Modern Application Platform

    ...It allows you to build powerful software, and deliver them anywhere. Declare your deployment plan as workflow, run it automatically with any CI/CD or GitOps system, extend or re-program the workflow steps with CUE. Glue and orchestrate all your infrastructure capabilities as reusable modules and share the large growing community addons. No ad-hoc scripts, no dirty glue code, just deploy. The deployment workflow in KubeVela is powered by Open Application Model.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    PDFSticher

    PDFSticher

    Code repository for PDFStitcher, a utility to stitch together PDFs

    The open source PDF stitching software for sewists, by sewists. PDFSticher is a utility for stitching together many PDF pages from one document into a single page. This is also called "N-Up" or page imposition. This program was created in order to convert sewing patterns into a convenient format for projecting, though it could be used to stitch together any PDF. Since version 0.4, it is also possible to select layers for inclusion/exclusion in the final output. Additionally, line properties can be modified for each layer if the input PDF is compatible.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    WxJava

    WxJava

    WeChat develops Java SDK, supports back-end development

    WeChat develops Java SDK, supports back-end development including WeChat payment, open platform, small program, enterprise WeChat, official account, etc. For project cooperation and negotiation, please contact WeChat binary0000(search and add friends in WeChat, please indicate the intention of coming, if you need to discuss about SDK issues, please refer to the group discussion below, do not add this WeChat). Important reminder for beginners: This project is only an SDK development kit, and does not provide web implementation. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    roaring

    roaring

    Roaring bitmaps in Go (golang)

    This library is used in production in several systems, it is part of the Awesome Go collection. There are also Java and C/C++ versions. The Java, C, C++ and Go version are binary compatible: e.g, you can save bitmaps from a Java program and load them back in Go, and vice versa. We have a format specification. Sets are a fundamental abstraction in software. They can be implemented in various ways, as hash sets, as trees, and so forth. In databases and search engines, sets are often an integral part of indexes. For example, we may need to maintain a set of all documents or rows (represented by numerical identifiers) that satisfy some property. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    GopherLua

    GopherLua

    GopherLua: VM and compiler for Lua in Go

    GopherLua is a Lua5.1(+ goto statement in Lua5.2) VM and compiler written in Go. GopherLua has the same goal as Lua: To be a scripting language with extensible semantics. It provides Go APIs that allow you to easily embed a scripting language to your Go host programs. The stack-based API like the one used in the original Lua implementation will cause a performance improvement in GopherLua (It will reduce memory allocations and concrete type <-> interface conversions). GopherLua API is not a...
    Downloads: 0 This Week
    Last Update:
    See Project