Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.
Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
Try Auth0 for Free
Go from Code to Production URL in Seconds
Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.
Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
The Object-Role Modeling (ORM) standard version 2, associated schemas and generation tools, and a reference implementation in the form of the Natural Object-Role Modeling Architect for Visual Studio (NORMA) product.
A tool for parametric model checking of UPPAAL models.
UPPAAL PARMOS (UP) is a parameter sweep application built specifically for UPPAAL, with the ability to distribute parameter sweeps across multiple computing resources, such as large clusters or cloud computing resources. UP also provides the ability to direct the parameter sweep using multi-objective heuristic search algorithms to reach optimal or near optimal parameters faster.
UP is expandable through the use of plug-ins, with regards to both types of computing resources and search...
It's an infrastructure helps engineers to develop enterprise software solutions in Microsoft .NET easily and productively which consists of an extendable and maintainable web system architecture with a suite of generic business model, APIs and servi
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.
DataLG is a Data Access Layer (DAL) generator. Create stored procedures, views, and tables on the database side, then use DataLG to create an assembly (and its source) to interact with them. Works with: Ms Sql Server, Sqlite 3, Mysql 4-5, and PostgreSQL.
Simple implementation of finite state machine concepts.
The project contain ease-to-use library and modeling graphical tool.
Project define simple identical API for Finite State Machines for both language bindings (C# and Java).
Omnigraphs are a formal extension of hypergraphs with the ability of edges to connect to multiple nodes and edges. This project hosts the Ogre compilers.
The Project includes the TLA Language Package that defines the TLA+ language for VS 2005 IDE and the TLA Integration Package that adds menus in the VS 2005 IDE and assigns different functionalities to them.
This project will allow a .NET(C#) developer to have a component that will interact with OpenXml file. For example *.docx file with are used by Office 2007. So that these files can be changed easily within code.
Gecco is a modular "UML to Sourcecode" Designer. Just model your UML diagrams using the rules of UML 2.0 and simply generate sourcecode or even a full Project with one click. Due to modularity conversion to every programming language is possible.
The tool uses reverse engineering to build UML diagrams for C# project. It automates the displaying of connections between objects and provides convenient synchronization of code and diagrams.
NHag - NHibernate Automated Generator - is an advanced Codegenerator. Based on the hbm.xmls it can produce class code (in VB.NET and C#), Cell- and MVP-based abstraction layers and test scenarios (Test-DB and Unit Tests) for the generated classes. It's
A multi-language IDE written entirely with C#.NET. My goals include giving developers a framework that will allow them to add new languages, provide diagramming services to support language modeling and visualization (eg UML Class Diagrams, etc).
The Project aims to fulfill the following specific objectives of Computer Education, Supportive Education and Information Service Delivery, while in operation.