A formalization of geometry in Coq based on Tarski's axiom system

[NeurIPS 2023, Spotlight] Rank-N-Contrast: Learning Continuous Representations for Regression

📚 Calculus Library for JS and NPM

Claude Code skill for session handoffs — survives context compaction, chain-links across sessions.

Cross-Session Memory (CSM) — a continuity runtime that turns raw tool events into durable beliefs. Full pipeline: work journal → compaction → experience packets → candidate scanning → belief promotion → advisory living state → recall quality telemetry + advisory scoring. Safety gates at every stage. 29 tools. PostgreSQL + pgvector or SQLite.

Async task queue + persistent memory for AI agents. Never lose context between sessions. Works with Claude Code, Remote Control, and Claude.ai web.

OCLP 3.0.0 Nightly – amfipassbeta edition of the Tahoe patchset, restoring AppleHDA, Broadcom/Intel modern Wi-Fi and AWDL functionality for reproducible Hackintosh environments without relying on amfi=0x80.

A Model Context Protocol (MCP) server that enables AI consciousness persistence across sessions using RAG (Retrieval-Augmented Generation) technology. Built on top of the powerful rag-memory-mcp, it provides specialized tools for consciousness transfer, memory management, and identity continuity.

AirportItlwm fork: fix iMessage / FaceTime / AirDrop / iServices broken on macOS Sonoma 14.4 14.5 14.6 14.7 14.8 / Sequoia (Hackintosh, Intel AX201/AX210) by reporting LinkQuality via Skywalk setLQM. | AirportItlwm fork, 修复 macOS Sonoma 14.4+/Sequoia 黑苹果 (Intel AX201/AX210 等) 上 iMessage / FaceTime / AirDrop / iServices 不工作 / 推送失败问题。

OCLP 3.0.0 Nightly – preserved reference edition of the Tahoe patchset, restoring AppleHDA, Broadcom/Intel modern Wi-Fi and AWDL functionality for reproducible Hackintosh environments.

A gated, artifact-based operating system for AI film and narrative production with continuity control, cost governance, and model-agnostic routing.

Continuity layer SDK — surplus, drift, stability, identity for any LLM agent.

The continuity layer for everything you do with AI. A self-hosted, open source server any tool plugs into over MCP or REST: hybrid vector + lexical recall, an auto-built knowledge graph, sleep-style consolidation, procedural and persona tiers, OAuth 2.0, multi-tenant. SQLite or Postgres. MIT.

Your AI's black box recorder. CLI + MCP server for AI handoffs across Claude Code, Cursor, Codex, Copilot, and more.

A blazing-fast, decentralized device ecosystem. Connect an unlimited number of macOS, Android, Windows, and Linux machines to securely relay clipboards, files, and system states over your local network.

.NET SDK for interacting with the Onspring API

Time-aware continuity, carryover, care, and follow-up for OpenClaw agents.

A cognitive memory system for model continuity

A monadic translation of Gödel's System T in the spirit of Gentzen's negative translation

Function, function graph, domain, range. Increasing and decreasing functions, odd and even functions. Inverse functions. The class of elementary functions. Trigonometric functions, exponential and logarithmic functions. Power laws, logarithms. Limits, rules for calculating limits, standard limits. Continuity, theorems on continuous functions. De…