Showing 4 open source projects for "notation"

View related business solutions
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • Application Monitoring That Won't Slow Your App Down Icon
    Application Monitoring That Won't Slow Your App Down

    AppSignal's Rust-based agent is lightweight and stable. Already running in thousands of production apps.

    Full APM with errors, performance, logs, and uptime monitoring. 99.999% uptime SLA on the platform itself.
    Start Free
  • 1
    Community Z Tools

    Community Z Tools

    Tool support for the Z formal notation

    Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt
    Leader badge
    Downloads: 750 This Week
    Last Update:
    See Project
  • 2
    C3PO is a software synthesis tool that provides a solution for building maintainable, reliable and robust software infrastructures and/or compiler frontends from a set of attributed grammar rules in EBNF notation.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    This is an utility, used to convert java serializable object to javascript object. It follows JSON ( Javascript Object Notation). This utility mainly useful in web2.0 application development.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    MOVED to https://github.com/poikilos/outputinspector Output Inspector is a standalone Qt helper app for Kate that allows you to double-click to jump to the file and line of code at which your compiler found errors (for mono or any C# or other compiler using "filename(line,position): error" notation).
    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.
    Try Free
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB