agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
Haskell
2,896 0
420
IntersectMBO/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
Haskell
3,180 0
757
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 📱!
Haskell
18,939 50
1,187
nammayatri/nammayatri
A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
Haskell
2,524 0
386