Search Results for "engineering" - Page 15
Sort By:
1363 projects for "engineering" with 2 filters applied:
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
1
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.
-
2
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,... -
3
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.
-
4
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... -
Application Monitoring That Won't Slow Your App DownFull APM with errors, performance, logs, and uptime monitoring. 99.999% uptime SLA on the platform itself.
-
5
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
-
6
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. -
7
-
8
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.
-
9
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.
-
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.
-
10
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
-
11
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) -
12
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.
-
13
-
14
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.
-
15
JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.
-
16
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. -
17
ktree
clustering, machine learning, algorithms
This project has moved to github at http://lmwtree.devries.ninja. -
18
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... -
19
Cloud7
Central Software Configuration by Java API and SOAP Service
CLOUD SEVEN is API and middleware together. C7 * stores central configurations in a database * is a useful tool to configure applications which run distributed on different hardware * provides a simple user administration with rights and actions * is good for small and big companies as well. * helps developers, and admins * provides configurations which can be valid for all machines (instances) or may be exclusive for single instances * can be used by API and SOAP (JMS is... -
20
algebrain
Math Parser for Java
Moved to GitHub https://github.com/fedups Algebraic equation processing at run time for Java programs. Supports variables, functions with parameters, rate table lookups, an embedded "if" function... Infinitely extensible, very small footprint. -
21
MathX
Fixed-length Arithmetic-types library
MathX is a fixed-length arithmetic-types written in pure c++ templates. The goal is to provide signed-integer, unsigned-integer, IEEE-754 float-point and fixed-point types, all with specific number of bits. To this moment, only signed-integer and unsigned-integer are completed for little-endain architecture. Any compiler that support c++03 or c++11 can successfully compile MathX. Refer to README for more information. -
22
pgApex
http://95.85.49.98:8081/apex/q
Web RAD for PostgreSQL tool. -
23
E.N.M.L. means Environmental Noise Model Language. The target of the project is the definition of a XML specification model mainly devoted to electronic acoustic data exchange. ENML aims to format ANY kind of noise measurement.
-
24
mojo
mojo provides fast analyzes for your business processes
mojo is a standalone software and library for the fast analysis of business processes. Because of its lightweight architecture and its implementation in Java, it can be used as extension in your program, e.g., business process designer. It provides new researched compiler-based analysis techniques which supports very good failure location. The software can be used under the GNU Lesser General Public License (LPGL): http://www.gnu.org/licenses/lgpl-3.0.txt -
25
AJT is a set of utility classes for Java for handling some bioinformatics data, graphics file export, GUI widgets, and classes that should long have been added to the official Java API.
