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
Advanced TECO dialect and interactive screen editor based on Scintilla
SciTECO is an interactive TECO dialect, similar to Video TECO. It also adds features from classic TECO-11, as well as unique new ideas.
Project development takes place here:
https://git.fmsbw.de/sciteco
The download archive is mirrored at Sourceforge, but for nightly builds check out:
https://sciteco.fmsbw.de/downloads/nightly/
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.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB 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.
A dynamic interpreted language for scripting,games,apps,etc in under 500 lines of VB.NET code(using sharpdevelop,not vb). the current version makes it easy to create point and click style games. perfect for interactive business card cds and kiosks!
Research Description Language (RDL) is an XML application for describing and publishing scientific research efforts. Research Editor (REd) is a tool for editing RDL documents, and exporting them to LaTeX, PDF, etc.
uniread - universal readline - adds full readline support (command editing, history, etc.) to any existing interactive command-line program. Common examples are Oracle's sqlplus or jython.
uniread will work on any POSIX platform with Perl.
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
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