Showing 5 open source projects for "checker"

View related business solutions
  • 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.
    Start Free
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • 1
    The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    The Tool Box

    The Tool Box

    Tools for the payments type!

    Version 1.1.5 - Added: Added the ability to edit the EMV panel - You can change which tags show, and what order they are in - Added: Tag 9F10 (Issuer Application Data) to which also includes CVR (a subtag of 9F10) - Added: Menu link to the homepage (sourceforge) - Fixed: 9F07/AUC had the wrong tag details - Fixed: File>Close now saves notes and config updates before exiting - Fixed: Tag 95/TVR title had a spelling mistake - Fixed: Homepage wasn't populating EMV page names -...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 3
    The Heap Checker is a library for debugging and developing robust and efficient dynamic memory management and string manipulation in C programs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Jassda is a framework that extracts a sequence of method-invokations from a Java application during runtime using the Java Debug Interface (JDI). Jassda provides two modules that operate on the sequence: a logger and a trace-checker
    Downloads: 0 This Week
    Last Update:
    See Project
  • Veeam Data Platform v13.1 Icon
    Veeam Data Platform v13.1

    Move workloads across hypervisors and clouds with no vendor lock-in. Try VDP free today.

    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 Now
  • 5
    Tcl Golems is a package of utilities designed to make life easier for Tcl / Tk programmers. The Golems are cross-platform and text-only (GUI-less). Golems included are: 1) source code line counter; 2) mis-matched braces / brackets / quotes code checker
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next