2 results found Sort:
Wandora is a general purpose information extraction, management and publishing application based on Topic Maps and Java.
Created
2014-06-30
537 commits to master branch, last one about a year ago
Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written, read, and understood by both people and computers.
Created
2019-08-20
1,915 commits to main branch, last one 6 days ago