Search Results for "engineering software" - Page 15
Sort By:
Showing 2165 open source projects for "engineering software"
View related business solutions-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
1
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. -
2
Program for creating Verilog synthesizable XOR trees for high performance designs. Supports creation of Hamming Code (ECC) generators, checkers, and GF2 Multipliers.
-
3
pipestatus - source file for UNIX/POSIX shell that allows to obtain an exit status of every program in a pipe.
-
4
XIVO
X Inertial-aided Visual Odometry
XIVO is an open-source repository for visual-inertial odometry/mapping. It is a simplified version of Corvis [Jones et al.,Tsotsos et al.], designed for pedagogical purposes, and incorporates odometry (relative motion of the sensor platform), local mapping (pose relative to a reference frame of the oldest visible features), and global mapping (pose relative to a global frame, including loop-closure and global re-localization, this feature, present in Corvis, is not yet incorporated in XIVO).... -
Our Free Plans just got better! | Auth0You 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.
-
5
This project hosts a library and tools for sharing simulation experiments encoded using SED-ML.
-
6
Homie for ESP8266
ESP8266 framework for Homie, a lightweight MQTT convention
An Arduino for ESP8266 / ESP32 implementation of Homie, an MQTT convention for the IoT. This branch of Homie for ESP8266 implements Homie 3.0.1 and adds support for ESP32. PlatformIO is an open-source ecosystem for IoT development with the cross-platform build system, library manager and full support for Espressif ESP8266 development. It works on the popular host OS, Mac OS X, Windows, Linux 32/64, Linux ARM (like Raspberry Pi, BeagleBone, CubieBoard). Available in the PlatformIO registry.... -
7
EasyModbusTCP/UDP/RTU .NET
Modbus TCP, UDP and Modbus RTU client/server library
Modbus TCP, Modbus UDP and Modbus RTU client/server library for .NET Supports Function Codes: - Read Coils (FC1) - Read Discrete Inputs (FC2) - Read Holding Registers (FC3) - Read Input Registers (FC4) - Write Single Coil (FC5) - Write Single Register (FC6) - Write Multiple Coils (FC15) - Write Multiple Registers (FC16) V5.6: Upload lates version - This will probably the last version for .NET Framework 4.0 - The next Version will be based on new .NET5 and... -
8
bioweb
polyglot language framework to analyze genetic data
polyglot framework using Python/C++/JavaScript to fast develop applications to analyze biological sequences -
9
OpenFrames
Real-time interactive 3D graphics API for scientific simulations
OpenFrames has moved its primary development repository to GitHub! Everything else will follow. Get it at https://github.com/ravidavi/OpenFrames/wiki OpenFrames is an Application Programming Interface (API) that allows developers to provides the ability to add interactive 3D graphics to any scientific simulation. A simulation developer can use OpenFrames to specify what they want to visualize, without having to know any details of computer graphics programming. OpenFrames is currently... -
Earn up to 16% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
10
Moritz
transfer xml into specific text-formats (html, dot, source-code, ...)
Moritz is an "addon" to the well known tool doxygen. It generates nassi shneiderman diagramms of functions and methods in a c/c++ source as html-files, which could be included in a software-dokumentaion or simple whached by using a html-browser. -
11
GLPK for Java
Java language binding for the GNU Linear Programming Kit (GLPK)
GLPK for Java provides a Java language binding for the library GLPK. GLPK is a proven solver for linear and mixed integer mathematical programming problems. For Windows binaries see project GLPK for Windows (http://sourceforge.net/projects/winglpk/). -
12
ExRandom
Sampling exactly from the normal and exponential distributions
ExRandom is a small header-only C++11 library for exact sampling from the normal, exponential, and discrete normal distributions (provided that the underlying generator is perfect). This library provides an implementation of the algorithms described in C. F. F. Karney, Sampling exactly from the normal distribution, ACM Trans. Math. Software 42(1), 3:1-14 (Jan. 2016), https://doi.org/10.1145/2710016, https://arxiv.org/abs/1303.6257. -
13
Reproducible-research
A Reproducible Data Analysis Workflow with R Markdown, Git, Make, etc.
In this tutorial, we describe a workflow to ensure long-term reproducibility of R-based data analyses. The workflow leverages established tools and practices from software engineering. It combines the benefits of various open-source software tools including R Markdown, Git, Make, and Docker, whose interplay ensures seamless integration of version management, dynamic report generation conforming to various journal styles, and full cross-platform and long-term computational reproducibility. The workflow ensures meeting the primary goals that 1) the reporting of statistical results is consistent with the actual statistical results (dynamic report generation), 2) the analysis exactly reproduces at a later point in time even if the computing platform or software is changed (computational reproducibility), and 3) changes at any time (during development and post-publication) are tracked, tagged, and documented while earlier versions of both data and code remain accessible. -
14
ModbusPal - a Java MODBUS simulator
Modbus slave simulator
ModbusPal is a project to develop a PC-based Modbus simulator. Its goal is to reproduce a realistic environment, with many slaves and animated register values. Almost everything in ModbusPal can be customized and controlled by scripts. -
15
MuLanPa
transfer text in diverse formats into specific xml parser-trees
MuLanPa is a source-analyser with a configurable parser and may be may be used for several programming-languages. Its xml-output should be used for tools like project-browsers or code-viewers like moritz (www.sourceforge.net/projects/moritz/) . -
16
...Then you implement with EiffelStudio. You never need to throw anything out and start over. You don’t need extra tools to go back and safely make changes in your architecture. Roundtrip engineering? It’s built in by design. Testing, metrics and productivity tools? They’re built in. EiffelStudio accommodates quickly and efficiently new thoughts and changes.
-
17
Zipline
Zipline, a Pythonic algorithmic trading library
Zipline is a Pythonic algorithmic trading library. It is an event-driven system for backtesting. Zipline is currently used in production as the backtesting and live-trading engine powering Quantopian -- a free, community-centered, hosted platform for building and executing trading strategies. Quantopian also offers a fully managed service for professionals that includes Zipline, Alphalens, Pyfolio, FactSet data, and more. Installing Zipline is slightly more involved than the average Python... -
18
minuteProject
Reverse-engineering tool
MinuteProject is reverse-engineering tool. It generates application stacks for opensource technologies. Backend technologies: iBatis, Hibernate, JPA, JPA2, springframework. REST: JEE-jersey, CXF, springMVC. Front-end: Openxava, Grails, Play. Methodology: FitNesse. In incubator: vaadin, jsf-primefaces, jooq, rails. -
19
Metrix++
Management of source code quality is possible.
The project has been moved to https://github.com/metrixplusplus/metrixplusplus ______________________ Metrix++ is an extendable tool to collect and analyse code metrics. - Multiple languages supported - Multiple metrics available - Configurable. Every metric has got 'turn-on' and other configuration options. There are no predefined thresholds for metrics or rules. You can choose and configure any limit you want. - High-performance. Processes thousands of files per minutes. -... -
20
Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.
-
21
EduMIPS64 (aka edumips) is a cross-platform MIPS 64 ISA simulator. It can be used to run and debug MIPS programs that are written using the MIPS64 instruction set. It supports visual debugging and lets you see what instructions do in the pipeline.
-
22
The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
-
23
Dynamic
Call hidden/private API in style, The Swift way
Dynamic is an Objective-C library for dynamically interacting with private and public iOS APIs. It allows developers to access properties, methods, and classes that are not normally exposed, useful for runtime exploration and advanced debugging. -
24
TMC compiler
Translator from restricted matlab to C
Open-source tool to convert/port/migrate/optimize Octave/MATLAB(R) written projects to C-code. Consists of C-code generator and run-time support library. Support a subset of MATLAB (R) language and an extendable set of in-build functions. Git Repository: https://github.com/csafonov/tinymc -
25
Modelio - Modeling environment (UML)
Modeling tool supporting UML, BPMN and other standards
Modelio is an open source modeling environment tool providing support for the latest standards (UML 2, BPMN 2, ...). It can be extended by adding modules which add new functionalities. A large set of modules (free and open source) supporting code management (generation/reverse), modeling standards (TOGAF, SysML, SoaML, ...), document generation, ... is available from the Modelio Store (https://store.modelio.org/). Need help or want to share experience with the Modelio community? Go to our...
