ReScript implementation of The Elm Architecture
"What can be said at all can be said clearly." — Wittgenstein, Tractatus Logico-Philosophicus
Zotero plugin for contradiction detection and mood scoring
Actor-model static site generator in Pony
Customisable My language static site generator template. Make it yours.
Agda Static site generator with proof assistant integration. Verified content pipelines.
Static site generator for Betlang. Embrace the unlikely.
Recursive static site generator. Sites that build sites.
Smalltalk Static site generator with lighthouse guidance. Illuminating paths through content.
Unified MCP server for multi-cloud provider management. Tools for AWS, GCP, Azure, and DigitalOcean.
Unified MCP server for Git forge management. Tools for GitHub, GitLab, Gitea, and Bitbucket.
Feature flag management with fire-and-forget semantics
Narrative-first reversible audit-grade database core
ReScript-first userscripts for browser automation
Esoteric static site generator in COW. Proves Turing-completeness can be entertaining.
Foundational core library for the ReScript poly ecosystem - shared types, utilities, and abstractions
Web-Native Interactive Theorem Proving - ReScript + Deno interface for Coq proof assistant
NAFA is a journey planning app designed to help neurodiverse adventurers navigate public transport and sensory-rich environments with calm, confidence, and symbolic clarity.
Cross-platform personal knowledge management - spatial notes, relationships, and agents
Svalinn Project: A Rescript-powered edge shield (Deno) guarding a custom OCI runtime fortress (Vörðr). Post-cloud security architecture.
Add a description, image, and links to the hyperpolymath topic page so that developers can more easily learn about it.
To associate your repository with the hyperpolymath topic, visit your repo's landing page and select "manage topics."