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
$300 in Free Credit Towards Top Cloud Services
Build VMs, containers, AI, databases, storage—all in one place.
Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
Franklin Math is an open source Java symbolic computer algebra system (CAS), with similarities to commercial math packages such as MATLAB or Mathematica. It allows numeric and symbolic calculations, with built-in functions including plotting commands.
KEManager models Knowledge Based Systems following a methodological approach ( Knowledge Engineering) for academical purposes of CommonKADS and IDEAL. It supports the viability test, some knowledge acquisition techniques and conceptual modeling.
A free compiler for the algo language used to describe and implement algorithms in EPITA, a French softwareengineering school. See (FR) http://nathalie.bouquet.free.fr/epita/algo/langage/structure.php for a detailed grammar description.
The MuDiSP3 is a set of C++ classes acting as a framework for the execution of Digital Signal Processing (DSP) simulations. The entire simulated system is represented by a "System" class which inherits his properties from a general purpose DSP. The user c
Provides: A tool collection for array orientated programming under Linux and Unix operating systems.
Main subjects: Handling text- and numeric arrays, mainly stored in shell variables.
Furtheron, some useful arithmetic solutions will be provided.
The OSA-CBM test bench is a simple user interface written in Javascript that developers can use to test and otherwise view results from an OSA-CBM (an open source condition-based maintenance standard) implementation.
Zen Worlds is an object oriented C++ virtual worlds / MMO game engine framework. This project includes Zen Engine game engine client, Zen Enterprise, an Enterprise Service Bus, and a C++ Application Server, and Zen Studio, a game development IDE.
The main goal of this project is the development of an IFX Transaction Switch that handle particular devices like an ATM (J/XFS compliant), POS in the future, and other devices that speak a common language: IFX
Streamline Azure Security with Palo Alto Networks VM-Series
Centrally manage physical and virtualized firewalls with Panorama
Improve your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
Project that will provide implementations in Java's Micro Edition (J2ME) platform of algorithms on strings, for exact/inexact matching, similarity distances, among others.
snavtofamix is part of FETCH (http://www.lore.ua.ac.be/Research/Artefacts/fetch/), transforming C++ and Java source code facts parsed by Source Navigator into a FAMIX CDIF model for usage in reverse engineering environments.
The Boundalyzer is a tool for building and analyzing boundary specifications for software artifacts, inspired by the Black Box Specification of Harlan Mills, which is also one element of the Cleanroom SoftwareEngineering process.
Articulated Robot Human interface (Articulated Robot humaN InterfacE)
System designed in order to control remote devices (aka: Articulated robotic devices), using mainly joystick-type devices as input method
A LGPL library to handle xml documents in a DOM-like style. It's designed for LOW-performance systems (like embedded ones) and for lightly handle very large documents, automatically speeding up memory management in a user tunable style.
A C++ utility library featuring a javascript interpreter, regular expressions, automatic arrays, garbage collection, matrix handling, planar geometry (regions etc) and other useful features. Blends well with STL code.
This project documents the development of a suite of ns2 grid network simulators that was done as part of the EC-GIN project. The aim is to refine and develop these simulators to provide input to the larger ns2 and grid simulation community.
This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.
Contains various algorithms that maps short reads produced from Illumina (Solexa) Genome Analyzer, or Applied Biosystems' SOLiD System, to a reference sequence or a set of reference sequences.
Auxiliary tools for Boost uBLAS library. Has several strategy-driven functors for:
1) random-generating of vectors & matrices
2) Nice & suitable stream output of them
3) Equality-compare capacibility for vectors and matrices and approximate comparing.
Software tools for building interactive information visualization applications. Prefuse supports a rich set of features for data modeling, visualization, animation, and interaction for both Java (prefuse) and Flash (prefuse flare).