Search Results for "programming program c2" - Page 7
Sort By:
Showing 157 open source projects for "programming program c2"
View related business solutions-
Build innovative business apps powered by process automationManage your business as a unified system of interacting processes. Use BPMN 2.0 for low-code process modeling by business people. Follow your strategic goals with process architecture that always corresponds to the structure of an actual business.
-
Streamline Hiring with Skill AssessmentsCanditech offers innovative, cheat-proof skill assessments and job simulations to transform your hiring process. From technical skills to soft skills, we help you assess candidates on actual job performance. With over 500 customizable tests and powerful video interview features, you can evaluate real-world capabilities, streamline your hiring, and reduce biases. Whether you’re hiring for remote roles, mass hiring, or looking to expand your diversity pool, Canditech’s data-driven platform ensures the right candidates are chosen for the job every time.
-
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
IM Bot Framework is an adapter to interface console I/O programs to IM servers. The goal of this program is to allow easy development of bots in any programming language that can read from and write to stdio.
-
4
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. -
Haystack is a modern, engaging, and intuitive intranet platform that employees actually use.With customizable iOS and Android mobile apps, Slack and Microsoft Teams integrations, and an intuitive design employees love, Haystack brings an outstanding digital employee experience to your entire workforce, no matter where their work takes them.
-
5
LibThreadPool
Library for easy multithreading programming
The ThreadPool library is a simple and efficient way to manage multiple tasks in a program. It allows you to run several tasks at the same time using a pool of worker threads. The entire implementation is provided in one single header file, making it extremely portable and hassle-free to integrate into your project. Whether you are building a small project or a larger application, this library offers the necessary tools to efficiently handle multi-threading with minimal... -
6
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 .
-
7
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. ...
