RPA paradise - robotic process automation toolkit

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

Civic engagement platform and government API integration

Automated multi-platform feedback submission tool

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

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.

Decentralizing textile manufacturing through hyperlocal maker networks

Oblibeny BOINC Platform for distributed computing projects

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

Epistemic infrastructure framework for journalism (Wayfinder)

Making web accessibility a search engine ranking factor

Platform-agnostic Rust library for AI routing on mobile devices

A multimodal transport optimization platform with formal verification

Feature flag management with fire-and-forget semantics

Academic workflow tools for research and publication management

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.

One server. All editors. Universal document conversion.

DNS record randomization tool for deprecated HINFO and LOC records. Built with Ada for maximum security and type safety.

Userscripts validation, security registry, and decentralized verification (Haskell + IPFS)

Misinformation detection and defense toolkit