IntersectMBO/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
halogenandtoast/ArkhamHorror
An unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, endorsed, or supported by, or affiliated with Fantasy Flight Games.
simplex-chat/simplex-chat
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
runtimeverification/haskell-backend
The symbolic execution engine powering the K Framework
IntersectMBO/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
simonmichael/hledger
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
GaloisInc/parameterized-utils
A set of utilities for using indexed types including containers, equality, and comparison.