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.
Start Free
Go From AI Idea to AI App Fast
One platform to build, fine-tune, and deploy ML models. No MLOps team required.
Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
Validation Manager is a tool to handle all the cumbersome paperwork of regulated environment validations. Including Validation Plans, protocols, executions and exceptions. Keeping everything in one place and best of all paperless.
Source is hosted on Bitbucket: https://bitbucket.org/javydreamercsw/validation-manager
...The architecture will be developed in three phases:
1. Basic Spring Architecture: Provides all the basic components needed to field an enterprise-level application.
2. Programmatic Security Model: Incorporates the components needed to dynamically assign users to user roles and user roles to profiles.
3. Meta-Driven Architecture: Use meta-data to dynamically configure 80%-90% of the application using the concepts exemplified in the Compiere open source project.
The DjVu Reference Library 3.5 was released by Lizardtech under the GNU General Public License version 2. DjVuLibre-3.5 was developed by Leon Bottou and others as a "Derived Work" of the DjVu Reference Library 3.5. As such, it is also subject to the GNU General Public License version 2.
Several patents apply to two very specific aspects of DjVu and DjVuLibre. The patents cover a particular aspect of the ZP-coder (the arithmetic coder used in DjVu and implemented in libdjvu/ZPCodec.cpp) and the background masking technique used in the IW44 wavelet encoder (implemented in libdjvu/IW44EncodeCodec.cpp).
...
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.
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.
SonicReader is used to view and save reports of the internals of a Sonicwall Configuration file. This is useful for those people that wish to know the settings within their saved Sonicwall Configs. I have no affiliation with Dell Sonicwall. Please do not contact Dell Sonicwall regarding the use of this program.
TEdit is a simple Text Editor who saves and openes .txt Files.
TEdit is a simple Text Editor who saves and openes .txt Files.
At the moment the programm is in pre-apha phase.
I would greatly appreciate help with the development.
The name stands for "General Purpose Abstraction Layer". GPAL is a set of C++ classes which are used to represent any kind of data and to manipulate them. Thanks to SWIG, it is usable in many programming languages.
ProViz is a program visualization framework for Java. It is built as a plugin to the Eclipse IDE. (We are getting close to publishing resources and making this project distributable. Stay tuned!) A video demo: http://www.youtube.com/watch?v=BsoK1n-OM
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You 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.
The "Architecture Visualizator" parses source code and analyze the object oriented structure as well as the control flow and logic aspects. After that it visualize the results for example as graphviz file.
A simple textual feature model editor to generate feature model diagrams as DOT and SVG files.
The DOT files can be used as an input for GraphViz' dot. SVG requires dot installed on your computer and added to your classpath.
Agido is an extensible Agile Documentation Tool for Agile Development Projects. The documentation can be written in plain text in a wiki style markup and exported to different output formats such as PDF and HTML.
DocHelper is a tool that aims to help create + maintain documentation. It defines an ant task in order to fit into build scripts. It achieves its goal through the parsing of existing resources. It is Ant + Java based. See available Documentation.
JDiff is a Javadoc doclet which emits an HTML report of all the packages, classes, methods, and so on, which are different (the "diff" part) when two Java APIs are compared. Great for reporting what has changed between two releases of your product.
JDraftPDF is a tablet based PDF annotator and editor. The software allows annotations to be made directly to a PDF file using a tablet and pen. The main application is for annotating document drafts without the need for printing.
Business analysys/documentation management tool, inspired by the book "Writing Effective Use Cases" by Alistair Cockburn. Key wanted features are:managing & browsing versionable project requirements,use-cases,screen specs,docs generation,work with JIRA
This is a modeling tool generating code from activity diagrams. The main goal is to achieve a good code generation. I would like to have different possibilities like HTML mapping from diagrams and Java code generation (maybe others) chosen by the user.