🔍 X-ray vision for async Rust. Visualize task execution, detect deadlocks, track lock contention, and debug async state machines with a real-time TUI, web dashboard, and IDE integrations.

🧰 Practical testing tools for async Rust 🦀 testkit-async is a comprehensive testing toolkit for async Rust code. It provides time control, deterministic execution, failure injection, and rich asser…

A visual and textual toolkit for Domain-Driven Design powered by category theory. Build precise domain models with drag-and-drop for domain experts or a DSL for developers. Validates aggregates, co…

Solutions architect

Ibrahim Cesar's personal blog

📺 ‏‏‎ ‎‏‏‎ ‎‏‏‎ ‎< A private by default, faster and cleaner YouTube embed component for React applications />

🔭 Privacy-first telemetry for data-driven developers. Add usage analytics to CLI tools & libraries in 3 lines. GDPR-compliant, self-hostable, with DO_NOT_TRACK support. Perfect for understanding re…

💎 Lucent is a fast, extensible code metrics analyzer built in Rust. It helps you understand code quality, complexity, and maintainability across multiple programming languages.

Exploratory computational investigations into the geometry of conscious states, bridging Integrated Information Theory, category theory, and information geometry.

From Cybernetics to Categorical Semantics in Distributed Software Organizations — Formalizing Organizational Viability in Open Source Software Governance

Lolli ⊸ is a linear logic workbench: parse, prove, extract, and compile linear logic to Rust

A tool for defining categorical structures and automatically deriving their internal type theories, proof systems, and interpreters. Specify a category, get a programming language.

🎯 Cross-compilation, zero friction - Build Rust for any target with automatic toolchain management, Zig integration, and containers

🦖 Scientific plotting at velociraptor speed for Rust

λ — Tradução em pt-br de "Structure and Interpretation of Computer Programs — JavaScript Adaptation"

🦀🎮 A Rust crate to help port Bevy games to Nintendo Switch using emulators - no NDAs required.

🔢 Category Theory for JavaScript/TypeScript developers. An embedded DSL making functors, monads, and adjunctions explicit and manipulable.