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

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page