Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure
Native application identity and user-based security for your Azure cloud
Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
Get a free trial
Our Free Plans just got better! | Auth0
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.
Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/
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
Numerical Resolution of the Inverse Problem for Chromatography using Evolutionary Algorithms and
Adaptive Multiresolution.
The goal is to identify the multicomponent equilibrium isotherm from experimental chromatograms.
libhdlfltp is a VHDL library of floating point operators, all of which are parametrized, synthesizable to FPGAs and cover a number of the core operators in math.h.
Compliant and Reliable File Transfers Backed by Top Security Certifications
Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.
Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
UDA stands for Universal Descriptive Algebra. It consists of a Java package handling universal algebras and relational structures as description systems.
RAGE (Random Variate Generator) is a graphical tool for unidimensional discrete distributions. RAGE generates random values and simulates various discrete distributions by using different algorithms.
A Python IDE optimized for scripting and easy access to documentation.
Not a whole lab, just a small bench !
**Feel free to contact me via https://sourceforge.net/sendmessage.php?touser=1865508 if you want to take over this project**
Mathbench is intended for the development of short scripts such as those daily used when doing research in applied mathematics and physics. Simple widgets and a strong plugin system make it useful and extensible.
ANNOUCEMENT:
Mathbench's purpose is still relevant and could also benefit from the latest improvements of...
l3lang is a persistent Python-like language and the l3gui provides a
worksheet-like interface where computed values can be examined via
simple selection and scripts can be assembled as structures.
Oxtor's math draw is a program for drawing graphs mathematicians, starting with the mathematical function,it is written in Java,supported oper is:+-*/()^root log sin cos tan asin acos atan ln. Constant: e and P e = the basis of natural logarithms P = PI
Genijatorics is a library providing solutions to enumerative combinatorial problems. The most prominent example of its use is for generating events in specified date range from CRON-like descriptions. It also serves for educational purposes.
GENIAL is a C++ library for signal and image processing. It uses template-generic techniques, multi threading, cache optimization and SIMD instructions for Pentium (MMX, SSE, SSE2, SSE3) to achieve high performance: FFT,DCT,Convolution,Linear Algebra...
TekMath is a java/swing-based viewer for the Math Markup Language (MathML) that can be easily embedded in custom java applications. It supports both content and presentation markup languages, and depends on no external packages beyond the java runtime.
A math library for GMP. This library use the cmath as model and overloaded the principal math functions (sin, cos, tan, log... ). So, this make easy the development of generic programs.
Are you always tired of searching the Windows calculator from some weird location from you PC? Zinuc is a web only, very simple, but powerful calculator. You don't have to download anything to use it. Check out the web pages to find out more.
A topological data structure to handle 2D simplicial meshes (using the Morse operators published by authors). This data structure is implemented using C++ and it is based on the classical Half-Edge. This code started in 2002 and it has been used in many
Ceme Evaluates Math Expressions. Ceme is a free math expression parser library written in C# supporting various operators and functions. It also has the option of adding your own functions. A wrapper DLL is provided for non .NET applications.