Showing 6 open source projects for "z-push"

View related business solutions
  • 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 generative AI apps with Vertex AI. Switch between models without switching platforms.
    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: 216 This Week
    Last Update:
    See Project
  • 2
    SMC - The State Machine Compiler

    SMC - The State Machine Compiler

    Translates state machine into a target programming language.

    SMC takes a state machine stored in a .sm file and generates a State pattern in 14 programming languages. Includes: default transitions, transition args, transition guards, push/pop transitions and Entry/Exit actions. See User Manual for more info.
    Leader badge
    Downloads: 36 This Week
    Last Update:
    See Project
  • 3
    FLEKS

    FLEKS

    Forumowy Lekki, Elastyczny i Konfigurowalny Styl

    FLEKS (dawniej Jdevo) to program dla for opartych o punBB / fluxBB, generujący styl forum w zależności od godziny, urządzenia i konfiguracji ustawień przez użytkownika. Może być postawiony na oddzielnym serwerze niż forum, dzięki czemu może być użyty na hostingach oferujących gotowe fora, bez dostępy do bazy danych i plików forum. Pomoc na forum pun.pl: http://www.pun.pl/viewtopic.php?pid=279049#p279049
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    Z-Pharo CMS

    Full Powerful & Customized PHP CMS Its Just Plugins to start !

    [Z-Pharo CMS] is a full customized php content management system .. it's very light,small package,pluggable every thing in it is just plugins so you can create any web application you want
    Downloads: 0 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 5

    JPlex

    Java lexical analyzer generator

    JPlex is an unconventional lexical analyzer generator for Java. JPlex lexers are NIO-based, DFA-powered, push-driven, and fully decoupled and reusable. Their state machines are precompiled and serialized, so run time initialization is fast no matter how large the rule set. JPlex is not a parser generator; it only generates an interface for its parsers, and it does not build a parse tree. When the lexer identifies a token that has a named event associated with it, it passes the token to the parser method associated with that event. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Java MDA to automate creation of any code, documentation or diagrams from UML. Load UML from Rose or Metanology or create via java API. Push UML elements with given stereotypes or tags through Velocity. Call Ant & Xdoclet. Does NOT include code templates.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB