The bboard example is a Compact contract, a CLI environment and a UI built with React to deploy and interact with the contract that can be used as a template to start building on Midnight

Zed extension for the Compact Language

A p2p lending/borrowing protocol for the Cardano Settlement Layer, with trustlessly negotiable and enforceable loan terms, built-in credit histories, and full delegation control.

My personal blog on topics ranging from philosophy to DeFi.

Bringing rational privacy to blockchain

Automate changelogs, versioning, and publishing—even for monorepos across multiple package registries 🧭

Formal specifications of the Cardano ledger

💫 Toolkit to help you get started with Spec-Driven Development

A warm, playful iOS app to help you stay in touch with the friends who matter most.

Generative art from neural network topology. Visualizes module connections from neuronic as dendrite-like graphs.

A small CBOR codec suitable for no_std environments.

Real-time graph visualization for message bus systems.

ViGraph engine and modules

Buswatch is a collection of crates for monitoring and diagnosing message bus systems. It provides a terminal UI for real-time visualization, an instrumentation SDK for Rust applications, and adapte…

Cardano Data Node

Rust-native building blocks for the Cardano blockchain ecosystem

A Git-compatible VCS that is both simple and powerful

A smarter cd command. Supports all major shells.

A curated list of Rust code and resources.

Caryatid Event-based Modular Framework

convert images, video to ascii!

Acropolis microservice architecture & components in Rust

Acropolis modular node architecture & components in Rust

🔣 A collection of GitHub issue, pull request and security templates

Python SDK for seamless interaction with multiple Cardano DEXs, simplifying DeFi development.

A collection of (mostly) technical things every software developer should know about

Master programming by recreating your favorite technologies from scratch.

🐉 Loong: Synthesize Long CoTs at Scale through Verifiers.

Resources, links, projects, and ideas for gardeners tending their digital notes on the public interwebs