Search Results for "assistant"
Sort By:
Showing 10 open source projects for "assistant"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
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. -
2
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 -
3
KherveSheet
Excel for scientists: high-quality plots, Python in cells, AI side bar
...Curve fitting and peak fitting are supported, with goodness-of-fit reporting overlaid on the plot. Every cell can also run a full Python program, not just a formula. An integrated AI assistant can generate the cell code from a plain-language description if needed. Learn by doing with 300 ready-made scientific examples covering plotting, data analysis, fitting and simulation. Built entirely in Python, KherveSheet adds a familiar Excel-style grid, an optimisation solver, and a native .ksheet format with CSV and Excel import/export. ... -
4
book
A textbook on informal homotopy type theory
The canonical Homotopy Type Theory informal textbook, initiated at the Institute for Advanced Study (2012–13) under the Univalent Foundations project. It presents the theory pedagogically without requiring technical proof assistant use. -
Build Data Resilience - Take the Assessment TodayIs your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
-
5
AstroTortilla
Astrophotography assistant
AstroTortilla is a wrapper around common astrophotography tools intended to automate basic tasks such as polar alignment and goto correction. Not in active development presently. -
6
AsiEs stands for Asistente de Escritura (writing assistant). It provides word prediction and autocomplete for fast writing. Thought for people with difficulties writing on keyboard, improves the writing speed preventing the user from pressing at most 50% of keys to write and avoids ortographic errors. Made by Fundación Teletón Uruguay (http://www.teleton.org.uy/home/)
-
7
An active filter design assistant. Electrical engineers can use it to design and simulate analog active filters.
-
8
Forecast Production Assistant
Met object database and interactive graphical editor
Meteorologists use the FPA to create a series of weather charts, known as depictions, that show weather fields over a sequence of times. The weather fields can contain grid point data or sets of areas, lines or scattered points. The weather depictions are not just graphical displays, but windows into an object database. By connecting processes to the database, forecast offices can automatically generate forecast products or run local models, while spending more of their time on weather... -
9
Shift Word Helper is a scrabble-like games helper, which includes an online dictionary client. Shift Word Helper est un bon assistant pour les jeux de mots tels que le scrabble, avec un dictionnaire en-ligne integré. English & french supported
-
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.
-
10
PLGS Assistant
Easing the identification of high quality PLGS identified peptides
This software tool assists in the identification of PLGS identified peptides that provides high quality HDX information. The output file is formated so it can be directly imported into DynamX. This tool requires that the user has python installed.
- Previous
- You're on page 1
- Next
