Search Results for "software auth program"
Sort By:
Showing 39 open source projects for "software auth program"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
1
JAGS is Just Another Gibbs Sampler. It is a program for the statistical analysis of Bayesian hierarchical models by Markov Chain Monte Carlo.
-
2
Disposition
Program to generate permutations and combinations
C Library designed to generate in sequence permutations or combinations (possible orderings or subsets) of objects, with or without repetition. To demonstrate the use of the library, a command-line program (disp) and a GTK graphical version (GDisp) are provided too, useful to teach combinatorics. -
3
MathMod
MathMod is a mathematical modeling software
MathMod is a portable interactive plotting and graphing program for Windows, Linux, MacOSX and many other platforms. MathMod allows to plot 3D mathematical surfaces, described by implicit or parametric equations, and offers a very large database of model samples that can be generated with it. It's Free and Open Source. Change-log for MathMod-13.0 (15/11/2025) 1) Scripts generator to add thickness to iso/parametric surfaces 2) Undo/Redo commands for navigating through previous... -
4
K3DSurf (now MathMod) is a program to visualize and manipulate Mathematical models in three, four, five and six dimensions. K3DSurf supports Parametric equations and Isosurfaces. ****** Welcome to the realm of complex numbers! Change-log for MathMod-11.1 (16/06/2021) 1) Support of graphing functions with complex numbers Z=u+iv in 3D and 4D spaces (demo scripts: "Complex3D_xx" and "Complex4D_Saddle") 2) Added support for HSV (hue, saturation, brightness) coloring model (script: "Complex_Domain_Coloring") 3) Texture definitions (RGB and HSV) for parametric surfaces can now be expressed as functions of complex numbers 4) Added a software implementation for the OpenGL variable gl_FrontFacing (fixed an issue with GPU drivers on MacOSX Catalina). ...
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
5
Fantasy Land Specification
Specification for interoperability of JavaScript algebraic structures
This project specifies interoperability of common algebraic structures like Setoid, Ord, Semigroupoid, Category, Semigroup, Monoid, Group, Filterable, Functor, Contravariant, Apply, Applicative, etc. An algebra is a set of values, a set of operators that it is closed under and some laws it must obey. Each Fantasy Land algebra is a separate specification. An algebra may have dependencies on other algebras which must be implemented. "Value" is any JavaScript value, including any which have the... -
6
TopDeg
Program for topological degree calculation.
The program calculates the degree deg(f,B,0) where B is a product of n nontrivial intervals in R^n and f is a continuous function from B to R^n. The algorithm is described in the following paper: http://www.ams.org/journals/mcom/2015-84-293/S0025-5718-2014-02877-9/ -
7
NeuroNet
Neural network program. Creates and trains neural networks, shows data
Neural network program. Creates and trains neural networks, shows data. -
8
Konbu Check
Linear constraint feasibility check and get program.
This program aims to check and gain a inner point from multiple set of linear constraints. This software works better in the case that range of variables are known and parameters are configured so. C++ and Eigen library needed, and to calculate more accurate, we may need mpfr++ library or, QD library. Freezed. -
9
FB Chart Designer
Create multi-degree polynominals charts. Designed in FbEdit & WinAPI.
This program allows to draw diagrams with chart library, that can be used with dialog applications, based on the RC files designers (such as FbEdit for example). This is the one of the fastest way to create window application with visual design methods, and implement into it an ellegant and flexible chart, that can be choosen from four different diagram kinds (if you edit code and use it in your projects). The source code chart library by Lothar Schirm is based on the consolidated... -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
CCruncher
Open-Source Project for Credit Risk Modeling
CCruncher is a project for quantifying portfolio credit risk using the copula approach. It is a framework consisting of two elements: a technical document that explains the theory, and a software program that implements it. CCruncher evaluates the portfolio credit risk by sampling the portfolio loss distribution and computing the Expected Loss (EL), Value at Risk (VaR) and Expected Shortfall (ES) statistics. The portfolio losses are obtained simulating the default times of obligors and simulating the EADs and LGDs of their assets. -
11
maps2dfx
A C++ program for plotting functions f=f(x).
-
12
Command line FFT
A simple command line utility to produce an FFT/IFFT of ASCII data
Ever had a bunch of ASCII data that you would like to have a quick look at in frequency domain, but don't want to fire up some bulky analysis software package just for that? Well, I have... So I wrote this tiny tool. It is based on fftw (www.fftw.org) and boost's program options (boost.org). cli-fft is really simple: All it does is to receive ASCII data from a file or standard in, FFT it and write out the result into a file or to standard out. -
13
TILP - TI Linking Program
TI graphing calculators <-> computer communication software
TILP (formerly GtkTiLink) can transfer data between Texas Instruments graphing calculators and a computer. It works with all link cables (parallel, serial, Black/Gray/Silver/Direct Link) and it supports the TI-Z80 series (73..86), the TI-eZ80 series (83PCE, 84+CE), the TI-68k series (89, 92, 92+, V200, 89T) and the Nspire series (Nspire Clickpad / Touchpad / CX, both CAS and non-CAS). The project is now managed on Github, https://github.com/debrouxl/tilp_and_gfm . It uses the libti*... -
14
JMCAD is an program for the modeling and simulation of complex dynamic systems. This includes the ability to construct and simulate block diagrams. The visual block diagram interface offers a simple method for constructing, modifying and maintaining complex system models. The simulation engine provides fast and accurate solutions for linear, nonlinear, continuous time, discrete time, time varying and hybrid system designs.
-
15
Diagonal
A command line toolki to solve a problem your favorite program defines
Diagonal can be used for: - getting descriptive statistics such as mean/median/mode with your program producing a sample - finding a root of an equation your program defines - calculating a fixed point of a function your program defines - detecting a cycle of a fuction your program defines as well as - decoding a VCDIFF file -
16
Large Number Arithmetic
Addition, Subtraction & Multiplication for large integral numbers
This software executes addition, subtraction & multiplication for large integral numbers. You have the option to execute the program using as many numbers as you wish. The numbers can be as large as you wish ... the only restictrion is your computer's RAM space. -
17
mapgraph
Massively Parallel Graph processing on GPUs -- now part of Blazegraph
...This work was (partially) funded by the DARPA XDATA program under AFRL Contract #FA8750-13-C-0002 and DARPA Contract #D14PC00029. -
18
msp
mathSuite Speed & Matrix Stream Processor
This program is fundamentally a short-sized version of my mathSuite program: https://sourceforge.net/projects/mathsuite/ It includes all the functionalities of MSCenv (mathSuite Calculus Environment), such as inline variables and functions (mainly thanks to ExprEval), which you can use to perform expensive complex computations and store their results into runtime variables. You can perform also every Linear Algebra Operations included in mathSuite with new optimizations. -
19
PhEq_bootstrap
FDA's f2 computation with bootstrap technique
...The algorithm provides possible “worst case scenario” of f2 values, thus supporting claim about pharmaceutical equivalence. The target users are researchers from industry and academia dealing with pharmaceutical equivalence problem. The software is Open Source. It was developed in Lazarus environment, therefore source code is available in ObjectPascal. -
20
pyL1min
General purpose norm-1 minimization solver in Python
...It is based on NumPy/SciPy, CVXOPT ( FFTW enabled) to solve l1 minimization problems that are based on interior point methods. You need to install Python, NumPy/SciPy and CVXOPT ( FFTW enabled) to use this software. The test.py program demonstrates a simple application in Compressive Sensing and shows how to use l1min module. You need to install matplotlib to plot diagrams. Note: pyL1min can handle complex as well as real vectors. -
21
ExactCalc
Software for exact computing based on interval arithmetic.
1/3 is not 0.33. Pi is not 3.14. Actually 1/3 is in interval [0.33, 0.34] and pi is in interval [3.14, 3.15]. During computation truncating error is accumulating. At end of computation it is needed to know real boundaries of result. The solution is given by interval arithmetic. Simply speaking, because 1/3 is in interval [0.33, 0.34] and 1/7 is in interval [0.14, 0.15], value 1/3 - 1/7 must be in [0.18, 0.2]. Computation can be arbitrary long and complex but interval arithmetic gives... -
22
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started. -
23
allink
Software for data analysis, image processing, simulations, solver.
Collection of utilities based on two basics classes: Matematica and VarData. Matematica) performs math operations on vectors and matrices for smoothing, interpolation, convolution, image processing... VarData) manipulate a structure of points connected by links. Addraw) openGL engine. ElPoly) analyze mechanical properties of polymer and membrane like structures. Addyn) perform molecular dynamics and Monte Carlo simulations and has a solver for 4th oder PDE. Avvis) perform all the... -
24
QMC Logic Minimizer
combinational logic functions minimization
QMC Logic Minimizer is a versatile application for fast simplifying truth and reduce lines tables. This program offers a comfortable user interface for generating and minimizing of the combinational logic functions. It is unique for its possibility of minimizing several functions at the same time. This program is intended for practical digital devices constructors as well as formal scholars and academics. Features: - You can minimize up to 16 input variables and up to 16 output... -
25
The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.
