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.
Try free now
Cloud tools for web scraping and data extraction
Deploy pre-built tools that crawl websites, extract structured data, and feed your applications. Reliable web data without maintaining scrapers.
Automate web data collection with cloud tools that handle anti-bot measures, browser rendering, and data transformation out of the box. Extract content from any website, push to vector databases for RAG workflows, or pipe directly into your apps via API. Schedule runs, set up webhooks, and connect to your existing stack. Free tier available, then scale as you need to.
As software architect, you create a set of diagrams describing use-cases, requirements, structural views, behavioral and deployment views.
crystal_facet_uml keeps element names and element hierarchies consistent. It exports diagrams in svg, pdf, ps and png formats to be used in text processing systems like docbook, html, latex.
This tool runs on your local PC and is based on glib, gdk, gtk, cairo, pango, sqlite.
A Database System for Metamodeling and Method Engineering
ConceptBase.cc is a multi-user deductive and object-oriented database system for metamodeling and method engineering. Includes a graphical client that builds upon the logic-based features of the ConceptBase.cc server. The data model is O-Telos.
ConceptBase.cc can represent information at the data level (example data, traces of process executions etc.), the class level (schemas, process definitions etc.), the metaclass level (constructs of modeling languages), the meta-metaclass level...
Real-Time Event Frameworks based on active objects & state machines
QP real-time event frameworks (RTEFs) provide lightweight, modern, event-driven architecture based on asynchronous Active Objects (Actors) and Hierarchical State Machines. The matching QM model-based design tool and other host-based tools complement the QP frameworks by supporting graphical modeling, code generation, software tracing, and unit testing for event-driven embedded software. Visit https://www.state-machine.com for more information.
The QP RTEFs can run on bare-metal...
ObjectBuilder is a C++ code generation CASE tool (CASE, code generation, refactoring, documentation generation). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction.
ObjectBuilder dramatically simplify work with C++ project architecture. I use it and think that tree OO interface targeted to C++ more fast and power than UML class diagrams.
ObjectBuilder perfectly organize C++ header files with any level of...
Create and convert pipeline at scale through industry leading SMS campaigns, automation, and conversation management.
TextUs is the leading text messaging service provider for businesses that want to engage in real-time conversations with customers, leads, employees and candidates. Text messaging is one of the most engaging ways to communicate with customers, candidates, employees and leads. 1:1, two-way messaging encourages response and engagement. Text messages help teams get 10x the response rate over phone and email. Business text messaging has become a more viable form of communication than traditional mediums. The TextUs user experience is intentionally designed to resemble the familiar SMS inbox, allowing users to easily manage contacts, conversations, and campaigns. Work right from your desktop with the TextUs web app or use the Chrome extension alongside your ATS or CRM. Leverage the mobile app for on-the-go sending and responding.
* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol
imvirt is a set of Perl modules and helper binaries used to detect if it is running in a virtualization container. It is able to detect several containers like HyperV, VirtualBox, VMware, QEMU, KVM or Xen.
The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.
PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)
Axe Credit Portal - ACP- is axefinance’s future-proof AI-driven solution to digitalize the loan process from KYC to servicing, available as a locally hosted or cloud-based software.
Banks, lending institutions
Founded in 2004, axefinance is a global market-leading software provider focused on credit risk automation for lenders looking to provide an efficient, competitive, and seamless omnichannel financing journey for all client segments (FI, Retail, Commercial, and Corporate.)
This project aims at providing Open Source tools for the development and the verification of SystemC/TLM (Transaction Level Modeling) IP models, and at promoting their use by embedded software developers on SoC (System-On-Chip).