Search Results for "open assistant"

CERCA is an open-source research tool that supports the verification of bibliographic references in scientific manuscripts. It extracts references from PDF files and checks their existence and consistency against authoritative metadata sources, producing explainable diagnostics, audit logs, and reproducible reports. It is intended for: - Researchers performing final manuscript checks - Reviewers assessing reference consistency - Editors supporting editorial quality control -...

The Project has reached end of life. Web based tracking tool for ILL (Interlibrary Loan). May be added as "link target" to any existing linkresolver or used as a standalone linkresolver in connection with an EZB-Account. Needs: Tomcat, MySQL, Java 8

This application aids in the creation of Natural Deduction style logical proofs. The style is that used in University of Auckland Philosophy courses. Upon inputting a sequent, a proof can be completed within Natural Deduction Planner. The result can be exported to png, to text or to LaTeX macros.

RefKeep - A Personal Bibliography and Research Assistant

Musical Instrument Assistant (Scales, Chords & Theory) is a java based graphical tool for learning scales, chords, theory, and general music lessons on various instruments.

KCite is a program into which a user enters basic information about a publication or other information source. It then constructs numerous, properly formatted, variations of citation strings that can be pasted into a document.