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 📱!
monoscope-tech/monoscope
Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.
mtolly/onyx
Toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games
IntersectMBO/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
IntersectMBO/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
carp-lang/Carp
A statically typed lisp, without a GC, for real-time applications.