RPA paradise - robotic process automation toolkit

Cross-platform document editor with format tabs

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

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

Pure functional static site generator in Haskell with type-safe templates

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

Zotero plugin for contradiction detection and mood scoring

Configuration language with gradual types

Digital privacy through controlled identity proliferation

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

Volume modulation and audio control

Dependently-typed Glyph Query Language

Ada TUI for managing rclone cloud mount configurations with rate limiting and SDP security

All-seeing monitoring and observability platform

Linear type system for safe WASM memory management

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.

Experimental programming language projects

Provably reversible file operations through maximal principle reduction - data loss architecturally impossible

Super normalized data structures

Gallery of LLM patterns and implementations