Search Results for "library assistant"
Sort By:
Showing 6 open source projects for "library assistant"
View related business solutions-
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.
-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
1
AxisFlow
AxisFlow is a precision drawing assistant for FreeCAD
AxisFlow is a precision drawing assistant for FreeCAD, inspired by the workflow concept of MicroStation AccuDraw -
2
CERCA
CERCA – Citation Extraction & Reference Checking 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 -... -
3
Personal Assistant Macro Maker
a personal assistant tool that you can teach custom commands to
NOTE: The current release of this software is a beta version and is still under testing. Users are encouraged to report any found issues or suggestions to help improve future releases. The Personal Assistant Macro Maker(PAMM) is a desktop program that allows users to teach their computer how to perform custom tasks which can then be performed at any time through verbal commands. PAMM is able to record user actions such as clicking and typing and store those actions into a macro which the... -
4
HLM is a proof assistant for everyday mathematics, which is currently being developed. It aims for a user experience as close as possible to regular mathematical practice, and proofs which are understandable by humans with little extra effort.
-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
5
COQ Theorems, Abstractions and Implementations (bachelor Level) Coqtail is a library of mathematical proofs using the Coq proof assistant.
-
6
- Previous
- You're on page 1
- Next
