Normalize VAE-decoded image datasets for training AI artifact detection models with formal verification guarantees and RSR (Rhodium Standard Repository) compliance.
Neurosymbolic theorem proving platform with 12 prover backends
Experimental programming language projects
RPA paradise - robotic process automation toolkit
Parent repository for database application portfolio — QuandleDB, VeriSimDB, Lithoglyph, Glyphbase
Project Wharf approaches Content Management System (CMS) security that separates administration from runtime. Instead of plugins with full system access running on your live site, Wharf uses an offline controller (the Wharf) and read-only runtime (the Yacht) connected via a Zero Trust mesh network.
IPFS nodes in Kubernetes with ZeroTier overlay network
Developer ecosystem documentation and guidelines
High-assurance local print router/server — Dioxus 0.7 mobile app with IPP/1.1 server, mDNS printer discovery, document scanning with OCR, encrypted storage, and Idris2 ABI formal verification
PanLL eNSAID - Environment for NeSy-Agentic Integrated Development
Organization-wide standards and specifications
Cross-platform personal knowledge management - spatial notes, relationships, and agents
Independent neurosymbolic statistical auditor — Octave + Prolog cross-verification for StatistEase
Automation scripts and live file management utilities
Feature flag management with fire-and-forget semantics
Collection of personal scripts and tools
Haskell-based PHP hardening and security analysis tool.
V-lang GraphQL implementation and schema generation with Idris2 ABI proofs and Zig FFI
Add a description, image, and links to the palimpsest topic page so that developers can more easily learn about it.
To associate your repository with the palimpsest topic, visit your repo's landing page and select "manage topics."