23 projects for "operating system kernel" with 2 filters applied:

  • Stop Storing Third-Party Tokens in Your Database Icon
    Stop Storing Third-Party Tokens in Your Database

    Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.

    Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
    Try Auth0 for Free
  • $300 in Free Credit Towards Top Cloud Services Icon
    $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.
    Get Started
  • 1

    calc: C-style arbitrary precision system

    Calc: arbitrary precision C-like arithmetic & calculator

    Calc is arbitrary precision C-like arithmetic system that is a calculator, an algorithm prototyper and mathematical research tool. Calc comes with a rich set of builtin mathematical and programmatic functions.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    Archive of Formal Proofs

    Archive of Formal Proofs

    A collection of machine-checkend mathematical proofs

    The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    newLISP for BSDs, LINUX, MacOS X, SunOS and Win32: small, fast 350+ functions, a -C-, MySQL, PostgreSQL, SQLite, ODBC, TCP/IP, UDP, XML, Java interface, string processing, regular expressions , math, financial, statistical functions, Win32 DLL
    Downloads: 2 This Week
    Last Update:
    See Project
  • 4

    OpenAxiom: Scientific Computation System

    A system for computer algebra and symbolic mathematics

    OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences.
    Downloads: 3 This Week
    Last Update:
    See Project
  • Build Securely on AWS with Proven Frameworks Icon
    Build Securely on AWS with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
    Download Now
  • 5
    Tinger Calc

    Tinger Calc

    Tinger Calc is a powerful scientific calculator environment.

    Tinger Calc is a powerful scientific calculator environment. It supports elementary math ( +, -, *, /, ^), trigonometric functions (sin, sinh, asin, cos, cosh, acos, tan, tanh, atan), exponential functions (exp, ln, lg, sqrt), math constants (pi, e), system functions (exit, quit, print). The software support email: tingersoft@gmail.com.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 6

    Model Transformation Tools

    Bond-graph based modelling tools

    A set of tools for modelling dynamic physical systems using the bond-graph methodology and transforming these models into representations suitable for analysis, control and simulation. These tools use, and generate m files for, GNU Octave.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7
    Handles Hexahedral, Tetrahedral, Quadrilateral, and Triangle meshes. Lagrangian, Hierarchic, and Monomial finite elements. Interface to PETSc solvers, adaptive mesh refinement, and extreme portablility.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    System Stability Tester
    System Stability Tester is a multi platform open source clone of SuperPI and comes with a GUI and a CLI. It can be used for CPU and RAM burning, stressing and benchmarking.
    Downloads: 26 This Week
    Last Update:
    See Project
  • 9
    A library for fast computation of Gauss transforms in multiple dimensions, using the Improved Fast Gauss Transform and Approximate Nearest Neighbor searching. This library is useful for efficient Kernel Density Estimation (KDE) using a Gaussian kernel.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
    Start Free
  • 10
    Tcl n-dimensional array processor
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    A virtual appliance providing a WYSIWYG environment for doing mathematics (numerical and symbolic), plotting graphs, writing and drawing, in a typeset document that may be saved or exported to PDF.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    FrAid(FRactal AID) is an interface to Java, allowing it to proc. math. data(functions/equations). A compl. standalone system utilizing the FrAid prog. lang. is available(no need to be Java programmer to use it!). Use instead of Matlab. High res. graphics
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    The Periodic Tables Package is an advanced suite of applications for both Windows and Linux that allow chemists and students alike to use the Periodic Table on their computers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    The RooFit package provides a toolkit for modeling the expected numerical distributions of the results of a scientific experiment. Models created with RooFit can be used for fitting, visualization, and Monte Carlo studies.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    JOrrery simulates the motion of planets moving under gravity. It comes with a number of initial "scenarios" you can run, such as "The solar system", "Earth & Moon" etc. You can also add more planets during a simulation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    GiANT is a graphical interface for computer algebra systems (OS X/UNIX/Win). Currently GiANT lets the user work with number fields via KASH, but we aim to develop it into a GUI Library to run on top of any CAS and expose any of its functions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    This library is a Fortran 95 gnuplot interface for some Unix like OS'es. This provides some routines that enables direct access of a child gnuplot session from a Fortran 95 program. You will need a copy of fortranposix to make this work.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 18
    Can calculate mathematical expression. It have a module system witch make it very easy to add own functions. Other features are a graph painter and a tiny programming language designed too make it easy too write small mathematical tools.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Framework for blockstructured adaptive finite volume methods. Provides MPI-parallelized variant of the Berger-Oliger AMR algorithm for Beowulf-clusters. Uses Clawpack. Visualization and conversion tools for HDF4 files included.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    The goal of Operation Project X is to crack the 2048-bit RSA private encryption key Microsoft uses to sign Xbox media, by using distributed computing. This key could be used by Xbox owners to run homebrew code on their machines.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 21
    FastGEO is a computational geometry library written in the object pascal language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Ytk is a Tcl/Tk program which adds menus, buttons and features to the basic command line driven Yorick program and language. It also enables usage of all Tcl/Tk widgets and functions including buttons, sliders, checkboxes, and other typical TK widgets to
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB