Search Results for "z-push"
Sort By:
20 projects for "z-push" 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.
-
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
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
grafx - Extensible Java Graphics Package
Extensible Line-drawing & Polygon-filling Rasterization Libs for Java
Line-drawing and polygon-filling rasterization algorithms in Java. Simple 2D package and more complex 3D package with Z-buffering. Texture mapping not supported at the moment. Color interpolation for lines, Gouraud shading for polygons fully supported. Floating point vertex coordinates, not integer. Pixel-level aliasing, not endpoint aliasing. Doesn't use Bresenham line style! Works with all Java versions. No external dependencies. Suitable for study in academic institutions, especially as related to line-drawing accuracy. ... -
3
Pushloc
A wireless push-type network simulator.
A wireless push-type network simulator that considers locality of demand for performance improvement. The network environment consists of multiple directed emitters for parallel data broadcasting. Performance depends on the mean response time of clients. -
4
VStar
Multi-platform Variable Star Visualisation and Analysis
VStar is a multi-platform, easy-to-use variable star observation visualisation and analysis tool. Data can be read from a file or the AAVSO database, light curves and phase plots created, period analysis performed, and filters applied. Plugins can be developed, e.g. to make additional observation sources available. See also: 1. http://www.aavso.org/vstar-overview 2. http://www.aavso.org/forums/about-aavso/vstar 3. http://dbenn.wordpress.com/category/astronomy-science/vstar 4.... -
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.
-
5
Olex2 is visualisation software for small-molecule crystallography developed at Durham University/EPSRC. It provides comprehensive tools for crystallographic model manipulation for the end user and an extensible development framework for programmers. The project has been supported by Olexsys Ltd since 2010.
-
6
OpenChrom is a tool for gas chromatography and mass spectrometry. The focus is to handle data files from different GC/MS and GC/FID systems and vendors. Its functionality and algorithms can be extended using a flexible plugin approach, based on Eclipse RCP.
-
7
Acoustic Research Tool (ART)
Acoustic Simulation Library for Frequency and Time Domain Simulations.
...So far bore discontinuities, branches, tone holes, cylindrical and conical tubes, Bessel horns and bent tubes are available for frequency domain modelling. In the time domain generic bidirectional propagation elements, scattering elements, fractional delays, convolution with reflection functions and general z-domain networks are available and can be described using MuParserX expressions. Cylindrical and conical ducts can also be defined based on their geometry. Available models and their parameters can be enumerated and combined to form simulators for complex acoustical structures. Parameters can be specified symbolically by expressions containing other parameter values or global variables. ... -
8
Analog Insydes is a Mathematica toolbox for symbolic analysis of analog electronic circuits. This project provides a set of free add-ons to Analog Insydes, including a Java front-end and a native netlister for Cadence's Analog Design Environment (ADE).
-
9
erf
error function and related functions in pure standard Fortran 2008
Fortran 2008 added 3 new intrinsic functions: erf, erfc, erfc_scaled. However, they take only real arguments. This package provides a BSD licensed Fortran 2008 module with erf(z), where z is a complex argument. The calculation is based on calculating w(z), the Faddeyeva (plasma dispersion) function. Two algorithms are implemented: TOMS 680 and 916, http://www.netlib.org/toms/. The simple test program calculates values in the Abramowitz, Stegun. -
$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
LGML
LGPL GML parser
...The aim is to parse a GML document or fragment in order to get a WKT output. 2D and 3D inputs are both handled, but it is not permitted to have mixed geometries. The caller can choose if the input coordinates are parsed as X, Y, Z (if present) order, or Y, X, Z (if present) order. The willing of the project is to be a starting point useful for developers that need to parse GML objects in order to use them, for example, in the context of OGC catalogue projects. The library is compiled using Java 1.5 or 1.6. For now, supported inputs are: LineString, MultiLineString, MultiPoint, MultiPolygon, Point, Polygon, MultiSurface (in an experimental way: the only child object handled is Polygon). ... -
11
libcerf
Complex error functions, Dawson, Faddeeva, and Voigt function
A self-contained C library providing complex error functions, based on Faddeeva's plasma dispersion function w(z). Also provides Dawson's integral and Voigt's convolution of a Gaussian and a Lorentzian. -
12
CAD2Board
is a Qt program to generate SMD chip shooter code
...Succeeding PCB revisions what contain redesign changes can be merged with existing project setup data. Inconsistencies are highlighted to solve them by new assignements and unused feeders can be cleaned up with a single push. Finally a machine program is generated in Heeb HE50 format and downloaded to the machine interface. -
13
rfMaxima is an RF toolbox for the wxMaxima computer algebra system.
-
14
Cross platform (python 2.5) tool for exporting data via SMTP (email) to an Endress-Hauser Fieldgate DM3 Server. This tool may be used with any MySQL database historian, even though it was originally an extension for mod_openopc.
-
15
Java Decision Diagram Libraries (BDD)
Java Decision Diagrams (BDD) libraries: JDD and JBDD
This project has been moved to bitbucket.org: - https://bitbucket.org/vahidi/jbdd/wiki/Home - https://bitbucket.org/vahidi/jdd/wiki/Home It includes two libraries for working with decision diagrams: - JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy - JDD: a native Java library supporting BDD, Z-BDD -
16
A program for exploring complex functions, much like the now out-dated f(z). Domain colored plots of complex functions. Click evaluate. Uses reflection so you can code almost anything for your formula. All java. Please help.
-
17
An Interactive Fiction Player written for Java Virtual Machine. It implements the Z-machine and Glulx specifications and can be used either standalone or as an applet. The Z-Code/Glulx interpreter runs adventures made by Infocom and contemporary Inte
-
18
This Python 3.1 tool manipulates the coordinate system of CNC GCODE for machining or engraving. It can Flip X, Y, or Z coordinates, mirror X, Y, or Z coordinates, flip or Mirror both XY coordinates, or insert Z motions into a GCODE file devoid of them.
-
19
Visual Turing Machine is a tool for visually designing Turing machines. This means no coding in abstract scripting languages, but simple point&click design. It uses the a..z symbol set, plus the "empty" # symbol, and also simulates an infinite tape.
-
20
GI-Gaia ist ein portables Framework zur Berechnung und Visualisierung verteilter Algorithmen (z. B. Bestimmung des größten gemeinsamen Teilers im Ring). Die konkreten Simulationen sind von den Basisdiensten getrennt und werden als Plugins nachgeladen.
- Previous
- You're on page 1
- Next
