RPA paradise - robotic process automation toolkit

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

Platform-agnostic Rust library for AI routing on mobile devices

Haskell-based PHP hardening and security analysis tool.

Configuration Flow Orchestrator - intelligently orchestrate CUE, Nickel, and validation workflows

Automated multi-platform feedback submission tool

Oblibeny BOINC Platform for distributed computing projects

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.

Making web accessibility a search engine ranking factor

Academic workflow tools for research and publication management

Epistemic infrastructure framework for journalism (Wayfinder)

Decentralizing textile manufacturing through hyperlocal maker networks

Feature flag management with fire-and-forget semantics

A multimodal transport optimization platform with formal verification

A powerful, type-safe preference injection system for dynamic configuration management in Deno and ReScript applications.

One server. All editors. Universal document conversion.

NeuroPhone is a complete Android application for neurosymbolic AI on mobile devices. It combines spiking neural networks with large language models for advanced on-device intelligence.

Misinformation detection and defense toolkit

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

Laminar is a high-speed, cloud-to-cloud streaming relay that transfers data between cloud storage providers (Dropbox, Google Drive, S3, etc.) without downloading files to local persistent storage. Data flows through RAM buffers in parallel "laminar" streams, achieving maximum throughput while maintaining cryptographic integrity.