Showing 5 open source projects for "contract bridge on linux"

View related business solutions
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Start Free
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Start Free
  • 1
    Solidity

    Solidity

    The Smart Contract Programming Language

    Solidity is a statically-typed curly-braces programming language designed for developing smart contracts that run on Ethereum. Solidity 0.8.4 adds custom structured errors, allows more flexible configuration of the SMTChecker and fixes a bug in the Solidity ABI decoder v2. Read more about the bug here. With v0.8.4, errors can be defined inside and outside of contracts (including interfaces and libraries). This provides a convenient and gas-efficient way to explain to users why an operation...
    Downloads: 35 This Week
    Last Update:
    See Project
  • 2
    Triton

    Triton

    Development repository for the Triton language and compiler

    Triton is a programming language and compiler framework specifically designed for writing highly efficient custom deep learning operations, particularly for GPUs. It aims to bridge the gap between low-level GPU programming, such as CUDA, and higher-level abstractions by providing a more productive and flexible environment for developers. Triton enables users to write optimized kernels for machine learning workloads while maintaining readability and control over performance-critical aspects...
    Downloads: 26 This Week
    Last Update:
    See Project
  • 3
    GritQL

    GritQL

    GritQL is a query language for searching, linting, and modifying code

    GritQL is a query language designed to facilitate human-AI collaboration by providing an intuitive interface for querying and retrieving structured data. It acts as a bridge between AI models and databases, enabling natural language interaction with structured data sources.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    SPL Compiler

    A low-level system programming language with high-level syntax

    A new system programming language designed to occupy the same niche C is currently holding, that allows for easier development of large platform-independent systems. The aims are to: * Keep all of C's system programming strengths. * Be as efficient as C (at run-time) and as high-level as possible for the programmer. * Promote modularity and ease the development of large-scale component-based software. * Enable programming-by-contract and other high-level features (as long as...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Train ML Models With SQL You Already Know Icon
    Train ML Models With SQL You Already Know

    BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

    Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
    Start Free
  • 5
    KAREL 3D

    KAREL 3D

    Learning programming language for kids

    This is learning programming language for children Karel-3D. By words from LightBot: "Get kids hooked on coding with minutes!" Created by Karel 3D from the 8-bit microcomputer PMD 85-2 in 1986. His later version of Karel the Robot in 3D, created first in the Slovak Republic. JavaScript variant include only one small HTML file tested and works on all devices with keyboard and full JavaScript support in internet browser, or alternative pre-compiled JAVA V8 .jar file with webEngine and...
    Downloads: 1 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next