• Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 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, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
    Start Free
  • 1

    Natural Deduction Planner

    Assistant for generating Natural Deduction style proofs

    This application aids in the creation of Natural Deduction style logical proofs. The style is that used in University of Auckland Philosophy courses. Upon inputting a sequent, a proof can be completed within Natural Deduction Planner. The result can be exported to png, to text or to LaTeX macros.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Avenzoar Digital Pathology Tool
    Avenzoar is a one-year exploration of renal cell carcinoma morphology and its related single nucleotide polymorphisms (SNPa) as a method of automating diagnosis of cancer by using a computer-aided decision tree controlled by analytical statistics.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    BrumTab is a scoring and management system for Inter-Varsity British Parliamentary Debating Competitions (IVs). It allocates teams to debates (power-pairing), records scores, prints result sheets and all with a minimum of technical jargon.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    This project is the result of an effort by NITLE ( http://www.nitle.org/) to integrate Marratech e-meeting functionality (via the public, exposed Java API) into the Moodle ( http://moodle.org/ ) OSS Learning Management System.
    Downloads: 0 This Week
    Last Update:
    See Project
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 5
    The Ludwig system is a combined tutoring and assessment system written mainly in PHP and using a MySQL database. It is intended for elementary programming classes. Ludwig was developed at Penn State as the result of a Software Design class.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB