Magically simple 2D & 3D game engine built on top of wgpu
A formally verified, deterministic, reversible game/simulation kernel designed as the reference environment layer for Infotheory.
Koi, alive in your terminal — chain-dynamics fish rendered in Unicode braille.
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.
This is the SDK for Rust. Like all BlockChyp SDKs, it provides a full client for the BlockChyp gateway and BlockChyp payment terminals.
Safe Rust bindings for Apple's SpriteKit framework — scenes, nodes, actions, physics, media, and offline Metal rendering on macOS
Safe Rust bindings for Apple's GameController framework — discovery, device snapshots, live input, and DualSense helpers on macOS
A no_std physical + virtual memory allocator with fragmentation handling, quarantine system, and safe IO API.
Physical AI simulation, control, and estimation pipelines for nabled
tao bridge for kbd — converts tao key events and modifiers to kbd types.
egui bridge for kbd — converts egui key events and modifiers to kbd types.
Dessins 2D no_std pour objets physiques (bras robotique, pendule, ressort-masse, boussole, engrenages,piston) sur OLED SSD1306 128×64
No description provided.
No description provided.