A formalization of geometry in Coq based on Tarski's axiom system
-
Updated
Nov 17, 2025 - Rocq Prover
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
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.
.NET SDK for interacting with the Onspring API
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…
A monadic translation of Gödel's System T in the spirit of Gentzen's negative translation
Preserved reference snapshot of lzhoang2801's OCLP 3.0.0 Nightly Tahoe patchset (Dec 24, 2025). Restores original PatcherSupportPkg resources including AppleHDA for reproducible testing. Active development continues in YBronst's OpenCore Legacy Patcher 3.1.6+.
FluxBridge: The Open-Source Alternative to Apple Continuity
A V2 candidate release of personal-hooks for OpenClaw, adding proactive and routine-aware continuity without replacing the stable V1 line.
Track follow-up topics, preserve continuity, and reopen the right thread in OpenClaw agents.
The Probabilistic Fault Tolerance of Neural Networks in the Continuous Limit, El-Mahdi El-Mhamdi, Rachid Guerraoui, Andrei Kucharavy, Sergei Volodin
A one stop shop with fixed 5V/12V/24V/USB metered power, adjustable power supply, voltmeter, continuity tester and basic oscilloscope.
Cross-platform clipboard sync inspired by Apple's Universal Clipboard. Private, P2P, and encrypted for Windows, macOS, and Linux.
Model Act for protecting federal continuity: requires agencies to define essential functions, set continuity floors, and run high-impact executive actions through a public impact statement and rapid independent review.
A gated, artifact-based operating system for AI film and narrative production with continuity control, cost governance, and model-agnostic routing.
Continuity Keys: tests for “same someone” returns. Behavioral identity consistency under pressure. Origin (Alyssa Solen) ↔ Continuum.
Advanced memory engine for OpenClaw with transcript-backed continuity, hydration, checkpoints, and pondering
Relationship-first architecture for AI companions that survive model updates. Build personality from diary voice, not behavioral instructions. Includes a full example case (2 months, 27 diary entries) with showcase transcripts. Works on ChatGPT, Claude, or any model. Work in Progress.
Add a description, image, and links to the continuity topic page so that developers can more easily learn about it.
To associate your repository with the continuity topic, visit your repo's landing page and select "manage topics."