M

machine learning

Your very own Assistant. Because you deserve it.

The main project for OctoMY™ - Ready-to-run robot software

Bandicoot: user-friendly C++ library for GPU accelerated linear algebra, integrating with CUDA, OpenCL, Vulkan

Finally a smart RSS reader which doesn't suck ass or your data.

Armadillo: fast C++ library for linear algebra (matrix maths) & scientific computing - https://arma.sourceforge.net

Hybrid cloud-edge ML system for predictive rain control with automated retraining, monitoring, and Raspberry Pi hardware actuation.

🤖 AI browser extensions & userscripts to augment your web experience

iOS app that makes use of the NavajoKit toolchain to provide interlinear translations of Navajo text in English, a searchable bilingual dictionary, custom text tokenization, and detailed documentation

Toolchain to translate the Navajo language into American English

ModalLens is a research prototype for exploring and refining modal theories. The upcoming release will combine three layers: formal evidence, structural and learned analysis, and natural-language explanation.

Using Isabelle/HOL and Nitpick, it enumerates finite models and countermodels through blocking axioms, while Leo-III contributes proof evidence via TPTP/THF. The models are visualized as graphs and analysed using structural features, graphlets, clustering, and learned representations of heterogeneous semantic graphs to identify recurring patterns and differences between model families.

Selected structural patterns can then be translated into candidate refinement axioms that exclude the corresponding configurations. These axioms can be adopted automatically or with user input, followed by renewed model enumeration and analysis to examine the effects of each refinement.

LLM-generated explanations draw on the formal and structural evidence to explain findings and proposed refinements. Recorded provenance, reproducible runs, and visual exports make the process inspectable and suitable for experimental evaluation.

Phonic is an open-source AI-powered call interception and communication intelligence system that automatically screens incoming calls, blocks robocalls, records and transcribes voicemails, and maintains a complete call log. Built with modern telephony, machine learning, and speech-to-text technologies, it acts as an intelligent privacy layer between users and the phone network, continuously learning to improve spam detection and call handling. https://roxanneardary.com/phonic/

A landcover classification tool based for humans. Classifier does "traditional" supervised and unsupervised learning. Image segmentation and soon also object detection

A Stat Machine Learning Course Web. Curated by Kno Tsao

Alex4M9_ARMG0268XZ59

My personal portfolio, website, shop, platform everything in one.

Hybrid Filtering with Spark MLlib

💬 Epic prompts to turbo-charge your LLM chatbots.

Extract video representations (semantic, geometric, deep features) for the frames of any video.

Webpage for the L52+ lab

🐤 AI chat & search summaries in DuckDuckGo, powered by the latest LLMs