Search Results for "z-push"

Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users.

...Alembic is a starting point for Jekyll projects. Rather than starting from scratch, this boilerplate theme is designed to get rolling immediately. Install it, configure it, tweak it, push it.

My personal blog was created using GitHub-pages-blog-action.

This repository is a curated collection of idiomatic Go design patterns, coding recipes, and best practices aimed at Go programmers. It organizes patterns under categories such as creational, structural, behavioral, concurrency, messaging, and anti-patterns, giving examples and explanations of how to apply them in real Go code. Creational, structural, behavioral pattern examples in Go. Explanatory commentary and sample code snippets. Concurrency idioms (e.g. bounded parallelism,...

View Controller Transitions Library is a collection of iOS7 animation controllers and interaction controllers, providing flip, fold and all kinds of other transitions. With iOS 7 you can easily create custom view controller transitions that can be used in a range of contexts (push, pop, modal, etc.) This project provides a library of custom animations which can be dropped directly into your project. It also has a number of 'interaction controllers' which can be used with any of the custom animations in order to make your transitions interactive. Animation and interaction controllers are entirely independent, this means you can wire up any interaction controller with any animation controller, which is pretty awesome. ...

Editor sencillo de CSS, para facilitar a la hora de desarrollar paginas web, ofrece la posibilidad de mover un div especificado, redimensionarlo, cambiarle de color, y su z-index todo dinamicamente desde el explorador y ofreciendo información que posteriormente tendrás que escribir en tu CSS evitando así la sobrecarga de código que generan otros programas de diseño. Fácil, sencillo y rápido, la instalación es muy sencilla, explicada muy detalladamente en el readme.html

A tool to customize the Android user interface. Features: Fetch current theme, customize, push back to phone

A design specification language based upon Z Notation and CSP.

This project offers a collection of resources that can be used to document object models in the Z language. This mainly consists in prelude files for z type checking and latex demo files that use it.