Showing 10 open source projects for "computer aided software engineering"

View related business solutions
  • Demo Series - Small Business Backup By Veeam Icon
    Demo Series - Small Business Backup By Veeam

    Learn how to protect your Microsoft 365 data, with simple, actionable tips today.

    Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
    Watch Demo Series
  • 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
  • 1
    Lurch
    Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 2
    Algebra Helper shows how signs change when moving a quantity from one side of an equation to the other. Algebra Helper is implemented in JavaScript.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 3
    The metric project supplies, via the web, educational materials in mathematics and mathematics-based subjects. There are interactive explorations of mathematical ideas, self-test exercises, tools and tutorials.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    Sphaerica

    Interactive spherical geometry software.

    Sphaerica is an interactive spherical geometry computer software. You can create complex geometric constructions in spherical geometry with this software. It supports orthogonal, stereographic and gnomonic projections to display your construction. It also has a built in scripting language for automated constructions.
    Downloads: 2 This Week
    Last Update:
    See Project
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Start Free
  • 5
    MathJax
    MathJax is a modular javascript framework for including mathematics in web pages. It can take input in various formats, like TeX and MathML, and can produce output in various forms, such as MathML or HTML-with-CSS. Components are loaded as needed.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 6
    Large Integer Calculator. Includes most arithmetic functions plus named memory values.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    IMathAS is a web-based math assessment and homework system. It is a course/learning management system (CMS/LMS/VLE) and testing system featuring algorithmic questions, similar to WebWork, Webassign, and publisher systems like iLrn, MathXL, etc.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 8
    MathWorx is a JavaScript library of mathematical objects, also including 2D plotting functionality and will eventually have 3D object compatibility. A GUI editor will be made based on these libraries to ease the development of interactive math pages.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9
    ASCIIMathML.js: a JavaScript to convert ASCII math notation (and some LaTeX) to Presentation MathML while your webpage loads. Now also simple graphs are translates to SVG. Works with Firefox 2.0+ or with Internet Explorer 6/7+MathPlayer+Adobe SVGview.
    Downloads: 2 This Week
    Last Update:
    See Project
  • Train ML Models With SQL You Already Know Icon
    Train ML Models With SQL You Already Know

    BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

    Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
    Start Free
  • 10
    Data Mining Platform is a platform for data mining and analysis. It contains many of the new and sophisticated methods such as kernel-based classification, two-way clustering, bayesian networks, pattern recognition for time series analysis and many other
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next