Search Results for "z tools"
Sort By:
Showing 7 open source projects for "z tools"
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.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
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
Z Word Tools
Write, check, index and diagram Z specifications in Microsoft Word.
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. -
4
Oh My Posh 2
A prompt theming engine for Powershell
Oh My Posh 2 is an older theme engine for PowerShell inspired by Oh My Z‑SH and PS‑Config. It provides configurable, visually enriched command prompts—including git status, failed command markers, and session indicators—without altering default PowerShell behavior. Though superseded by the newer cross‑shell Oh My Posh utility, version 2 remains notable for its modular theming approach. -
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.
-
5
Calcflow
A virtual reality tool for mathematical modeling
The repository contains the open-sourced code to Calcflow, a powerful mathematical visualization tool designed to give students, educators, and engineers a better grasp on some of the most difficult concepts in vector calculus. Utilizing the best UI/UX theory, Calcflow is an intuitive VR interface for vector calculus and is used by scientists and engineers for both educational and commercial applications. Today, the most common tool for complex maths visualization in the classroom is the... -
6
ZILF
This repository is deprecated. Use Heptapod instead.
THIS REPOSITORY IS DEPRECATED. Please use the Heptapod repository instead: https://foss.heptapod.net/zilf/zilf ZILF is a set of tools for working with the ZIL interactive fiction language, including a compiler, assembler, disassembler, and game library. -
7
Z-SQL is a package-oriented SQL language designed for Microsoft SQL Server. Full language specification is provided. The compiler translates Z-SQL to SQL Server's native T-SQL. A command line tool, zsql, that superseeds osql is also included.
- Previous
- You're on page 1
- Next
