Results for bank_db

A library to access FinTS access information for many German banks

A CLI tool to access FinTS access information for many German banks

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.

ILI9488 driver (Embassy-only) for the Riverdi RVA35HI-NUC144A 3.5" LCD shield over STM32U5 FMC 8080 parallel, with embedded-graphics integration

Show info derived from the IBAN, such as the BIC and bank name

A Rust library for integrating with Nicepay payment gateway API

Strict, composable saga VM for sequential workflows with compensation

Pure-Rust MIDI — Standard MIDI File (SMF) parser + transport metadata + soft-synth scaffold (SoundFont 2 / SFZ / DLS / pure-tone fallback). External instruments are loaded from disk; nothing is bundled in the binary.

Rust port of EPICS synApps optics module

Personal finance CLI — a self-hosted Plaid for Schwab, E*Trade, Chase, and more

Pure-Rust NSF (Nintendo Sound Format) player for oxideav — clean-room from nesdev.org wiki

Pure-Rust audio filters (volume, gate, echo, resample, spectrogram) for oxideav