Search Results for "automation software" - Page 5
Sort By:
Showing 191 open source projects for "automation software"
View related business solutions-
Free CRM Software With Something for EveryoneThink CRM software is just about contact management? Think again. HubSpot CRM has free tools for everyone on your team, and it’s 100% free. Here’s how our free CRM solution makes your job easier.
-
Shift, the browser that merges all of your web apps into one powerful window.Streamline everything you do online when you install Shift and access thousands of apps without leaving your browser. Connect all of your Gmail, Outlook, and Office 365 accounts and manage everything from one centralized window. Build out your Shift browser with apps that integrate seamlessly so you have ultra-fast access to all the tools you use to stream, shop, work, browse, and stay connected. Shift brings it all together.
-
1
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.
-
2
Unit Test for C is a very useful and powerful software development tool for C and C++ programmers. It is designed to provide a great deal of functionality in a very small package and functions nearly identically on Windows and UNIX systems.
-
3
Simple data corruption testing utilities based on the concept of generating a stream of small self-contained records which can be decoded in a way which makes certain common data corruption modes in filesystems and networks automatically diagnosable.
-
4
Software monitors a Xantrex GT series solar inverter, stores it in a database and periodically updates a web page with current status. The inverter is monitored via a serial port.
-
The #1 Embedded Analytics Solution for SaaS Teams.Qrvey’s comprehensive embedded analytics software enables you to design more customizable analytics experiences for your end users.
-
5
DASH is a set of tools and utilities to automate the deployment and management of large-scale distributed software, and to monitor and manage the multiple environments that the software is deployed to. 100% compatible with bash.
-
6
The C-Bus Module is used to provide a C-code API between a Clipsal C-Bus PCI interface, and an application program. Application programs can be on small embedded micros with no OS and only a few K of RAM, thru to Windows & Linux.
-
7
Home Automation and Control System is a software which can control devices (using pc lpt port) at home from anywhere with any internet enabled device. This software drives a solid state relay by which we can control our home appliances.
-
8
TestDevCom is a collection of simple yet powerful test development tools designed for testers who are looking for quick, easy, modular solutions to test automation, but don't really have the time, knowledge, or inclination to build the tools themselves.
-
9
An extension and enhancement to the original SPIKE. SPIKIER is ment to be a continuous project of improvements to the block based fuzzer SPIKE.
-
Bright Data - All in One Platform for Proxies and Web ScrapingBright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
-
10
libEPOS is a C library to control the EPOS motor control from maxon motor ( http://www.maxonmotor.com ) using a GNU/Linux system. This software is NOT from maxon motor, but was written from scratch by Marcus Hauser and others. The tar file is outdate
-
11
This is a formal equivalence checking tool developed @ IIT Guwahati which can be used to verify functional equivalence between circuits (combinational and sequential) of the formats BLIF, verilog and EDIF.
-
12
A GUI comparison tool that automates diffs detection between versions. You can record and play scenarios on two different releases of the same app (in sequential or parallel mode); jDiffChaser compares both screens and shows you the differences.
-
13
EDoC++ is both a lint-like tool and a documentation tool that specialises in analysing and documenting the use of exceptions in C++ code.
-
14
The SESAME (Simulation of Embedded System Architectures for Multilevel Exploration) software system is an embedded system co-simulation environment and research tool which implements the ideas of the SESAME project at the University of Amsterdam.
-
15
lysis is working on a features rich home automation system that ranges from CAN-bus, 1-wire and RF up to a HTPC; both hardware and software are addressed to make the really smart home; the domotics will provide energy saving, comfort, flexibility, safety
-
16
C / Perl based system and network monitoring system (NMS) providing plugin based polling/checking of services, raw and performance data with notifications. Provides full configurable web interface to configure the monitor
-
17
xContract is suite of per-language libraries that provide facilities for defining and enforcing software contracts. Intended to be used, where desired, in release modes/builds, xContract emphasises efficiency in addition to clarity and succinctness.
-
18
Vassert is a new feature from VMware Workstation. It is promising for developers to enhance code reliablity with less run-time cost. This project is a library to enable vassert usage under Linux guest os.
-
19
gnuProload is a tool for programming the AT89S52 microcontroller over Linux. Actually it is a Linux port of the 'Proload' and (easy-downloader) software created by Sunrom Technologies which can be used to program AT89S52 microcontrollers.
-
20
This project is for converting PCB RS274X gerber files to RS274NGC Gcode files. Currently this software is in the early development stages. Currently working to simplify the program and improve reliability.
-
21
-
22
Code Distance Visualizer is a static program analyzer. It learns patterns in user defined faulty and correct code instances and using visualization indicates which fragments in a program’s source code are the most similar to these instances.
-
23
Home Digital Center (HDC) Project is an open source project to easy our digital life, it aims at "Low power, low cost but high performance and high tech" solution for home usage including home media/automation/data and online services.
-
24
Kelp is a source code annotation framework. Written in strict ISO C90 with support for Posix and Windows environments. Large file support. Supports both 32 and 64 bit platforms. Plugins for Vim and Eclipse are available.
-
25
XML is one way to transfer a Printed Circuit Board (PCB) data base between Software Applications. This projects starts with an export from PCB123 and creates a Kicad brd file.