Search Results for "programming program c2" - Page 3
Sort By:
53 projects for "programming program c2" with 2 filters applied:
-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
-
Business Automation Software for SMBsThe only software you need to increase cash flow, optimize resource utilization, and take control of your assets and inventory.
-
1
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. -
2
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 .
-
3
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. ...
