Search Results for "z-matrix"

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

This project packages Next.js applications to run natively on AWS’s serverless stack, mapping framework features onto services like Lambda, CloudFront, and S3. It translates routing, API handlers, and middleware into deployable artifacts, handling edge cases such as image optimization, ISR, and streaming responses. Static assets are uploaded to object storage and cached at the edge, while dynamic routes are executed in short-lived compute with cold-start-aware build settings. The adapter...

Dropwizard is a Java framework for developing ops-friendly, high-performance, RESTful web services. Dropwizard pulls together stable, mature libraries from the Java ecosystem into a simple, light-weight package that lets you focus on getting things done. Dropwizard has out-of-the-box support for sophisticated configuration, application metrics, logging, operational tools, and much more, allowing you and your team to ship a production-quality web service in the shortest time possible....

...The application Ob open four browsers, Tesseract applications container, TAL, Chatosx, AndroMac, AndroEmu, MySMS, Shutdown, Updater, Search for, MyMaps, SOA, BLI, Xcoder, BasicProg, BasicProg2, VM, D,M&Z Suite Basic and D,M&Z Suite Advanced (POSIX based).

Misc packages including a matrix application, a text based minesweeper, and simple console functions bundled to be run from a virtual console. Some packages are independently runnable. http://damf.sourceforge.net/ for more information.