Search Results for "z-push"
Sort By:
Showing 47 open source projects for "z-push"
View related business solutions-
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
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.
-
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
Baritone
Google maps for block game
A Minecraft pathfinder bot. Baritone is the pathfinding system used in Impact since 4.4. How to immediately get started: Type #goto 1000 500 in chat to go to x=1000 z=500. Type #mine diamond_ore to mine diamond ore. Type #stop to stop. For more, read the usage page and/or watch this tutorial playlist. For other versions of Minecraft or more complicated situations or for development, see Installation & setup. Also consider just installing Impact, which comes with Baritone and is easier to install than wrangling with version JSONs and zips. ... -
3
Traccar
Traccar GPS Tracking System
The Traccar software offers exceptional performance and stability, whether it is installed on Windows, Linux, or any other platform. The server can be hosted on-premise or in the cloud, and we provide various hosted options with professional support. Traccar stands out among GPS tracking systems on the market by supporting a vast array of protocols and device models. Whether you prefer low-cost, no-name GPS trackers or high-end, quality brands, Traccar enables you to choose from a wide... -
4
G-Code Syntaxhighlighter for NetBeans
NetBeans Module for Syntaxhighlighting of G-Code (CNC).
NetBeans Module for Syntaxhighlighting of G-Code (CNC). -
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.
-
5
luscus
molecular editor and viewer
...The program is developed as a graphical interface for MOLCAS program package, however it's adaptive nature makes possible using luscus with other computational program packages and chemical formats. If you use this program, please cite: G. Kovačević, V. Veryazov, J. Cheminformatics, 7 (2015) 1-10; DOI: 10.1186/s13321-015-0060-z -
6
...K3DSurf supports Parametric equations and Isosurfaces. ****** Welcome to the realm of complex numbers! Change-log for MathMod-11.1 (16/06/2021) 1) Support of graphing functions with complex numbers Z=u+iv in 3D and 4D spaces (demo scripts: "Complex3D_xx" and "Complex4D_Saddle") 2) Added support for HSV (hue, saturation, brightness) coloring model (script: "Complex_Domain_Coloring") 3) Texture definitions (RGB and HSV) for parametric surfaces can now be expressed as functions of complex numbers 4) Added a software implementation for the OpenGL variable gl_FrontFacing (fixed an issue with GPU drivers on MacOSX Catalina). ...
-
7
Statistics101 - Resampling Statistics
Use simulation to perform statistical analyses.
Statistics101 is an Integrated Development Environment (IDE) that uses a simple, powerful language called “Resampling Stats” to develop Monte Carlo programs to analyze and solve statistical problems. The original Resampling Stats language and computer program were developed by Dr. Julian Simon (https://www.juliansimon.com/) and Peter Bruce (https://www.scientificamerican.com/author/peter-bruce/) as a new way to teach Statistics to social science students. Of course, social science students... -
8
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. ... -
9
Edge Translate
A translation extension
...We support the translation of wording in PDF files, which breaks the dyslexia of many users when reading PDF documents (due to the Firefox browser's bug, this feature is temporarily unavailable on Firefox browser). We chose the friendly side pop-up to show the translation results. The pop-up display bar will push the user reading content to avoid blocking the content from affecting the reading. Please refresh the page that needs to be translated after installation or update! -
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
10
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. -
11
Control Room
A macOS app to control the Xcode Simulator
...Developers can manipulate various aspects of the simulated device environment, including network conditions, battery status, and system settings, without needing to manually execute terminal commands. The tool also enables tasks such as capturing screenshots and videos, sending push notifications, and simulating location changes, which are essential for testing real-world scenarios. Its integration with SwiftUI ensures a modern and responsive user experience while maintaining deep functionality. ControlRoom reduces the friction of repetitive testing tasks, allowing developers to focus more on building and refining their applications. -
12
MapSCII
Braille & ASCII world map renderer for your console
...Compatible with most Linux and OSX terminals. Highly optimized algorithms for a smooth experience. 100% pure JavaScript! Arrows up, down, left, right to scroll around. Press a or z to zoom in and out. Press c to switch to block character mode, and press q to quit. If your terminal supports mouse events you can drag the map and use your scroll wheel to zoom in and out. -
13
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.... -
14
Phenalysis
Analyze agronomic plant research plots in aerial orthomosaic images.
A graphical user interface to import, analyze and export plots from orthomosaic images of agronomic trials. Please cite the following reference in your work if you use Phenalysis: Khan Z and Miklavcic SJ (2019) An Automatic Field Plot Extraction Method From Aerial Orthomosaic Images. Front. Plant Sci. 10:683. doi: https://doi.org/10.3389/fpls.2019.00683 This tool is being developed through the sponsorship of the Australian Research Council's Industrial Transformation Research Hub on Wheat in a Hot and Dry Climate. ... -
15
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.
-
16
CompleXChange
differential analysis of combinatorial protein complexes
...With CompleXChange this information can be exploited to conduct differential analyses of the dynamic protein complexome in a quantitative manner. The corresponding publication can be found on https://doi.org/10.1186/s12859-019-2852-z. -
17
Ghawwas_V4
An open source system for Arabic corpora processing
Ghawwas (previously known as Khawas) is an open source system for Arabic corpora processing. Ghawwas V4.0 provides the following main functions: a. Frequency list for single word and N-Grams b. Concordance c. Collocation (MI, CHI Squared, LL, T-Score, Z Score, Dice, Log Dice, Weirdness Coefficient) d. Lexical patterns search e. Two corpora frequency profile comparison based on MI, CHI, LL, T-Score, Z Score, Dice, Log Dice, Weirdness Coefficient f. Accept Windows and UTF-8 character encoding g. Accept TXT, DOC, DOCX, RTF and HTML formats h. Export the processing results in CSV file format -
18
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.
-
19
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. ... -
20
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).
-
21
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. -
22
ChIP-RNA-seqPRO
ChIP-RNA-sequencing-processing (ChIP-RNA-seqPRO)
ChIP-RNA-seqPRO: A strategy for identifying regions of epigenetic deregulation associated with aberrant transcript splicing and RNA-editing sites. Runnable python scripts packaged together with customized annotation libraries, demo data input and README guide. 9/26 : v1.1 Updated MAIN_IV to debug error thrown by python pandas no longer supporting 'subset'. This code will no longer be actively maintained/updated here. A cloud-based resource for comparative analysis of epigenetic,... -
23
W warsztacie każdego elektronika prędzej czy później pojawi się potrzeba użycia generatora funkcyjnego. Jednak profesjonalne urządzenia tego typu są przeważnie drogie. Z pomocą przychodzi nam karta dźwiękowa komputera. Może nie jest w stanie generować sygnałów o bardzo dużej częstotliwości, ale jej zakres (20Hz – 20kHz) może się okazać przydatny, nie tylko przy testowaniu układów audio, ale też przy układach mikroprocesorowych. W ostatnim czasie pojawiła się u mnie taka potrzeba, więc napisałem prosty program, który pozwala w łatwy sposób wygenerować sygnał na wyjściu z karty dźwiękowej komputera. ...
-
24
GUItars
GUItars is designed for the analysis of high throughput RNAi data.
...The program can handle the analysis for screens without replicates as well as with replicates. For comparison purposes, non-SSMD-based methods such as percent activity, z-score, and t-test are also provided as scoring options. Version 2.1 released: several bugs fixed. Version 3.0 released for Windows and Mac: experiment-wise analysis option, map to all samples option (no hit cut-off needed), percent activity for replicates option and .ai output format are added -
25
fPotencia
Power flow library in C++
fPotencia is the fruit of free time and passion for power systems simulation. After observing the lack of ready-to-implement libraries for power system analisys, and that the existing ones focus on command line workflow, I decided myself to start a project to fill the gap. Since Power system simulations have started needing to be executed in parallel, the old C-like designs are outdated; modular design is now needed to launch many simulations at the same time based on a base...
