Repository Index

Non-comprehensive list of projects and resources related to open microscopy.

Akka.NET Reference Architecture - CQRS + Sharding + In-Memory Replication

A curated and non exhaustive list of Common Lisp libraries and resources.

Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]

• coq
• canonical-structures
• typeclasses
• ssreflect

Demo for a safe and effective custodial hot wallet architecture using features innovated by Substrate FRAME pallets and featured in production chains such as Polkadot and Kusama.

• substrate
• multisig-address
• polkadot
• transfer-funds

A demonstration of converting a custom Sitecore link provider from non-Helix to Helix