An open source implementation of OpenAI's ChatGPT Code interpreter
Development toolkit for Web Services and XML data bindings for C & C++
Translates state machine into a target programming language.
Converts cobol copybooks to Xml/Java objects
Another drawing editor for LaTeX with PSTricks & TikZ
Tool support for the Z formal notation
A portable ANSI C resource compiler to import images, audio, and text.
Open-source code generator for Simulink/Stateflow
PHP Framework
Readable Lisp/S-expressions with infix, functions, and indentation
Synthesizing embedded control software from formal specifications