17 projects for "computer aided software engineering" 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
  • One Monitoring Tool for IT, OT and Cloud | Free Trial Icon
    One Monitoring Tool for IT, OT and Cloud | Free Trial

    Vendor-agnostic monitoring across on-prem servers, cloud platforms and OT devices, all in one dashboard. No more tool sprawl.

    Modern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.
    Try PRTG Free
  • 1
    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: 3,940 This Week
    Last Update:
    See Project
  • 2
    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: 27 This Week
    Last Update:
    See Project
  • 3
    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: 3 This Week
    Last Update:
    See Project
  • 4

    capd

    Computer Assisted Proofs in Dynamics

    Dynamical Systems and Homology Software. The CAPD library is a collection of flexible C++ modules which are mainly designed to computation of homology of sets and maps and nonrigorous and validated numerics for dynamical systems.
    Downloads: 105 This Week
    Last Update:
    See Project
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Start Free
  • 5
    Axiom is a computer algebra system. It consists of an interpreter, a compiler and a library of algorithms. Axiom is an excellent research platform as well as a useful tool for scientific programming.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 6
    Super Math Man DEMO

    Super Math Man DEMO

    Arcade style educational game that teaches students how to count money

    This program offers a quick fun way for students to learn how to count money. The mini games are reminiscent of old school arcade games. The game was developed by a veteran teacher with a Masters degree in Education. Play the FREE DEMO first. If you like the game and it runs well on your PC, try the FULL version. The FREE DEMO includes 2 complete penny games. The FULL version includes penny, nickle, dime and quarter games. More information available here: ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    A multi-platform collection of C++ software libraries for Computer Vision and Image Understanding.
    Leader badge
    Downloads: 4 This Week
    Last Update:
    See Project
  • 8

    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: 4 This Week
    Last Update:
    See Project
  • 9
    HELP TARZAN

    HELP TARZAN

    A mathematical skill testing game specially for the kids.

    Description: HELP TARZAN is a mathematical skill testing game specially for the kids. It is an educational software for all 32bit and 64bit Windows operating system. Recommendations: You must have installed .netframework 4.5 in your computer. Download Link of .NetFramework 4.5: http://www.microsoft.com/en-us/download/details.aspx?id=30653 or, http://www.filehippo.com/download_dotnet_framework_4/ If you have .NetFramework 3.5 then you may use the portable file / zipped...
    Downloads: 0 This Week
    Last Update:
    See Project
  • $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
  • 10
    The program evaluates ordinal expressions and relations. displaying the normal form output in plain text and/or TeX format. It supports notations for ordinals through and somewhat beyond those definable by the Veblen function.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 11
    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
  • 12
    This software is a computer program whose purpose is to fortran mathematics library and some solve linear equation in high performance computing. I create this software for for my last year of engineer school (Scientific Computing Option)
    Downloads: 2 This Week
    Last Update:
    See Project
  • 13
    Numb3rs is a program to assist students in understanding the math.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    SAMP contains a few helpful math functions. Very helpful with Geometry and Triginometry! There are two different options for the interface, command line or GUI. However, the GUI is still in development. SAMP runs on most Windows machines and some Linux
    Downloads: 2 This Week
    Last Update:
    See Project
  • 15
    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: 6 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
    Modernizing the sentential and predicate logic programs, Bertie and Twootie, by cleaning up the code, rewritting the code to conform to the standard Pascal defination, and developing a graphical user interface for both X and MS Windows.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next