RPA paradise - robotic process automation toolkit

A puzzle game where solutions are cryptographically verified - prove your work, literally.

Zotero plugin for contradiction detection and mood scoring

Normalize VAE-decoded image datasets for training AI artifact detection models with formal verification guarantees and RSR (Rhodium Standard Repository) compliance.

A Rust implementation of Liquid State Machines (spiking neural network reservoirs) for temporal pattern recognition.

A comprehensive, production-grade robot vacuum cleaner simulation system with dual Julia and Rust implementations, GraphQL API, SLAM algorithms, and enterprise CI/CD infrastructure.

Humorous web app displaying authentic Blue Screen of Death errors - Deno + ReScript

Oblibeny BOINC Platform for distributed computing projects

Making web accessibility a search engine ranking factor

BGP-like IaC config router for Ansible, Salt, and Terraform

Decentralizing textile manufacturing through hyperlocal maker networks

Super-parallel corpus crawler for multilingual NLP and Computational Linguistics research

Modular shell configuration manager - declarative, idempotent, written in Ada for safety-critical reliability

Misinformation detection and defense toolkit

Phantom Metal Taste is an advanced multi-model database architecture designed to capture, analyze, and visualize the complex relationship between corporate initiatives and their outcomes.

All-seeing monitoring and observability platform

eTMA Handler is the BEAM edition of the Open University's electronic Tutor Marked Assignment (eTMA) marking tool. Originally written in Java, this project migrates the marking workflow to Elixir/Phoenix for improved reliability, cross-platform distribution, and modern web capabilities.

A multimodal transport optimization platform with formal verification

Automated repository management bot

NSAI system for disinformation detection