Search Results for "z-push"
Sort By:
Showing 9 open source projects for "z-push"
View related business solutions-
Our Free Plans just got better! | Auth0You 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.
-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
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 -
Streamline Azure Security with Palo Alto Networks VM-SeriesImprove your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
-
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.
-
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
- Previous
- You're on page 1
- Next
