Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.
Launch 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.
Start Free Trial
Our Free Plans just got better! | Auth0
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.
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.
The tool for writing readable use cases.
Write use cases in XML with support from a provided XSD. The structure promotes the Use Case format described by Alistair Cockburn. The tool then generates a pretty web site with the use cases that is comprehensive and easy to read.
The XML sources are treated as a Maven project, so you can easily deploy them to a web server, version the source files, manage history of changes, and collaborate in a team.
The purpose of this project is to create a German translation of the book <a href="http://www.byteofpython.info">"A Byte of Python"</a> originally written in English by Swaroop C H.
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.
CodeInvestigator is a tracing tool for Python programs. All the run time information is recorded. Read your code together with its run time details. Use it to visualize what happened when you program ran.
A wiki backed CMS that is under development.
This is a lGPL fork of a PHP5 project, pls watch for features.
When teir 2 is complete, useful for small or medium applications or sites.
Teir 3 is focussing on enterprise (aka dark-art non-functional high volume/ high scalability alterations). The teir3 will be published under a different licence, and is the primary branch. lGPL editions include full features of teir3.
I'm a software engineer, I write a CMS to build a personal...
DEFT, the Development Environment For Tutorials, allows you to easily write and maintain tutorials which contain source code examples. If the code you're documenting changes, your examples in the tutorial will change as well.
RoboCup GameController is an open source software used in the RoboCup Humanoid League and the Standard Platform League. Referee commands are sent to the robots on the playing field via wireless network to reach a higher autonomy of the players.
Transform your applications and workflows into powerful agentic systems at global scale.
Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
DocItOut is a tool that enables SAS programmers to easily generate online documentation in HTML format based on the comments and statements from the SAS files.
Transliterator between any Language files - Map Fonts, Create Encoding Scheme, Input Phonetic, Indian, Roman, Tamil, Hindi, English, French, German, Spanish or Any World Language Keyboard. Ex: [Phonetic Input]-[Any World Language Output] or ViceVersa.
Glossword is a system to create and publish online multilingual dictionary, glossary, or encyclopedia. Suits for creating web sites also. WAMP [Windows, Apache, MySQL, PHP] package is available.
A collection of DITA map and topic files used for checking the performance of tools such as the DITA-OT used to convert DITA to other formats, including recommended PIs for dealing with presentation needs not covered in the DITA specification. Primary host is now github,
https://github.com/jeremygriffith/DITA-Test-Suite
phpMyFAQ is a multilingual, completely database-driven FAQ-system. For the time being a MySQL database (support for other databases is under development) is used to store all data, PHP 4.1.0 (or higher) is needed in order to access this data.
Research Information Gathering Optimizer. A research tool designed for the student, to be an Open-Source replacement for One Note, with additional tools for organizing large and small research projects.
A suite of programs written specifically to address the management of school reports in Waldorf (Rudolf Steiner) schools. It includes a WYSIWIG editor, database storage, and various administration utilities.
The goal of this project is a collection of free educational textbooks, articles, lectures and any other kind of textmaterials for the students of the informatic department of Eötvös Loránd Tudományegyetem university in Budapest shipped with GFDL license.
WordHTML CV is an open source software that mass converts MS word documents into HTML files. It makes it easy even for people with no knowledge of HTML to produce professional-quality website. Whether you need to publish a one-page press release or a long
Personal wiki that lives in one self-modifying XHTML containing software, interface and data. Very useful for creating small websites and mantaining notes or todo-lists; completely javascript-programmable, supports encryption and file embedding.
ThManager is a tool for creating and visualizing knowledge organization models, such as thesauri, classification schemes, glosaries and other types of controlled vocabulary in SKOS format