Search Results for "structured text"

MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive...

...Uniquely, JQM bridges the gap between theory and practice: it visualizes the solution process with generated Karnaugh Maps for students, while supporting PLC engineers by exporting results to Structured Text (ST) and Ladder Diagram (LD). The software includes a GUI for managing truth tables and supports diverse file formats for import and export.

For Homepage, Blog, Family Tree, Database, C#|hjt|js|chm Editor. Convert hjt2xml, (c#)cs2xml, chm2xml, js2xml, xml2cs, xml2js, xml2hjt, cs2hjt, hjt2cs, cs2chm, hjt2chm. IE/Opera/Firefox/PocketPC supported.

PLC-EMU is a Programmable Logic Controller EMUlator for automation applications on linux with digital/analog IO cards, with C functions, Ladder Diagrams,or IEC61131-compliant Instruction List/Structured Text. It is a cheap and open alternative to PLCs.

Orkney is a small but powerful test framework for Java. Orkney executes tests that are structured into test groups, test cases and test steps. Test steps are used like bricks to create test cases while test groups collect test cases and other test groups to create a test suite. Test cases are written in a simple text language thus allowing composition of cases from test steps without deep programming knowledge. Reports are created in text and in XML format, the latter are converted to a human readable form when using a standard web browser.

SW for creation of arrows and ellipses shapefiles for visualization of vectors error ellipses etc. Input is structured text file. Output is shapefile (open specification from ESRI). Shapefile is widely used in GIS SW.

WSciParser (Web Science Parser) is a handy small library created in C#.NET to parse data from web science databases (ISI Web, NCBI, PubMed...)

The Comparative Genomics Vocabulary (CGV) is a SKOS representation of comparative genomics containing terms, text definitions and synonyms of the domain. The vocabulary is structured with broader and narrower relationships between the concepts.

The UIMA Annotator (called BRUTUS - Business Rules from Unstructured Text and Unstructured Sources) is a component for the UIMA Framework that allows for capturing business knowledge formalized in Structured English syntax (based on OMG's SBVR) with MOF