Search Results for "assistant"
Sort By:
Showing 28 open source projects for "assistant"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
oomwoo
Open-source vacuum robot cleaner
oomwoo is an open-source robot vacuum project designed for people who want to build their own home cleaning robot. It combines Raspberry Pi, ROS2, Home Assistant, 2D LiDAR, ESP32, Arduino, and 3D printing into a community-buildable platform. The project aims to avoid vendor lock-in by keeping the hardware, software, and firmware open. It is designed around local control, with no cloud required for regular operation. The roadmap includes autonomous navigation, mapping, a documented 3D-printable chassis, firmware, motor drivers, sensor electronics, and ROS2 packages. ... -
2
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. -
3
JeeSite
A basic enterprise information development platform
...JeeSite is the best basic platform solution for you to quickly complete your project. JeeSite is the best study case for you to learn the Java platform. JeeSite is also the best assistant for private work. JeeSite is a Java-based development platform built on the Spring Framework, with Spring MVC as the model view controller, MyBatis as the data access layer, Apache Shiro as the authority authorization layer, Ehcahe for caching common data, and Activit as the workflow engine. It is the best integration in the JavaEE world. ... -
4
CIERA
Crop Information Engine and Research Assistant
CIERA is a data management system for multi-crop breeding programs. It handles the genealogy, phenotypic and genotypic data of most modern breeding programs. It is distributed under the GNU General Public License, Version 3. ** This site is under construction, as of June 2024. *** -
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.
-
5
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 -... -
6
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. -
7
Rocketry Research Assistant
A LibreOffice Base database for tracking rocketry research projects.
...Data analysis is a critical part of any research or engineering project. To help with a basic understanding of how databases are constructed and how they can be used we have created the Rocketry Research Assistant (RRA) database project. In this project we will take you step by step through the design, development and use process. This project is designed to get you started. To make you aware of how databases work. To help you understand how they can be helpful in your research projects. To let you know that you can develop basic database programs & skills that can be immensely beneficial to you & your team. -
8
Wuweido 3D CAD
Free 3D Mobile CAD
...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 CAD Assistant. Modeling features: 1. Draft creation tools: Line, Poly Line, Arc, Spline, Circle, Ellipse, Rectangle, Regular Polygon. 2. Primitive Solid creation tools: Box, Cone, Truncated Cone, Cylinder, Sphere, Torus, Wedge, Truncated Wedge, Pyramid, Truncated Pyramid. 3. Sweep modeling tools: Extrude, Revolve, Loft, Pipe, Path 4. ... -
9
ILA - teachable voice assistant
ILA is a fully customizable and teachable voice assistant for Java
ILA stands for (kind of) intelligent, learning assistant and is a speech recognition system aka voice assistant very similar to Siri, Google Now and Cortana. ILA is fully customizable and you can teach her/him/it new things by yourself like executing system commands, opening web pages, programs and apps or just some basic conversation :-) ILA runs on Java und thus is compatible to Windows, Mac and Linux. -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
10
This is the Sourceforge reposository of the EU project EFAA. The Experimental Functional Android Assistant (EFAA) project will contribute to the development of socially intelligent humanoid robots.
-
11
scapcs
Computer Assistant for ICD-10-PCS Coding
This is Dr Shee's Computer Assistant for ICD-10-PCS Coding system. Brief as SCAPCS, Read like " scabies" and use a scabies picture as it's icon. By Using this program, the user can coding the ICD-10-PCS very easily without any assistant from the original ICD-10-PCS tabular. The first version is the Chinese version at 2014-05, An i18n version was released at 2014-08-23 (v 0.99b). -
12
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.
-
13
COQ Theorems, Abstractions and Implementations (bachelor Level) Coqtail is a library of mathematical proofs using the Coq proof assistant.
-
14
An active filter design assistant. Electrical engineers can use it to design and simulate analog active filters.
-
15
ScreeningAssistant 2 is a modular software dedicated to perform various simple and advanced chemoinformatics analysis around chemical libraries.
-
16
MICROMECHANICS
A collection of lecture notes and accompanying code on micromechanics
...The Fortran codes are based on the finite element method in linear and nonlinear settings, the latter capable of finite deformations with damage. The underlying theory is outlined in the lecture notes. -- İlker Temizer Assistant Professor Department of Mechanical Engineering Bilkent University 06800 Bilkent, Ankara Turkey -
17
Scale Assistant is an OpenOffice.org extension designed to give OOo Calc additional power that meet some needs of social sciences researcher.
-
18
elektronikOS
a unix based operating system for electronic engineers
-
19
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... -
20
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
-
21
Research Assistant is a free multi-platform open source project (C++/Qt) for researchers to ease their work in classification of any kind of information. It is going to be more than just a MS OneNote analog. For now it is under development.
-
22
A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
-
23
A software assistant for manual stereo photo metrology, allowing the generation of 3D digital data (x,y,z) of objects of interest in stereo photos. 3D data can be used in CAD or other applications.
-
24
Team Assistant (TA) 2006 is a multi function tool for the RoboCup Soccer Simulation 3D.Originally Team Assistant was developed as a Bachelor's in Software Engineering Project at Shahid Beheshti University's Electrical & Computer Engineering Faculty.
-
25
