Mathematical computations in browser, steps included.
Mathematical Assistant on Web is a web interface for Maxima computations, including steps in the solution. The demo site is http://um.mendelu.cz and covers selected problems typical for courses of calculus on technical universities.
Assistant for generating Natural Deduction style proofs
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.
BigQuery is a serverless and cost-effective enterprise data warehouse that works across clouds and scales with your data.
BigQuery Studio provides a single, unified interface for all data practitioners of various coding skills to simplify analytics workflows from data ingestion and preparation to data exploration and visualization to ML model creation and use. It also allows you to use simple SQL to access Vertex AI foundational models directly inside BigQuery for text processing tasks, such as sentiment analysis, entity extraction, and many more without having to deal with specialized models.
This project provides a math worksheet environment for specially enabled children. Designed as a generic math worksheet for specially enabled persons to workout math problems with limited input in system as we do by hand.
Scorer is a music score learning assistant mainly designed to be used by kids. Its aim is to help music students get skillful and fast at reading pentagrams while having fun along the learning process.
Designed to be a desktop assistant, Charlix is based in AIML (Artificial Intellligence Markup Language). Charlix can help you configure and install things on your computer as well as entertain you. Charlix is a linux newbie's best friend.
Nihonaid is a tool to help one in the path of learning the building blocks necessary to learn Japanese language reading skills. Nihonaid is also a portal with japanese lessons and other content.
For Roofers, Remodelers, Contractors, Home Service Industry
Track leads, jobs, and tasks from one easy to use software. You can access your information wherever you are, get everyone on the same page, and grow your business.
The ORTHOEPIKON toolbox to build reading-aloud assistants HAS MOVED. we are no longer developing in SourceForge. The project is now in Gna!. Please visit us there: http://home.gna.org/orthoepikon.
Computer Science Grader Assistant is a software to help teachers and graders in grading computer science assignments that has to be compiled and executed. It process zip files (one for each student), decompresses them in folders, compiles the source code
Logic Assistant is a framework which enables creating logic circuits, simulating them, creating questions from them and applying to students as a contest or examination. It is developed on .Net C# and works on network over web services.