Unified server capability catalogue with formally verified cartridges, distributed community hosting, and the Teranga menu system
-
Updated
Apr 20, 2026 - Zig
#
hyperpolymath
Here are 274 public repositories matching this topic...
Neurosymbolic theorem proving platform with 48 prover backends. Mathematical identity system, backed by VersisimDB.
rust coq agda lean formal-verification starred theorem-prover palimpsest neurosymbolic hyperpolymath
-
Updated
Apr 20, 2026 - Rust
Experimental programming language projects
programming-language automation experimental integration compiler tooling reliability systems operations starred rsr palimpsest hyperpolymath extended-language-tools
-
Updated
Apr 19, 2026 - Julia
Normalize VAE-decoded image datasets for training AI artifact detection models with formal verification guarantees and RSR (Rhodium Standard Repository) compliance.
automation integration tooling reliability systems operations starred palimpsest rhodium-standard hyperpolymath os-and-containers
-
Updated
Apr 18, 2026 - Julia
Developer ecosystem documentation and guidelines
documentation ecosystem automation integration tooling reliability standards systems operations guidelines developer-experience starred palimpsest hyperpolymath os-and-containers
-
Updated
Apr 19, 2026 - ReScript
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.
automation integration tooling reliability systems operations devops-tools starred palimpsest rhodium-standard hyperpolymath websites-and-cms
-
Updated
Apr 18, 2026 - Rust
ReScript Evangeliser — educational toolkit teaching JS/TS developers ReScript through progressive code transformation
-
Updated
Apr 18, 2026 - ReScript
PanLL eNSAID - Environment for NeSy-Agentic Integrated Development
-
Updated
Apr 18, 2026 - ReScript
Organization-wide standards and specifications
documentation reference specifications standards policy compliance governance starred rsr palimpsest hyperpolymath documents-and-standards
-
Updated
Apr 18, 2026 - HTML
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
rust security mobile ocr encryption cross-platform zig printing mdns ipp formal-verification palimpsest document-scanning idris2 dioxus hyperpolymath
-
Updated
Apr 18, 2026 - Rust
RPA paradise - robotic process automation toolkit
automation integration tooling reliability systems operations starred rsr palimpsest rhodium-standard hyperpolymath-tools hyperpolymath my-coolest-projects
-
Updated
Apr 17, 2026 - Rust
Parent repository for database application portfolio — QuandleDB, VeriSimDB, Lithoglyph, Glyphbase
-
Updated
Apr 19, 2026 - Rust
Cross-platform personal knowledge management - spatial notes, relationships, and agents
automation integration tooling reliability resources systems operations starred palimpsest hyperpolymath
-
Updated
Apr 18, 2026 - Rust
Robot dog enterprise content management
automation integration tooling reliability systems operations starred palimpsest hyperpolymath my-coolest-projects
-
Updated
Apr 18, 2026 - Rust
Cross-platform system tools for everyday users - trustworthy help without fearware
ecosystem utilities cross-platform reliability desktop safety systems-management user-friendly starred system-tools privacy-first palimpsest hyperpolymath ambientops
-
Updated
Apr 18, 2026 - Elixir
Civic engagement platform and government API integration
git government api workflow devops automation civic democracy collaboration ci-cd engagement starred rsr palimpsest rhodium-standard hyperpolymath-tools hyperpolymath git-and-workflow
-
Updated
Apr 19, 2026 - Rust
HPC document extraction engine — Chapel + Zig FFI pipeline for OCR, NER, metadata extraction, and classification
-
Updated
Apr 17, 2026 - Zig
Asymmetric camera multiplayer game system (Elixir + Rust)
-
Updated
Apr 18, 2026 - ReScript
Improve this page
Add a description, image, and links to the hyperpolymath topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the hyperpolymath topic, visit your repo's landing page and select "manage topics."