Search Results for "z-push"
Sort By:
Showing 9 open source projects for "z-push"
View related business solutions-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
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
Blaiz Tools
Tools for working with Gossamer codebase and app source code
Tools for packing files, converting images, manipulating text, checking code and working with the Gossamer codebase and app source code. -
3
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. -
4
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 -
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
5
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 -
6
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. ... -
7
-
8
...This library is *not* being actively developed anymore. In my spare time, I'm still developing further on the WPF side, because of a project I started 2008/2010. But I rarely push my updates to this Lib.
-
9
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.
-
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
- Previous
- You're on page 1
- Next
