Showing 22 open source projects for "software auth program"

View related business solutions
  • Paessler - Monitor Your Whole Network in Minutes Icon
    Paessler - Monitor Your Whole Network in Minutes

    Auto-discovery finds your devices and deploys pre-configured sensors instantly. No project plan required, just visibility from day one.

    Waiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.
    Start Free 30-Day Trial
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put 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.
    Start Free
  • 1
    JAGS is Just Another Gibbs Sampler. It is a program for the statistical analysis of Bayesian hierarchical models by Markov Chain Monte Carlo.
    Leader badge
    Downloads: 3,454 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    K3DSurf
    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). ...
    Downloads: 14 This Week
    Last Update:
    See Project
  • 4
    Fantasy Land Specification

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Save Up to 91% on Cloud Compute With Spot VMs Icon
    Save Up to 91% on Cloud Compute With Spot VMs

    Automatic sustained-use discounts. One free VM per month. No negotiation needed.

    Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
    Start Free
  • 5

    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*...
    Leader badge
    Downloads: 387 This Week
    Last Update:
    See Project
  • 6
    JMCAD - modeling of dynamic systems
    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.
    Leader badge
    Downloads: 4 This Week
    Last Update:
    See Project
  • 7
    mapgraph

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Start Free
  • 10
    Hilbert II - QEDEQ

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Compilation of Physics Calculators

    Compilation of Physics Calculators

    A compliation of Physics derived claculators

    A NEW GUI VERSION WILL BE RELEASED SOON! Thank you for visiting the Physics Calculator, provided by PIezoSystems Inc., please visit their company website at https://piezosystems.org. For other downloads, please visit our github page, https://github.com/PiezoSystems. We hope that you find this program useful and easy to use, for troubleshooting, please email us, contact@piezosystems.org. If any bugs were found, please email us at bugs@piezosystems.org.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13

    Galois sub-hierarchy builder

    Visualize Galois sub-hierarchy of 2d matrix

    ..."Performances of Galois Sub-hierarchy-building algorithms" by Gabriela Arevalo, Anne Berry, Marianne Huchard, Guillaume Perrot and Alain Sigayret In you're in need of other GSH algorithms or their realizations in C++, you might want to investigate a project called Galicia on sourceforge. This program is free software and is licensed under GNU General Public License as published by the Free Software Foundation. Only jre7 compliant at the moment.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    A simple program that solves linear equation systems. As of now only numerical coefficients are supported. The program is very simple and not suited for big matrices, since it uses laplace's method.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    This program generates customizable hyper-surfaces (multi-dimensional input and output) and samples data from them to be used further as benchmark for response surface modeling tasks or optimization algorithms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    PlexBench is a cross-platform, web-enabled, analysis tool that is driven by a scalable backpropagation feed-forward neural network. It uses embedded Perl for scripting and is written in the style of an in-process Component Object Model (COM) C++ program.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    PowerMath is a computer algebra system designed for all science. It has the ability, but not the limitation, to complete advanced or simple science and math problems. It runs from DOS but programmers are needed to program a GUI for the software.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    The simpliZia-program implements the simplex-algorithm and is designed to help students of Operations Research to understand and learn the algorithm. This is a german project, source and program are actually written in german.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Tiny Flash ActionScript Speed math program to train rapid multiplication and addition. Good for any age who wants to improve arithmetic and general maths skills. Quick mathematics is useful.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 20
    Lienzo is a gtk-Canvas and Lua program to work in geometry. Unlike others like Cinderella, Cabri, DrGeo, etc... this one focuses in algorithms, not in static figures. the lua interface allows to work with programable objects.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Edit equations right on the screen with your mouse, and never make a mistake. Guide the program through any complex algebraic manipulation, and let it handle the tedious details. Many other features!
    Downloads: 1 This Week
    Last Update:
    See Project
  • 22
    Multiprecision unsigned number template library (MUNTL). The program is intended for the organization of calculations with the big precision for unsigned numbers. Program is very fast because do not use any heap call (new, malloc etc.)
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next