Search Results for "z-push"
Sort By:
Showing 105 open source projects for "z-push"
View related business solutions-
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.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
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
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... -
3
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. ... -
4
ReViMS
ReViMS, a 3D volume rendering tool for light-sheet/confocal microscopy
Reconstruction and Visualization from Multiple Sections (ReViMS), an open-source, user-friendly software for automatically estimating volume and several other features of 3D multicellular aggregates (i.e., cancer spheroid, zebrafish, fruit fly). ReViMS requires a z-stack of 2D binary masks, obtained by segmenting a sequence of fluorescent images acquired by scanning the aggregate along the z axis, using a confocal or a light-sheet fluorescent microscope. It provides a number of tools for: (a) segmenting z-stacks of fluorescence images; (b) reconstructing the 3D surface of the aggregates and estimating several features (including the volume). ... -
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
5
PICSimLab - Prog. IC Simulator Lab.
PICSimLab is a realtime emulator for PIC, Arduino, STM32, ESP32, ...
...For boards based on AVR, STM32, and ESP32, the wizard generates projects that utilize VSCode+PlatformIO. PICSimLab supports several devices (spare parts) that can be connected to the boards for simulation. Such as example LEDs and push buttons for simple outputs and inputs and some more complex ones like the ethernet shield. -
6
Interlingua Spell Check
Free Interlingua spell checker add-in for Microsoft Word
...Check your whole document interactively with suggestions, or run a fast check of the whole document or only the selected text - unknown words are highlighted, and the whole check can be undone with a single Ctrl+Z. Based on the Hunspell engine and the Interlingua dictionary. Free, no registration, installs in seconds without administrator rights. Works with 32-bit and 64-bit Microsoft Word 2013, 2016, 2019, 2021, 2024 and Microsoft 365. Developed by Ambi design - https://www.ambidesign.eu -
7
G-Code Syntaxhighlighter for NetBeans
NetBeans Module for Syntaxhighlighting of G-Code (CNC).
NetBeans Module for Syntaxhighlighting of G-Code (CNC). -
8
rfMaxima is an RF toolbox for the wxMaxima computer algebra system.
-
9
KherveBook
Computational notebook mixing Python, Markdown, LaTeX, JS and Sheet
...Documents are stored as plain-JSON .kbook files and round-trip with Jupyter/Colab .ipynb, Excel workbooks, and other Kherve-family formats. Each notebook folder is a Git repository, giving per-document version history and push/pull to GitHub from within the app. Part of the Kherve family of scientific desktop tools; released under the GPL-3.0. -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
10
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 -
11
...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). ...
-
12
myESP32S3-N16R8 WiFi Focuser
ESP32S3_DEVKITC_1 N16R8 Wifi focuser
An ESP32S3 WiFi Focuser (ALPACA-ASCOM-LINUX-INDI-TCPIP-WINDOWS) (c) Robert Brown 2014-2026, Holger M, 2019-2021. All rights reserved. Code or portions of code may not be copied or used without credit given to authors. Read Part1 pdf to determine the board you will need, then download those board files. Downloading all files will cause confusion and hinder your project progress. Both PCB and DIY are supported. After creating the board, go to UserGuide Part2 (Files/Documents) and follow... -
13
myFP2ESP32-Dev WiFi ASCOM Focuser
ASCOM-INDI ESP32-Dev Wifi focuser
An ESP32-Dev WiFi focuser. DIY or PCB designs. (c) Robert Brown 2014-2025, Holger M, 2019-2021. All rights reserved. Code or portions of code may not be copied or used without appropriate credit given to authors. Spreadsheet to calculate what stepper motor to use. https://sourceforge.net/projects/arduinoascomfocuserpro2diy/files/Documentation/Nema-Stepper-Motors.xlsx/download Spreadsheets to calculate... -
14
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... -
15
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. ... -
16
A very simple java simulation of the human body to simulate a 3D drawing manikin,with plenty of freedom of movements of the limbs and rotation of the body to implements a 360 degrees view.Source code available.No openGL.Improvements to come !
-
17
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! -
18
Arduino ASCOM Focuser Pro DIY
Arduino Focuser, fully ASCOM complaint
myFocuserPro is an ASCOM and Moonlite compatible stepper motor telescope focus controller (DIY) based on Arduino Nano/Uno. A popular DIY ASCOM focuser with more than 125,000+ downloads. (c) Copyright Robert Brown 2014-2024. All Rights reserved. Permission is granted for personal and Academic use only. Spreadsheet to calculate what stepper motor to use. https://sourceforge.net/projects/arduinoascomfocuserpro2diy/files/Documentation/Nema-Stepper-Motors.xlsx/download -
19
Coordinates Converter
Coordinates Converter
...In 2D mode, it's possible to convert Cartesian to Polar (set the X and Y values) or vice versa, (set the r and theta values). In 3D mode, you can convert between Cartesian to Cylindrical-Spherical (set the X, Y and Z values), Spherical to Cartesian-Cylindrical (set the r, theta and pi values), or Cylindrical to Cartesian-Spherical (set the r, theta and h values). My blog: https://vegettadbz.blogspot.com/ -
20
FreeCAD-PCB
Import your PCB boards to FreeCAD
...Możliwości modułu: - wsparcie dla wielu różnych warstw, - wyświetlanie otworów, przelotek niezależnie od siebie, - możliwość wyboru koloru, przeźroczystości oraz nazwy dla poszczególnych warstw, - importowanie modeli zapisanych w formacie IGS wraz z kolorami. ***** Supported software: - Eagle (*.brd) - Razen (*.rzp) - FreePCB (*.fpc) - gEDA (*.pcb) - FidoCadJ (*.fcd) - KiCad (*.kicad_pcb) - IDF v2/v3 Requirements: FreeCAD >= 0.14 Project forum: https://sourceforge.net/p/eaglepcb2freecad/forum/ -
21
Rail station Inf
Wyszukaj dane o kilometrażu stacji i punktów eksploatacji linii PKP
...Zawartość pliku XML zwracanego przez serwer zostaje wyświetlona w zakładce "Edytor". W edytorze wyświetla się tylko ostatnie zapytanie, więc zapis pliku spowoduje zachowanie tylko ostatniego zapytania a nie całej tabeli z zakładki "Dane". Funkcje menu "Edycja" pozwalają zrobić listę adresów URL do łączenia z API. -
22
myDCFocuser Arduino Relative DC Focuser
Arduino Nano DC Motor Controller
An Arduino based controller for a DC motor focuser solution. Replaces RigelSys/JMI DC Controllers. Windows application and ASCOM driver available. Works with most DC motor solutions (eg RigelSys, JMI, Orion, Skywatcher etc). Feature rich and low cost. Build the controller for under $25. (c) Copyright Robert Brown 2014-2025. All Rights Reserved. Permission is granted for personal and Academic use only. Code or portions of code may not be copied or used without appropriate credit given... -
23
eLogSim
Digital circuit simulator
eLogSim is an event driven, 4-level (0,X,1,Z) digital circuit simulator. It uses a test oriented stimulus approach and offers a statistical (or exhaustive if it makes sense) fault simulation option. eLogSim has a simple GUI and is pre-compiled for Ubuntu 20, Mint 20, CentOS 8, openSUSE 15, FreeBSD 12, Solaris 11, Windows 10/11 & Raspbian/Raspberry PiOS Buster (32/64bit) & Ubuntu-MATE 20.04 (64 bit) operating systems. -
24
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. -
25
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.
