Search Results for "z-push"
Sort By:
Showing 7 open source projects for "z-push"
View related business solutions-
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
1
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 -
2
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. -
3
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 -
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 -
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
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. ... -
6
-
7
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.
- Previous
- You're on page 1
- Next
