• 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.
    Try Free
  • Error to trace to log to deploy. One click. No SSH. Icon
    Error to trace to log to deploy. One click. No SSH.

    Catch the cause before the pager goes off.

    AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
    Free 30 days.
  • 1
    ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    CEManTIKA (Contextual Elements Modeling and Management through Incremental Knowledge Acquisition) is a framework to support context modeling and Context-Sensitive System design, in a generic, domain-independent way.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    JSPWikiWinWin Involves the requirement negotiation and elicitation in software engineering and improves the negotiation process based on WinWin Spiral Model, which supports the negotiation in different locations and time
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    OpenSoul Metamodeler is a MOF 1.4 based metamodeling tool. It is built on Enki repository (originaly Netbeans MDR) and JGraph component.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 5
    Extensible language for portable parallelism. Any visual element may be used to extend program syntax and a re-writing rule defined for it. Syntactic elements have properties attached, enabling symbolic manipulation to specialize to hardware.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    This project provides a framework for the generation of workflow code from high-level models. It enables people with no or little experience in this area to generate workflow code a reasonable time by specifying generation templates and reusing adapters.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7
    SMARD is a development environment that simplifies the programming of applications based on mobile agents. Using a graphical interface, programmers can design, build and launch mobile agents which are intended to run on JADE platforms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    jppa is a pointer and purity analysis tool for Java programs. Mainly a purity analysis tool: given a full Java program, it detects pure JML-style methods, i.e., methods that do not mutate existing objects (they may mutate new ones).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Framework for Java source code analysing, program comprehension and automating software quality. Source code visualisation provided.
    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
  • 10
    The FermaT toolset is the implementation of the FermaT Transformation Technology which developed semantic preserving code transformations to simplify programs without changing their behavior. The correctness is guaranteed by mathematical proof.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
Auth0 Logo