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
Go From AI Idea to AI App Fast
One platform to build, fine-tune, and deploy ML models. No MLOps team required.
Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.
FileRunner is a two pane file manager for Unix and Unix like systems. It is simple and efficient and has a built-in FTP and SFTP client. It also does a reasonable (and improving) job on Windows systems. New and improved from a FileRunner of long ago.
Javelina is an advanced code coverage tool that uses dynamic instrumentation to minimize the overhead for collecting coverage data. Additionally, Javelina allows the application of logical operations to code coverage data.
The Perl/Tk libraries provide an object oriented graphical user interface for Perl. These
apps, libraries and widgets should work with any system that supports the X Window
System and recent versions of Perl.
The text editor for the frantic developer. Uncommon features in a common, cross-platform (unix, win32) setting. Written in tcl/tk, tease offers basic encryption, fast commenting/uncommenting, search/replace including regexp, unlimited undo/redo & more.
Xconq is an engine for turn-based strategy games. Variety of game genres run under Xconq: historical, sci-fi, fantasy, and modern. AIs. Network games. Multiple UIs and platforms. Easy-to-learn game design language. Large games library available
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)