M

machine learning

Materials on various sections in Computer Science (CS). 🎓

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

Alex4M9_ARMG0268XZ59

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

Hybrid Filtering with Spark MLlib

🤖 AI browser extensions & userscripts to augment your web experience

💬 Epic prompts to turbo-charge your LLM chatbots.

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

Apex est un panel moderne de gestion et d'administration conçu pour offrir une expérience rapide, légère, sécurisée et hautement évolutive. Le projet a pour objectif de proposer une alternative professionnelle aux panels traditionnels en plaçant la performance, la modularité et la maintenabilité au centre de son architecture.

Apex repose sur une architecture distribuée composée de trois couches principales. Le cœur du système est développé en Rust afin de bénéficier de performances élevées, d'une gestion fine des ressources et d'une excellente sûreté mémoire. Une Gateway développée en Go constitue l'intermédiaire entre le cœur du système et les clients. Elle centralise notamment l'API publique, l'authentification, la gestion des sessions, les communications temps réel et la validation des requêtes. L'interface utilisateur est développée en TypeScript avec React et Vite, accompagnée de SCSS, afin de fournir une interface moderne, réactive et légère.

La gestion des conteneurs repose sur containerd. Cette approche permet à Apex de contrôler précisément son environnement d'exécution tout en conservant une séparation claire entre la logique métier et l'infrastructure.

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.

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

Bahn-Vorhersage - The best Train Delay Prediction System.

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

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

Your very own Assistant. Because you deserve it.

Python Data Science is an open source project providing guidance on python (and selectively R, Julia) packages relevant for data science tasks

Toolchain to translate the Navajo language into American English

Provides biomedical plotting archetypes fully interoperable with the matplotlib API.