tripp Claim this profile

Notebooks related to talks by content creator Benn Eifert

Lazy Financial Scenario Engine in Lean 4

High-Performance Zero-Copy Columnar Data Formats for Lean 4

Local I Ching oracle app with Ollama interpretation

Combinator-based DSL for verifiable policy instruments and financial contracts in Lean 4

Verified Markowitz portfolio optimization in Lean 4 with CvxLean and a Clarabel solver backend

In-memory ontology-driven context graph with hybrid retrieval (dense + BM25), RDF* provenance, and LLM extraction.

A Full YAML 1.2.2 Library with Round-Tripping and High-Performance in Lean 4

Multi-Agent Markov Games forecasting system using dspy-repl HaskellRLM for LLM-driven, pure-functional adversarial prediction.

Holm–de Lichtenberg–Thorup (HDT) deterministic fully dynamic connectivity, based on a hierarchy of spanning forests represented with Euler Tour Trees (ETTs). Rust-first core with a Python API that feels natural next to NetworkX, plus disciplined packaging and CI.

Almost-linear minimum-cost flow (Python + Rust)

A local-first Mermaid diagram workspace: import, edit, version, tag, and AI-assist your flowcharts, mindmaps, and sequences.

Python wrapper for jzip compression

Simultaneous unweighted correlation clustering on a complete graph where each pair is labeled positive or negative

Pythonic shortest-path API while delegating the heavy work to a Rust backend implementing BMSSP (the “sorting barrier” directed SSSP algorithm for non-negative weights).

economics and policy modeling