Zotero plugin for contradiction detection and mood scoring

Web-Native Interactive Theorem Proving - ReScript + Deno interface for Coq proof assistant

Decentralizing textile manufacturing through hyperlocal maker networks

Negative-space diagnostics for invisible character detection

Super normalized data structures

Type-safe URL routing for ReScript applications with Elm-style parser combinators

Satirical UI demonstrating esoteric programming absurdity vs security theater

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

Cross-platform personal knowledge management - spatial notes, relationships, and agents

Privacy browser with fictional identity management

Teaching language where code breaks intentionally

A modern, secure, and high-performance templating engine built with ReScript and Deno. Zero TypeScript, zero Node.js.

Neurosymbolic filesystem manipulation suite

PanLL eNSAID - Environment for NeSy-Agentic Integrated Development

Comprehensive CLI website auditor - accessibility, SEO, performance, and security checks

Narrative-first reversible audit-grade database core

Documentation Reconciliation System - Automatically reconcile, deduplicate, and resolve conflicts in Git repository documentation using content-addressable storage and graph-based conflict resolution.