Showing 2661 open source projects for "engineering"

View related business solutions
  • Earn up to 16% annual interest with Nexo. Icon
    Earn up to 16% annual interest with Nexo.

    More flexibility. More control.

    Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
    Get started with Nexo.
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
    Start Free
  • 1
    A cross-platform cellular automaton facility. Implements simulation and visualization of multi-dimensional cellural automatas locally or in distributed mode.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    METIL is a python-like interpreted or compiled language made for speed and generic programming, as in C++ but with static symbolic computations, type propagation, "for" surdefinition. Object orientation is centered on properties, rather than hierarchy.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    The pf2html project adds functionality to LATEX2HTML such that LATEX documents written with pf.sty can be viewed in a web browser up to the desired level of detail for each branch of a structured proof.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Create and simulate Hybrid Petri Nets.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 5
    Algorithms to estimate the number of k-colorings of a low-degree graph using samplings from a markov chain are provided.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    A 3D environment that will allow the user to explore 3d geometry dinamically.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Synchronizations in team automata for groupware systems
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    hybopt is a set of libraries to solve the identification and optimal control problems for hybrid (mechanistic/empirical) dynamic (ODE and DAE) models.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    GLARE is a library and a software for product based optimization of reagent lists in the context of a chemical combinatorial library design. Large virtual combinatorial libraries containing 10^12 products have been optimized within a second.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • 10
    OMG is an online 2-D Mesh Generator. Using Shewchuka Triangle (written in C) to generate DT and a Quadtree algorithm (written in php) to triangulate a PSLG. A few Import end Export functions are included. Using SVG to display meshes.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    libidp is a C library implementation of the iterative dynamic programming (IDP) optimal control algorithm, which solves the optimal control problem for ODE and DAE dynamic equation models. An example problem is included.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Topologia Digital (Digital Topology) is a project for the development of the practical exercises of the Digital Topology course in the Applied Mathematics Department of the Computer Science Faculty (Polytechnic University of Madrid, Spain).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    A graphical user interface and IDE for GNU octave that aims to be feature-rich and nice to use.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    jBaseChange converts values between number systems of radix 2-36, or it can convert the input value to all the supported number systems. Also included is a random number generator. This could be used to generate a strong password.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Lienzo is a gtk-Canvas and Lua program to work in geometry. Unlike others like Cinderella, Cabri, DrGeo, etc... this one focuses in algorithms, not in static figures. the lua interface allows to work with programable objects.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    The Eagle automated theorem prover is a system for developing proofs for theorems in predicate logic.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    This library provides systems for testing rumor spread through various network types including but not limited to small-world networks.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    JEquation provides an intuitive and fast way to input mathematical expressions into latex documents by using prestructured neural network based handwriting recognition.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Calx is a calculator program based on RPN (Reverse-Polish Notation) that allows you to compute complex mathematical expressions containing brackets, mathematical functions etc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    A KDE based Computer Algebra System (CAS) that can also be used as an advanced replacement for KCalc. It is essentially a front end GUI for Maxima (and is easily extended to other CAS back-ends) and Gnuplot.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    LaTex to braille translator for Maths, intended to be able to support multiple braille codes.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    A heuristic implementation for solving the Bottleneck Traveling Salesman Problem (BTSP) and related problems, such as the Maximum Scatter Traveling Salesman Problem (MSTSP).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    AutoGuider is an integrated environment for continuation and bifurcation analysis. Based on Auto2000, it is designed to be portable and easy to use/install. Features includes a project manager, support for MathML and SBML, and SVG export of graphics.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Misq is a brand new calculator for geometric forms, based on Qt. The CLI version is named MiSg.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    GradeSignifier provides statistical significance testing for item response data. In a few clicks you can: convert raw test data into scores, determine if the scores of two groups differ significantly, make cumulative probability charts, and more.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB