Results for site_logic

Small URL helpers for Queens Game, a free online colorful logic puzzle game.

Small URL helpers for Star Battle, an online 2-star logic puzzle game.

AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.

Rust bindings for the Listen Notes Podcast API

Columnar storage primitives (Column, ValidityMask) for pandas-parity dataframes — the storage layer behind fp-frame.

Differential conformance harness for frankenpandas against a live pandas oracle — packet fixtures + fuzz seed tests + live-oracle parity gates.

Expression evaluation / query parser for fp-frame DataFrames — pandas df.eval / df.query parity.

DataFrame and Series with pandas-API parity, AACE index alignment, and GroupBy / Rolling / Resample integration.

FrankenTUI terminal interface for interactive fp-frame / frankenpandas workflows.

GroupBy engine for fp-frame with dense-key / arena-backed / hash-map execution paths.

Flat and multi-level row index types (Index, MultiIndex) for pandas-parity dataframes.

IO layer for frankenpandas: CSV, JSON, JSONL, Parquet, ORC, HDF5, Excel, Feather, Arrow IPC, Pickle, Stata, SQL (SqlConnection with SQLite default backend).