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

  • Earn up to 16% annual interest with Nexo. Icon
    Earn up to 16% annual interest with Nexo.

    Access competitive interest rates on your digital assets.

    Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
    Get started with Nexo.
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 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: 4,473 This Week
    Last Update:
    See Project
  • 2

    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
  • 3
    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: 42 This Week
    Last Update:
    See Project
  • 4
    REDUCE

    REDUCE

    A Portable General-Purpose Computer Algebra System

    REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. It can be used interactively for simple calculations but also provides a flexible and expressive user programming language. The development of the REDUCE computer algebra system was started in the 1960s by Anthony C. Hearn. Since then, many scientists from all over the world have contributed to its development.
    Leader badge
    Downloads: 219 This Week
    Last Update:
    See Project
  • 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
  • 5
    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
  • 6
    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: 5 This Week
    Last Update:
    See Project
  • 7
    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
  • 8
    CLISP - an ANSI Common Lisp
    CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
    Leader badge
    Downloads: 313 This Week
    Last Update:
    See Project
  • 9
    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
  • Add Two Lines of Code. Get Full APM. Icon
    Add Two Lines of Code. Get Full APM.

    AppSignal installs in minutes and auto-configures dashboards, alerts, and error tracking.

    Works out of the box for Rails, Django, Express, Phoenix, and more. Monitoring exceptions and performance in no time.
    Start Free
  • 10

    SODE

    Program to solve differential equations using long Taylor series

    Program to generate a program to numerically solve either a single ordinary differential equation or a system of them.It is a Ruby program, now called omnisode, which generates either Ruby, C, C++, Maple or Maxima code. Code can be generated for all languages under Linux. Ruby can be generated under Windows. All can be generated under cygwin, but would need work on execution of Maple. Omnisode itself is Ruby, which is needed in all cases to generate the program.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 11

    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
  • 12
    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
  • 13

    Kontinuum Calculator

    Calculate various aspects of the Kontinuum RPG system.

    Kontinuum is a calculator program that enables the user to calculate all probabilistic aspects of the Kontinuum RPG system, especially the dice rules.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    LightCAS

    LightCAS is very lightweigth Computer Algebra System

    LightCAS is lightweight Computer Algebra System. Its size is less that 50K of compiled code. LightCAS can parse, display, evaluate and simplify mathematical expressions. It can also compute derivatives, find solutions of one or second order expressions, solve systems of equations, compute Taylor series. Its code is intended to be full configurable for most applications.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15

    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
  • 16

    Curvilinear and Rectilinear Motions

    Simple physics simulation of Curvilinear and Rectilinear Motions

    ...This program can be used for educational purposes as well as for any other purpose anyone would like. The executable file is a .jar files which means that it can run in any operating system that supports java. Above you can see a screenshot of the program while it is operating.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    San Le's Free Finite Element Analysis
    SLFFEA stands for San Le's Free Finite Element Analysis. It is a package of scientific software and graphical user interfaces for use in finite element analysis. It is written in ANSI C by San Le and distributed under the terms of the GNU license.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    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
  • 19
    PTools is a set of useful tools written in Pascal. It includes: scientific calculator, archiver, text editor, remote adminitration and more. It is designed to be portable across operating systems, specially Java-based mobiles, Windows and Unixes.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 20
    Java Micro Benchmark (Desktop/Server)
    Java Micro Benchmark - control tasks required to determine the comparative performance characteristics of the computer system on different platforms. Can be used to determine the effect of different software on the performance of a computer system.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 21
    Math Bricks
    Lightweight modelling program in which you can create, try and adjust your control (not only) system. Kernel of this program is MBricks - cross-platform collection of bricks. Created in Math Bricks system can be implemented in one *.h file.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22

    Arabeyes

    A project to increase free Arabic fonts on Unix/Linux

    Arabeyes is a Meta project that is aimed at fully supporting the Arabic language in the Unix/Linux environment. It is designed to be a central location to standardize the Arabization process. Arabeyes relies on voluntary contributions.
    Leader badge
    Downloads: 162 This Week
    Last Update:
    See Project
  • 23
    [ Interestelar 1975 ]
    A Interactive Network VideoGame
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Specter - Abstract Arithmetics Library (AAL) is a library coded in native C which is able to do operations with numbers of virtually unlimited length. Specter is targeting mainly cryptography and big integer maths though.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    NoteLab is an advanced "digital notebook" specifically designed for tablet computers. With its stroke smoothing, antialiasing, and "smart rendering," NoteLab provides a beautiful and powerful note taking environment on any operating system.
    Downloads: 4 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • Next
MongoDB Logo MongoDB