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
Emulator of the ancient 8 bit microprocessor SC/MP 2
Emulator of the ancient 8 bit microprocessor ISP-8A 500D/600D or more common "SC/MP" from National Semiconductor.
The download contains all sources plus an executable Java Jar file to start right away. Some SC/MP hex dump examples are provided in directory "/etc" as well.
The download also contains unit tests and some helping documentation (also in /etc).
You may slow down the CPU operations, displaying the CPUs status register as LEDs, to watch the CPU working with its registers.
The emulator also contains a VDU (video display unit) output / ASCII input simulation. ...
Using encryption to secure your code or text. Click File->Run to run your code using Ruby, see the pop up for output. Never save your text or code to disk unencrypted. Don't forget your password. Encryption is error-persistent.
Xemeiah is a fast, modular and scalable XML Framework written in C++, with an efficient DOM and Oasis-compliant XSLT Processor. Xemeiah modules include a persistence layer, a fast Ajax Web Server, a Media Player, ImageMagick frontend, java bindings...
Toolset for the TMPL (Template Matching Processor Language). Compiler and runtime for creating/ evaluating templates on XML data streams. Can be integrated easily in Java projects.
vIDE is a cross-platform tool for writing and simulating Verilog models. It provides user friendly project management and file editing, integrated simulation engine, waveform viewer, pre-compiled modules, and many other cool features.
Jess-mode is a collection of Emacs Lisp files designed to facilitate the development of Java Expert System Shell (JESS) applications. Currently, the package consists of a major mode for editing source and an inferior mode used to run the Jess interpreter
Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.
Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.