Showing 3 open source projects for "wstj-z"

View related business solutions
  • Top-Rated Free CRM Software Icon
    Top-Rated Free CRM Software

    216,000+ customers in over 135 countries grow their businesses with HubSpot

    HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
  • Find out just how much your login box can do for your customer | Auth0 Icon
    Find out just how much your login box can do for your customer | Auth0

    With over 53 social login options, you can fast-track the signup and login experience for users.

    From improving customer experience through seamless sign-on to making MFA as easy as a click of a button – your login box must find the right balance between user convenience, privacy and security.
  • 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: 20 This Week
    Last Update:
    See Project
  • 2
    Z-Machine Preservation Project
    An Interactive Fiction Player written for Java Virtual Machine. It implements the Z-machine and Glulx specifications and can be used either standalone or as an applet. The Z-Code/Glulx interpreter runs adventures made by Infocom and contemporary Inte
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Leafpile is a Z-code interpreter, a Java implementation of the Z-machine virtual machine used for running Infocom/Inform interactive fiction story files. Leafpile seeks complete compliance with the Z-machine Standards Document 1.0.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next