13 projects for "system linux" with 2 filters applied:

  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB 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.
    Start Free
  • Cut Data Warehouse Costs by 54% Icon
    Cut Data Warehouse Costs by 54%

    Easily migrate from Snowflake, Redshift, or Databricks with free tools.

    BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
    Try Free
  • 1
    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: 87 This Week
    Last Update:
    See Project
  • 2
    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: 4 This Week
    Last Update:
    See Project
  • 3
    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: 2 This Week
    Last Update:
    See Project
  • 4
    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: 188 This Week
    Last Update:
    See Project
  • Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure Icon
    Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure

    Native application identity and user-based security for your Azure cloud

    Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
    Get a free trial
  • 5

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

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

    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
  • 8
    A simple matrix and vector library. It contain basic matrix and vector operations, linear and non-linear system solvers, gauss integrator, and others.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Torch5 provides a matlab-like environment for state-of-the-art machine learning algorithms. It is easy to use and provides a very efficient implementation, thanks to a easy and fast scripting language (Lua) and a underlying C++ implementation.
    Downloads: 2 This Week
    Last Update:
    See Project
  • Secure File Transfer for Windows with Cerberus by Redwood Icon
    Secure File Transfer for Windows with Cerberus by Redwood

    Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.

    Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
    Try for Free
  • 10
    fast powerful CALC
    The fast powerful CALC is a desktop scientific calculator, still is under development and tests. The objective is offer a good and easy to use mathematical tool. I hope you enjoy it.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 11
    A handle graphics package for Octave, the Free alternative to matlab. OctPlot provides quality postscript(TM) and screen graphics.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    GNU TeXmacs
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    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
  • Previous
  • You're on page 1
  • Next
Auth0 Logo