Search Results for "structured text"
Sort By:
Showing 7 open source projects for "structured text"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
MathCode
A Frontier Mathematical Coding Agent
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... -
2
JQM Java Quine McCluskey
JQM - Java Quine McCluskey for minimization of Boolean functions.
...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. -
3
TreeGraph
Information Manager(split/analyze/compare/combine).
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. -
4
Orkney
Orkney Testframework
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. -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
5
WSciParser (Web Science Parser) is a handy small library created in C#.NET to parse data from web science databases (ISI Web, NCBI, PubMed...)
-
6
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.
-
7
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
- Previous
- You're on page 1
- Next
