Home

PanLL

Environment for NeSy-Agentic Integrated Development -- a Human-Things Interface (HTI) designed for "Binary Star" co-orbit between a Human Operator and a Neurosymbolic Machine.

Quick Start

See the main README for installation and usage.

npx rescript build         # Compile ReScript modules
deno task build            # Full production build (Gossamer + bundle + CSS)
deno task dev              # Dev server on http://localhost:8000/public/

Key Concepts

• Three-panel parallel layout -- Panel-L (Symbolic: strict logic and constraints), Panel-N (Neural: streaming inference manifold), and Panel-W (World: shared canvas where results manifest). 106 panels across these three areas.
• Anti-Crash Library and Vexometer -- A logical circuit breaker prevents unvalidated neural output from reaching the workspace, while the Vexometer monitors cognitive friction in real-time and adjusts the UI to reduce operator fatigue.
• TEA architecture in ReScript -- Built on The Elm Architecture (Model/Msg/Update/View) in ReScript with a Gossamer (Zig + WebKitGTK) backend, producing a 5MB binary with no garbage collector pauses.

Architecture

Frontend is ReScript + TEA with Tailwind CSS. Backend is Rust + Gossamer (migrated from Tauri). Runtime uses Deno for build orchestration. 109 tests passing across JS and Rust.

See docs/ for architecture details.

Related Projects

• Gossamer -- Desktop app shell powering PanLL's backend
• BoJ Server -- MCP server providing tool access
• VeriSimDB -- Cross-modal database with PanLL dashboard panel
• ECHIDNA -- Theorem prover dispatch (port 9000)
• TypeLL -- Type verification kernel

Contributing

See CONTRIBUTING.md.

License

PMPL-1.0-or-later