Search Results for "programming program c2" - Page 3
Sort By:
55 projects for "programming program c2" with 2 filters applied:
-
EasySend is a no-code platform that transforms customer journeysEvolve forms into smart, AI-powered digital workflows that streamline your data intake and elevate customer experiences.
-
Accounting practice management softwareCanopy is a cloud-based practice management software for accounting and tax firms, offering tools for client engagement, document management, workflow automation, and time & billing. Its Client Engagement platform centralizes interactions with a secure portal, customizable branding, and email integration, while the Document Management system enables organized, paperless file storage. The Workflow module enhances visibility into tasks and projects through templates, task assignments, and automation, reducing human error. Additionally, the Time & Billing feature tracks billable hours, generates invoices, and processes payments, ensuring accurate financial management. With its comprehensive features, Canopy streamlines operations, reduces stress, and enhances client experiences.
-
1
Chor
A choreography programming language for concurrent systems
Chor is a strongly-typed choreography programming language for distributed systems. In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography. -
2
This project targets the SPU of the Cell/BE Processor. This library is intended to help the person programming the SPUs on the Cell processor move data into and out of the local store of an SPU without having to directly program the DMA hardware.
-
3
PLCduino
Open Source PLC based on the arduino platform
PLCduino is an open hardware alternative for industrial and home automation. It uses the well known ATmega chips as main processor, the same used on Arduino. This means that PLCduino is code-compatible with all arduino sketches. -
4
Pinnus is a project management tool for Extremme Programming. The program offers options to control stories, iterations and participates of a project. It is based on Eclipse Rich Client Platform and uses HSQLDB database .
-
Shoplogix Smart Factory PlatformReal-time Visibility into Your Shop Floor's Performance. The Shoplogix smart factory platform enables manufacturers to increase overall equipment effectiveness, reduce operational costs, sustain growth and improve profitability by allowing them to visualize, integrate and act on production and machine performance in real-time. Manufacturers that trust us to drive efficiency in their factories. Real-time visual data and analytics provide valuable insights to make better informed decisions. Uncover hidden shop floor potential and drive rapid time to value. Develop a continuously improving culture through training, education and data-driven decisions. Compete in the i4.0 world by making the Shoplogix Smart Factory Platform the cornerstone of your digital transformation. Connect to any equipment or device to automate data collection and exchange it with other manufacturing technologies. Automatically monitor, report and analyze machine states to track real-time production.
-
5
Kammerjäger
Kammerjäger is a debugging tool with integrated correctness proving.
Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors. ...
