Showing 10 open source projects for "logic programming"

View related business solutions
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Start Free
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini 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.
    Start Free
  • 1
    Nox

    Nox

    Rust implementation of the Fluence network peer

    Nox is a decentralized, serverless execution platform for running secure WebAssembly (Wasm) modules over the Fluence peer-to-peer network. It enables developers to build and deploy composable services without central servers, ensuring tamper-resistant logic and trustless computation. Nox is designed to support multi-peer coordination, decentralized app logic, and data privacy, using Fluence’s Aqua programming model. Ideal for Web3 developers, Nox provides the building blocks to run interoperable backends directly from the edge.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    MoonZoon

    MoonZoon

    Rust Fullstack Framework

    MoonZoon is a full-stack Rust web framework that enables developers to build reactive web applications using a unified Rust codebase for both frontend and backend logic. It is built around a reactive programming model where UI updates are automatically triggered by changes in application state, reducing the need for manual DOM manipulation or complex state management patterns. The framework leverages WebAssembly for the frontend, allowing Rust code to run directly in the browser while maintaining high performance and type safety. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Rivet

    Rivet

    Visual AI IDE for building agents with prompt chains and graphs

    Rivet is an open source visual AI programming environment designed to help developers build complex AI agents using a node-based interface and prompt chaining workflows. It provides a desktop application that allows users to visually construct and debug AI logic as interconnected graphs, making it easier to manage sophisticated interactions between language models and external tools.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 4
    Iced

    Iced

    A cross-platform GUI library for Rust, inspired by Elm

    Iced is a cross-platform, end-user-oriented GUI library for Rust, inspired by The Elm Architecture. It expects you to split user interfaces into four different concepts, which are: the state of your app; messages, which are user interactions or other meaningful events; view logic, which displays your state as widgets that can result in messages; and update logic, which offers a way to update your state and react to messages. Iced is very simple and easy to use, and is type-safe. It offers...
    Downloads: 3 This Week
    Last Update:
    See Project
  • Veeam Data Platform v13.1 - Get Your Free Trial Icon
    Veeam Data Platform v13.1 - Get Your Free Trial

    Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

    Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
    Try it Free
  • 5
    Autocxx

    Autocxx

    Tool for safe ergonomic Rust/C++ interop driven from existing C++

    autocxx is an open source Rust tool and procedural macro designed to enable automatic, safe interoperability between C++ and Rust. It integrates the functionality of bindgen (for parsing and generating Rust bindings from C++ headers) with cxx (for safe and idiomatic Rust–C++ communication), automating the creation of bridges between the two languages. With autocxx, developers can include C++ headers directly in Rust source code and automatically generate bindings for the corresponding C++...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 6
    BAML

    BAML

    The AI framework that adds the engineering to prompt engineering

    ...This design allows developers to treat language model interactions as predictable software components rather than ad-hoc prompt strings. The framework enables developers to define prompt logic in a dedicated language while integrating it into applications written in various programming languages such as Python, TypeScript, Ruby, and Go. BAML also allows developers to specify which models are used for each prompt and how outputs should be validated or structured. By converting prompt engineering into a more formal programming workflow, the framework improves reliability, debugging, and maintainability of AI systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Bend

    Bend

    A massively parallel, high-level programming language

    Bend is an interactive programming environment (REPL) built on top of the Kotlin language, designed to allow users to explore, experiment, and learn Kotlin in a live, feedback-driven manner. The tool lets you define variables, functions, or values at the prompt and iteratively refine them—immediately seeing output and types—while preserving state across commands.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Extism

    Extism

    The Universal Plug-in System. Extend anything with WebAssembly

    ...We've carefully designed it to be flexible, fitting into codebases of all shapes and sizes, but opinionated enough so that things Just Work™ the way they should. Extism's goal is to make all software programmable. You can use Extism in your codebase, regardless of the programming language. We support several environments through our official Host SDKs, and are adding more language support all the time. A plug-in system is software that enables your users or customers to add some logic into certain points in your application. You decide where this logic runs, and your users decide what the plug-in does. ...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 9
    macroquad

    macroquad

    Cross-platform game engine in Rust

    macroquad is a lightweight, easy-to-use game library for the Rust programming language, offering developers a relatively simple and streamlined path to build games across platforms. The library is heavily inspired by simpler game frameworks (like raylib), but brings the ergonomic and safety features of Rust to 2D — and some minimal 3D — development. With Macroquad, you don’t need to worry about low-level graphics plumbing: it handles window and input management, rendering, UI, and more, letting you focus on game logic. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Cut Data Warehouse Costs by 54% Icon
    Cut Data Warehouse Costs by 54%

    Easily migrate from Snowflake, Redshift, or Databricks with free tools.

    BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
    Start Free
  • 10
    Amethyst Game Engine

    Amethyst Game Engine

    Data-oriented and data-driven game engine written in Rust

    ...It should be beginner friendly but also allow more advanced uses such as custom render passes and GLSL shaders. Thanks to the Rust programming language, Amethyst uses all CPU cores to run its internals and logic. A lot of optimizations have yet to be done, but the current status is already showing great potential. Amethyst is open source and free software. You can use, read, modify, distribute its source code under the permissive MIT and Apache 2.0 licenses.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next