Skip to main content
Avatar for Charles Prosper from gravatar.com

Charles Prosper

Username    cpro
Date joined   Joined

7 projects

hyper-reason

Last released

A logical reasoner that uses a knowledge graph as a world model and the IKL logic DSL to beat dense-embedding/RAG precision+recall: ingest documents into a SQLite KG, query/forecast/counterfactual via IKL compiled to SQL, and return D3-visualisable graphs + grounded LLM interpretations with honest refusal. Local developer tool; the only AWS dependency is Bedrock InvokeModel for the Strands agent. Bundles hyper-kg + hyper-gliner.

hyper-kg

Last released

A typed knowledge-graph interface for reified-infon (hyperedge) facts: ingest, store, retrieve over a pluggable data layer. Embedded SQLite default; bring-your-own backend via one protocol.

hyper-gliner

Last released

Torch-only inference for grounded infon extraction: paragraph in -> typed, grounded, polarity-aware infons + coreference, multilingual (EN/JA/KO), on a fine-tuned mDeBERTa backbone. No transformers runtime dependency.

infon

Last released

Streaming knowledge-graph reasoner with a typed query layer (multilingual SPLADE + Dempster-Shafer MCTS + cassette persistence).

cassetteql

Last released

S3-native cassette substrate for typed knowledge graphs: Dempster-Shafer reasoner, sheaf GNN, Kan-based schema migration. No GPU, 17MB SPLADE bundled.

firework-sandbox

Last released

Local sandbox client for Firecracker/Docker execution with E2B/Daytona ergonomics

powerpoint-template-system

Last released

A comprehensive template system for creating professional business presentations with modern styling, cards, and badges

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page