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
AI-generated apps that pass security review
Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.
Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
UsiXML4ALL allows the creation of multiplatform software using the UsiXML user interface description language. UsiXML4ALL files are currently being prepared and organized for uploading to sourceforge. Source code and more information will be available so
Kammerjäger is a debugging tool with integrated correctness proving.
Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected.
The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes...
Free diagnostic script reveals configuration issues, error patterns, and security risks. Instant HTML report.
Windows Task Scheduler might be hiding critical failures. Download the free JAMS diagnostic tool to uncover problems before they impact production—get a color-coded risk report with clear remediation steps in minutes.
Reads Gerber-274X and Excellon plotter data for printed circuit boards and outputs the data to a bitmap or directly to a printer. The plotter data is displayed graphically and can be moved around.
A pure java based prolog engine. This is a fork of the OpenSource Kernel Prolog from Paul Tarau (BinNet Corp.).
This project was abandoned in favor of GNU Prolog for Java: http://www.gnu.org/software/gnuprologjava/
A static analyzer for Java programs that checks for design guidelines. The project is adopted from PDL (http://portal.acm.org/citation.cfm?id=1218571).
The aim of the project is to write an distributed object compiler/interpreter. Object reside on special server and can be accessed in a java/c++ style programming language through a network. This project is currently being renamed please check http://obj
Atera all-in-one platform IT management software with AI agents
Ideal for internal IT departments or managed service providers (MSPs)
Atera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
NaRP-i (for Not a Real Pseudo Interpreter) is a multiplatform interpreter. His goal is validate analysis of problems made in a pseudolanguage called NaRP. Narp and Narp-i are so interdependent that they should be regarded as a single project.