Search Results for "computer assistant"

SikuliX is now continued as OculiX at https://oculix.org. The active development,,releases, documentation and community have moved there. SikuliX (and now OculiX) automates anything you see on the screen of your desktop computer. Running Windows, Mac or some Linux/Unix. It uses image recognition powered by OpenCV to identify GUI components and can act on them with mouse and keyboard actions. This is handy in cases when there is no easy access to a GUI's internals or the source...

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 -...

Wuweido is a professional 3D CAD on your phone or tablet. More than just a viewer, dozens of modeling tools are provided to create and modify 3D models in the most natural way. Wuweido allows you to import and export models in standard CAD format. Unlike Onshape™ on Cloud, Wuweido is running locally on your device and it's more like Rhino™ 3D on mobile. Wuweido is powered by OPEN CASCADE. OPEN CASCADE is an incredible powerful geometry kernel innovating quickly. Wuweido is inspired by...

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.