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
Train ML Models With SQL You Already Know
BigQuery automates data prep, analysis, and predictions with built-in AI assistance.
Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.
Simple tool to parse the contents of /proc or /sys entries and graph their values. An oscillosope for software types. Intended for developers, admins or the curious to understand the performance and behaviour of their systems.
This Project Aims To Port Various Open Source Software Onto Stratus Open VOS Architecture. Please Refer The Following URLs For More Information On The Architecture. http://www.stratus.com http://www.openvos.com
This is an Open Sourced BASIC interpreter environment using PostgreSQL. It is focused on (1) Simple to program, (2) Powerful database statements, (3) UNIX shell friendly, (4) Business focused, (5) "Function" over "speed". This is *not* another VB implementation. Extensive language documentation is available.
This is a simple command line tool to customize CP2103 USB to UART bridge controllers in home-grown hardware. VID, PID, product name string, serial number string, and release version of the device can be changed next to GPIO port modes.
DKU is an embedded parallel language, or "piggy-back" language that uses function calls to invoke the language's execution model. It tunes task-size to the hardware while hiding hardware details for high performance portability of parallel code.
GNUexp is a GNUstep/Cocoa framework and a collection of tools helping you to plan, develop, and administer applications associated with visual psychophysics, experimental psychology and statistical data analysis.
UGL is Java to OpenGL adapter library: designed to be used in scientific applications; works on wide range of host systems: Windows, Linux, Solaris, AIX, IRIX, HP-UX and Mac OS X; supports Java from 1.1.8 to 1.6
TestDevCom is a collection of simple yet powerful test development tools designed for testers who are looking for quick, easy, modular solutions to test automation, but don't really have the time, knowledge, or inclination to build the tools themselves.
A fully customizable, extensible, scalable computational engine pluggable with various statistical and mathematical engines (R, Matlab, Octave, scilab...) The main focus and datatype considered is timeseries: the project contains also a portable and effi
K-OS is an open-source realtime-operating-system based on the OSEK/VDX standard aimed at compiler and microcontroller independence. Currently we support Motorola (Freescale) HC12/HCS12/HCS12X targets.
Palex is a two-stage biological sequence searching system. Library will contain functions for searching patterns, palindromes and structures in DNA sequence.
CthughaNix is the reincarnation of Cthugha-L, a Linux port of one of the first audio visualization software packages, known as "An Oscilloscope On Acid".
Search and export numerics from any text/ascii file. Data sets (scalar, vector, matrix) are given unique names, based on file content. Results can be generated for Matlab, IDL, Scilab, Octave, XML, HTML A wrapper exists for direct usage from Matlab.