Search Results for "engineering software" - Page 15
Sort By:
1370 projects for "engineering software" with 2 filters applied:
-
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.
-
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
1
Java Machine Learning Library is a library of machine learning algorithms and related datasets. Machine learning techniques include: clustering, classification, feature selection, regression, data pre-processing, ensemble learning, voting, ...
-
2
QPNet
Synchronous Petri Nets' emulator
QPNet (Quick Petri Net) is a fast Petri Nets' emulator, created by students of Moscow State Technical University of Radio Engineering, Electronics and Automation. It brings benefits for the educational process, while being under further development and extension. QPNet это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать. -
3
itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
-
4
The BioNLP UIMA Component Repository provides UIMA wrappers for novel and well-known 3rd-party NLP tools used in biomedical text prosessing, such as tokenizers, parsers, named entity taggers, and tools for evaluation.
-
Streamline Azure Security with Palo Alto Networks VM-SeriesImprove your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
-
5
A consumer API that can process the response of an ontology evaluation web service provider.
-
6
SPADE
A toolkit for developing and deploying protein structure algorithms.
The Structural Proteomics Application Development Environment is a Python tool kit for developing and deploying bioinformatics applications. Handles graphics, analysis, and modeling of protein sequence and structure. Source and Win installers available. SPADE source code can be cloned from http://www.github.com/deaconjs/SPADE. -
7
PlantUml Dependency allows to parse / reverse engineering source files (only Java is supported by now) to generate a PlantUml description, allowing to draw the UML class diagram associated to the source code.
-
8
An object oriented Math library written in C++. This library contains set of template classes that are ready to be used. Currently a 2D Matrix, modular arithmetic, vector, and complex numbers are present. These systems can work together, you can create a matrix of complex numbers. Iterators for matrix and vector classes will be added soon. Please use SVN to access current version.
-
9
HexTool is a simple yet effective calculator/tool; invaluable for people who work with Hex and Binary. Now you can convert between Hex, Binary and Decimal on the fly. No install needed: just unzip and run it!
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
10
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,... -
11
PHDL
An HDL alternative to PCB graphical schematic capture tools.
PHDL is an HDL that functions as an alternative to mainstream graphical schematic capture tools. The language is compiled into a pcb netlist which can then be imported into a layout tool. We are currently on version 2.1 of the tool. We have created an eclipse plugin version of the tool as well as a standalone command-line based version. Both function identically and output a netlist that can be imported into a pcb layout tool. VHDL revolutionized how FPGA designs and digital logic... -
12
ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag
-
13
-
14
Graphal
Graph algorithms interpreter, IDE, debugger, 3D visualizations.
Graphal is an interpreter of a programming language that is mainly oriented to graph algorithms. There is a command line interpreter and a graphical integrated development environment. The IDE contains text editor for programmers, compilation and script output, advanced debugger and visualization window. The progress of the interpreted and debugged graph algorithm can be displayed in 3D scene. -
15
xfer9860 works with the fx-9860G (AKA Graph85) versions of Casio's graphing calculators. It allows you to transfer files to your calculator, and works on platforms where libusb is available - including Linux and Windows.
-
16
ExpressionOasis is a java based framework for evaluating the various type of expressions like arithmatic, logic expression etc. The framework is flexible enough to define any new grammer rules or operators.
-
17
-
18
binary Turing Machine
A Turing Machine Simulator
Free binary Turing Machine simulator with a graphical user interface and possibility to save your files. Language : French (no translation available) -
19
ANGEL-Automatic differentiation Nested Graph Elimination Library is a template library using the Boost Graph Library and the Standard C++ Library; it provides sparse representations of c-graphs their dual line graphs and vertex, edge and face elimina
-
20
JUDO is a Java IDE for children and beginning programmers. JUDO is designed to be an educational tool to teach programming concepts and to spark excitement and interest in programming.
-
21
Japrosim is a java library for both discrete event and continuous simulation. GUI for modeling and automatic code generation are offered. An explanation module is integrated. Models are described in XML and owl for interoperability.
-
22
JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.
-
23
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started. -
24
ktree
clustering, machine learning, algorithms
This project has moved to github at http://lmwtree.devries.ninja. -
25
Route11
C++ flow-based metaprogramming library
Route11 is a powerful C++ flow-based metaprogramming library that allows you to create and route complex dataflow systems at compile-time. Route11 uses Template Metaprogramming to construct complex "process systems" defined by static relationships between "process primitives". A process primitive is a generic host class that inherits a "process policy". The process policy defines the specific behavior of a process primitive. The general term: "process" can refer to either one of these...
