Instantly find out if your data has been exposed on dark web forums, black market, leak sites, or Telegram channels.
With SOCRadar Labs’s Dark Web Report, instantly find out if your data has been exposed on dark web forums, black market, leak sites, or Telegram channels. SOCRadar gives you instant access to the dark web findings of your organization assets in the Free Dark Web Report. Don’t be intimidated by what you see in our free Dark Web report! You can use SOCRadar for free for 1 year and get relevant intelligence that will keep you one step ahead of threat actors.
Learn More
Our Free Plans just got better! | Auth0 by Okta
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 secuirty. Auth0 now, thank yourself later.
rutc is a calculator and expression solver for real and complex numbers. Besides the usual mathematical operations, it also offers user-defined functions, a statistical mode, input and output in several bases and also a linear equation solver.
Secure remote access solution to your private network, in the cloud or on-prem.
Deliver secure remote access with OpenVPN.
OpenVPN is here to bring simple, flexible, and cost-effective secure remote access to companies of all sizes, regardless of where their resources are located.
During a course at University "La Sapienza" in Rome I developed a fully working SAT solver based on unit propagation and backtracking; it can read DIMACS files and process cnf formulas of any length(there are no restrictions on the number of literals).
A C++ Matrix/Vector Class supporting real & complex data for nearly all matrix algebra calculations. Optimized for double & std::complex<double>. Small and large matrices. Easy to use & get started. Plotting, fast inversion, FFT/IFFT, statistics, & more
Monitor the status and performance of any IT environment with NMIS
NMIS monitors an organization’s IT environment, helps identify and rectify faults, and provides valuable information for IT planning.
Trusted by thousands of IT teams worldwide, The NMIS platform offers comprehensive network management, handling faults, performance, and configurations with ease.
GtkPlot is a graphical front-end for Gnuplot, based on gtk+. Features: 2D/3D plotting (parametric as well), labelling, axes management, and much more... Please consider shifting to the pyGtkPlot project: https://launchpad.net/pygtkplot
Many computational problems need arithmetic operations in polynomial finite rings over Z/nZ, where n is an integer (n>1). This library provides efficient operations for applications such as integer factorization and primality testing.
Sparrow is a C library for implementing real-time controllers on Linux-based data acquisition & control systems, including real-time display of data. Additional libraries for standard & advanced control functions (PID, RHC, EKF, NCS) are also availab
This is an opensource project for the calculation of the mathematical constant Pi. If you are a mathematician or programer please contribute ideas or code for this project. Non professionals are also welcome to contribute.
ExprEval pre-3.0 is a C based expression evaluation library. ExprEval 3.0 and later is a C++ based expression evaluation library. Features: 1. POEM - Parse once, evaluate many 2. Direct variable access 3. Support for custom functions 4. Seperate func/var
Research code for continuous 3D medial modeling targeted towards anatomical objects. Includes an OpenGL viewer and individual and population-based model fitting tools.
The XMLToolbox brings support for loading/saving XML files within GNU Octave. Two different formats are supported, the loading/saving of generic XML and a format compatible to the GEODISE XMLToolbox (http://www.geodise.org).
A program that analyzes info about an automotive engine, and wanted power increase in horsepower and the program helps give the user a possible turbocharger that satisfies the requirements.
Triangle mesh tool and library. Primary features include generation from mathmatical equation, decimation or edge reduction, clipping, and interactive viewer.
libidp is a C library implementation of the iterative dynamic programming (IDP) optimal control algorithm, which solves the optimal control problem for ODE and DAE dynamic equation models. An example problem is included.