Results for binder_core

Bind threads to idlest CPU core / 将线程绑定到最空闲 CPU 核心

rsbinder provides crates implemented in pure Rust that make Binder IPC available on both Android and Linux.

A generator of binding files for other languages

OxiLean elaborator - Surface syntax to kernel terms

A binder-first Motion-inspired animation framework for Leptos

Multiplicative-additive linear System L with exponentials, embedded in Rust's type system

Core IR - typed, explicit intermediate representation for BHC

Rust bindings for the Lean4 theorem prover

The vela command-line tool: build, check, sign, replay, and publish scientific frontier state.

Core library for the Vela scientific knowledge protocol: replayable frontier state, signed canonical events, and proof packets.

Vela agent layer: scoped scientific tasks (Literature Scout, Notes Compiler, Code Analyst, …) that emit signed proposals into a Vela frontier.

Solid-OIDC identity provider (authorization-code + DPoP-bound tokens, JWKS, credentials, dynamic client registration) — Rust port of JavaScriptSolidServer/src/idp