194 projects for "operating systems" with 2 filters applied:

  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    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.
    Start Free Trial
  • 1
    gnuplot

    gnuplot

    A portable, multi-platform, command-line driven graphing utility

    A famous scientific plotting package, features include 2D and 3D plotting, a huge number of output formats, interactive input or script-driven options, and a large set of scripted examples.
    Leader badge
    Downloads: 3,648 This Week
    Last Update:
    See Project
  • 2
    Armadillo

    Armadillo

    fast C++ library for linear algebra & scientific computing

    * Fast C++ library for linear algebra (matrix maths) and scientific computing * Easy to use functions and syntax, deliberately similar to Matlab / Octave * Uses template meta-programming techniques to increase efficiency * Provides user-friendly wrappers for OpenBLAS, Intel MKL, LAPACK, ATLAS, ARPACK, SuperLU and FFTW libraries * Useful for machine learning, pattern recognition, signal processing, bioinformatics, statistics, finance, etc. * Downloads:...
    Leader badge
    Downloads: 2,813 This Week
    Last Update:
    See Project
  • 3
    Mobile Open-Source Software and Tools

    Mobile Open-Source Software and Tools

    Android, UIQ 3.0, Series 60 Edition 5 open-source software

    Android, Symbian UIQ 3.0 and Symbian Series 60 Edition 5 open-source software, tools, libraries and themes. Most notable the FX-602P / FX-603P Simulator and the HP-45 Emulator are hosted here.
    Leader badge
    Downloads: 27 This Week
    Last Update:
    See Project
  • 4
    Agena

    Agena

    Agena is an interpreted procedural programming language.

    Agena is an easy-to-learn procedural programming language designed for science, scripting, and many other applications. Binaries are available for Windows, Linux, Solaris, OS/2, Mac OS X, Raspberry Pi and DOS.
    Leader badge
    Downloads: 106 This Week
    Last Update:
    See Project
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Try It Free
  • 5
    Interval arithmetic for Ada

    Interval arithmetic for Ada

    An implementation of interval arithmetic

    The library provides an implementation of intervals for Ada. It includes arithmetic and relational operations. The library supports intervals with integer and floating-point bounds. Dimensioned intervals are also supported
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Bandicoot

    Bandicoot

    fast C++ library for GPU linear algebra & scientific computing

    * Fast GPU linear algebra library (matrix maths) for the C++ language, aiming towards a good balance between speed and ease of use * Provides high-level syntax and functionality deliberately similar to Matlab * Provides an API that is aiming to be compatible with Armadillo for easy transition between CPU and GPU linear algebra code * Useful for algorithm development directly in C++, or quick conversion of research code into production environments * Distributed under the permissive...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 7
    Minsky

    Minsky

    System dynamics program with additional features for economics

    Minsky brings system dynamics and monetary modelling to economics. Models are defined using flowcharts on a drawing canvas (as are Matlab's Simulink, Vensim, Stella, etc). Minsky's unique feature is the "Godley Table", which uses double entry bookkeeping to generate stock-flow consistent models of financial flows. Minsky is good for demonstrating mathematics too, with the most "math-like" interface in system dynamics. Sign up to Minsky's Patreon page (for as little as $1 a month) at...
    Leader badge
    Downloads: 22 This Week
    Last Update:
    See Project
  • 8
    CRC RevEng

    CRC RevEng

    Arbitrary-precision CRC calculator and algorithm finder

    CRC RevEng is a portable, arbitrary-precision CRC calculator and algorithm finder. It calculates CRCs using any of the 113 preset algorithms, or a user-specified algorithm to any width. It calculates reversed CRCs to give the bit pattern that produces a desired forward CRC. CRC RevEng also reverse-engineers any CRC algorithm from sufficient correctly formatted message-CRC pairs and optional known parameters. It comprises powerful input interpretation options. Compliant with Ross Williams'...
    Leader badge
    Downloads: 137 This Week
    Last Update:
    See Project
  • 9

    zkcm

    A C++ library for multiprecision complex-number matrix calculations.

    zkcm library is a C++ library for multi-precision complex-number matrix calculations. It provides a number of functionalities including the LU decomposition, the singular value decomposition, tensor product calculation, tracing-out operations, etc.
    Downloads: 2 This Week
    Last Update:
    See Project
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 10
    REDUCE

    REDUCE

    A Portable General-Purpose Computer Algebra System

    ...Since then, many scientists from all over the world have contributed to its development. REDUCE has a long and distinguished place in the history of computer algebra systems. Other systems that address some of the same issues but sometimes with rather different emphasis are Axiom, Derive, Macsyma (Maxima), Maple, Mathematica and MuPAD. REDUCE primarily runs on either Portable Standard Lisp (PSL) or Codemist Standard Lisp (CSL), both of which are included in the SourceForge distribution. By modern standards, REDUCE is a surprisingly small and compact application, which runs well on all major operating systems.
    Leader badge
    Downloads: 142 This Week
    Last Update:
    See Project
  • 11

    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: 6 This Week
    Last Update:
    See Project
  • 12
    SPINA

    SPINA

    Structure parameter inference approach for endocrine feedback control

    SPINA is software for the rapid, reliable and accurate determination of constant structure parameters of endocrine feedback control systems. It is a class of static function tests that require nothing more than steady-state concentrations of hormones or metabolites obtained in vivo. The first version of this cybernetic approach had been developed for the evaluation of the functional status of the thyroid gland, i.e. thyroid's secretory capacity (gain of thyroid, GT or SPINA-GT) and sum...
    Leader badge
    Downloads: 9 This Week
    Last Update:
    See Project
  • 13
    schur

    schur

    Interactive Program For Calculating Properties Of Symmetric Functions

    Schur is a standalone program for interactively calculating properties of Lie groups and symmetric functions. Schur has been designed to answer questions of relevance to a wide range of problems of interest to chemists, mathematicians, computer scientists,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    GluCat: Clifford algebra templates

    GluCat: Clifford algebra templates

    Calculation with Clifford algebras: C++ library and Python module

    GluCat is a generic library of C++ templates that implement universal Clifford algebras over the field of real numbers. The PyClical extension module for Python gives users an easy Python scripting interface for calculations in Clifford algebras. The name PyClical is an homage to Pertti Lounesto's CLICAL.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    General Number Field Sieve implementation
    Downloads: 3 This Week
    Last Update:
    See Project
  • 16
    MaxFEM

    MaxFEM

    Software for electromagnetic simulation

    MaxFem is an open software package for electromagnetic simulation by using finite element methods. The package can solve problems in electrostatics, direct current, magnetostatics and eddy-currents. Since version 0.4.0, MaxFEM requires Python 3. We have moved the installers to the MaxFEM website (see below). In order to improve MaxFEM, we will require you to fill out a simple form before downloading them.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 17
    Symja Java Computer Algebra

    Symja Java Computer Algebra

    Symja - Java computer algebra language & symbolic math library

    Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library. The Android App can be found at: https://github.com/axkr/symja-example
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18
    Funiter (FUNction ITERation) is developed for educational purposes, generating graphs of several types for iteration of real and complex functions with comfortable switching between related types of graphs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Approximator is program for experimental data approximation and interpolation (20 dependencies for select). Graphical charts. Export to Gnumeric/OpenOffice Calc/Microsoft Excel. Multi-language interface.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 20
    GeomSpace

    GeomSpace

    Interactive geometry software for Euclidean and non-Euclidean spaces

    GeomSpace is interactive geometry software for different geometric spaces. You can build your own universe of any dimension and with any geometry. You can choose Euclidean, elliptic, hyperbolic, Galilean, Minkowskii, de Sitter among other spaces.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Perl Data Language
    The PDL module gives standard perl the ability to COMPACTLY store and SPEEDILY manipulate the large N-dimensional data sets that are the bread and butter of scientific computing.
    Downloads: 13 This Week
    Last Update:
    See Project
  • 22
    OFELI
    OFELI (Object Finite Element LIbrary) is a library of finite element C++ classes for multipurpose development of finite element software. It is intended for teaching, research and industrial developments as well.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    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: 1 This Week
    Last Update:
    See Project
  • 24
    Geophysical Library is a C++-library to handle geophysical data. At the moment the focus is on magnetotelluric and seismic data. It also includes a genetic algorithm for data inversion, signal processing and statistics routines.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    APBS

    APBS

    Biomolecular electrostatics software

    This software has moved to http://www.poissonboltzmann.org/.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next
Auth0 Logo