Search Results for "development tools"
Sort By:
30 projects for "development tools" with 2 filters applied:
-
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.
-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
1
Community Z Tools
Tool support for the Z formal notation
Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt -
2
JAGS is Just Another Gibbs Sampler. It is a program for the statistical analysis of Bayesian hierarchical models by Markov Chain Monte Carlo.
-
3
LTI-Lib is an object oriented computer vision library written in C++ for Windows/MS-VC++ and Linux/gcc. It provides lots of functionality to solve mathematical problems, many image processing algorithms, some classification tools and much more...
-
4
CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
-
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.
-
5
Charting tools, backtesting tools, and data visualization tools for the most popular cryptocurrencies.
-
6
GeoPDEs
A package for Isogeometric Analysis in Octave and Matlab
GeoPDEs is a suite of software tools for research on Isogeometric Analysis of PDEs. GeoPDEs is free software implemented in Octave and fully compatible with Matlab. GeoPDEs is no longer developed at SF, and has moved to GitHub. Please visit http://rafavzqz.github.io/geopdes/ The mailing list will remain active. Releases up to 2.0.4 can be found here. From version 2.1.0 onward, see https://github.com/rafavzqz/geopdes -
7
MOEA Framework
A Free and Open Source Java Framework for Multiobjective Optimization
The MOEA Framework is a free and open source Java library for developing and experimenting with multiobjective evolutionary algorithms (MOEAs) and other general-purpose multiobjective optimization algorithms. The MOEA Framework supports genetic algorithms, differential evolution, particle swarm optimization, genetic programming, grammatical evolution, and more. A number of algorithms are provided out-of-the-box, including NSGA-II, NSGA-III, ε-MOEA, GDE3 and MOEA/D. In addition, the MOEA... -
8
This is a project for Andre to share CellML related tools he works on that other people might find useful.
-
9
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,... -
$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
Dantzig-Wolfe Solver
An implementation of Dantzig-Wolfe decomposition built upon GLPK
An implementation of Dantzig-Wolfe decomposition built upon the GNU Linear Programming Kit. This is a command line tool for solving properly decomposed linear programs. There are several examples and some documentation to guide the use of this solver. Forked over to GitHub (see link). -
11
analyzematrix
Command line tool for reporting details on a given matrix
analyzematrix is a command line tool for learning detailed information about a matrix including its inverse, determinant, eigenvalues, eigenvectors, and singular value decomposition. -
12
Math tools in Python to tackle down problems in Operational Research fields. Comes with a Django based web interface to allow remote access to complex simulation means.
-
13
Bayesian Network tools in Java (BNJ) is an open-source suite of software tools for research and development using graphical models of probability. It is published by the Kansas State University Laboratory for Knowledge Discovery in Databases (KDD).
-
14
OPALE is an Open Source project which development is done at two different levels: the OPALE library: which is a scientific library written in Java and which is composed of different modules (tools, swools, mathtools,...). Its purpose is to give
-
15
This project hosts tools used for analysis of Gaussian Mixture Distributions (GMDs) which are used for statistical signal processing. The tools are libraries for implementing GMD operations and programs used to analyze properties of GMDs.
-
16
A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
-
17
The CVR-Lib (Computer Vision and Robotics Library) is a C++ object oriented library for computer vision. It provides lots of functionality to solve mathematical problems, many image processing and analysis algorithms, classification tools, and much more.
-
18
Auxiliary tools for Boost uBLAS library. Has several strategy-driven functors for: 1) random-generating of vectors & matrices 2) Nice & suitable stream output of them 3) Equality-compare capacibility for vectors and matrices and approximate comparing.
-
19
This is a small and fast library and command-line tool for manipulation of logic/boolean-algebra expressions, including proofing and simplification. A front-end using tigcc for Texas Instruments calculators is planned, too.
-
20
Misc packages including a matrix application, a text based minesweeper, and simple console functions bundled to be run from a virtual console. Some packages are independently runnable. http://damf.sourceforge.net/ for more information.
-
21
Graph Package (GPack) is a solution for developing simple graphics in Delphi environment. GPack includes 2 components TGraph & TGraph3D which help users to create 2D/3D graphic applications in an easiest and quickest way.
-
22
NAC is a collection of tools for cryptography. The goal is to provide simple-to-use crypto tools (like an OTP, String and number generator, public key algorithm...) you can use under Linux, Windows...
-
23
TIKAPP is becoming a collection of tools for simulation of neural networks. The first available part is an ANSI-C++ library with support for backpropation networks.
-
24
kin is a set of libraries and tools supporting meta-programming for engineering and technical computing applications. This JVM version of kin has been superseded by the stand-alone version being developed at http://purl.org/net/kin.
-
25
matdoc is a Java tool for generating API documentation for MATLAB and Octave programs in HTML, LaTeX, and M-file formats.
