New to Google Cloud? Get $300 in free credit to explore Compute Engine, BigQuery, Cloud Run, Vertex AI, and 150+ other products.
Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query exabytes in BigQuery, or build AI apps with Vertex AI and Gemini. Once your credits are used, keep building with 20+ products with free monthly usage, including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. Sign up to start building right away.
Start Free Trial
Go from Data Warehouse to Data and AI platform with BigQuery
Build, train, and run ML models with simple SQL. Automate data prep, analysis, and predictions with built-in AI assistance from Gemini.
BigQuery is more than a data warehouse—it's an autonomous data-to-AI platform. Use familiar SQL to train ML models, run time-series forecasts, and generate AI-powered insights with native Gemini integration. Built-in agents handle data engineering and data science workflows automatically. Get $300 in free credit, query 1 TB, and store 10 GB free monthly.
The DjVu Reference Library 3.5 was released by Lizardtech under the GNU General Public License version2. 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 version2.
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.
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.
99.99% Uptime for MySQL and PostgreSQL on Google Cloud
Enterprise Plus edition delivers sub-second maintenance downtime and 2x read/write performance. Built for critical apps.
Cloud SQL Enterprise Plus gives you a 99.99% availability SLA with near-zero downtime maintenance—typically under 10 seconds. Get 2x better read/write performance, intelligent data caching, and 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server with built-in vector search for gen AI apps. New customers get $300 in free credit.
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.
Save up to 91% with Spot VMs and get automatic sustained-use discounts. One free VM per month, plus $300 in credits.
Save on compute costs with Compute Engine. Reduce your batch jobs and workload bill 60-91% with Spot VMs. Compute Engine's committed use offers customers up to 70% savings through sustained use discounts. Plus, you get one free e2-micro VM monthly and $300 credit to start.
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
A console/GUI tool for software requirements management. The feature list will include usable rich text requirements editing, HTML/PDF/WordML output, requirements IDs and groups support, CVS intergration, automatic changesets generation, etc.
WikiJavadoc is an inline Documentation Tool which extends Wiki-Function to Gjdoc. Instead of manipulating the source code change the Java Documentation and write changes back to source, update Java Documentation.
wsdl2doc is a java-based tool for generating HTML documentation for WSDL files. These documentations are intended to give a short overview over which services, operations and messages are described by an WSDL.
NoteCat is a web-based application to manage and categorize Wiki notes with user registration and access control. NoteCat demonstrates integration with Hibernate (object-relational persistence) , Lucene (full text search), Radeox (wiki engine), etc.
Colimas is a Component Library Management System. The objective is to store all reusable resets for enterprises or organizations and to help all developers to know where and how to get the needed components and reduce understanding time for project maint
The jwebdoc system allows collaborative development of documents which can then be exported as XML/HTML/PDF/other or simply viewed using the jwebdoc system.
Content management system, focusing on (1) usability; (2) simple edit / review / publish cycle; (3) syndication; and (4) integrated formatting for ease of printing the published documents, to PDF, RTF, or transformed via XML / XSLT to DocBook, LaTeX, etc
Group-CCS development Components, templates, tools, accessories, tutorial, modules, translations, documentation, codes, scripts, everything that can improve the work of who uses the powerful tool of development, CCS - CodeCharge Studio.