Popular repositories Loading
Repositories
- claude-marketplace Public
- TemporalKit Public
A Swift framework for expressing, evaluating, and model-checking temporal logic formulas, with a focus on Linear Temporal Logic (LTL).
- higher-graphen Public
AI-operated software development substrate for case graphs, evidence, obstructions, completions, and projections.
- harness-attribution Public
Harness Attribution: causal-inference methodology and tooling (hattr) for attributing LLM output changes to harness factors (prompts, RAG, specs) via counterfactual conditions, envelope subtraction, and pre-registration.
- advisorygraphen Public
Evidence-backed advisory structure, CLI contracts, and projections for technical advisory workflows.
- casegraph Public
Local-first, CLI-first case graph for work with dependencies, waits, evidence, and AI patch proposals.
- temporal_logic Public
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…