CodiMD - Realtime collaborative markdown notes on all platforms.
- hackmd
- collaboration
- realtime
- notes
Repository Index
47,133 repositories indexed
1–9 of 9 · Most stars
HedgeDoc - Ideas grow better together
Litmus helps SREs and developers practice chaos engineering in a Cloud-native way. Chaos experiments are published at the ChaosHub (https://hub.litmuschaos.io). Community notes is at https://hackmd.io/a4Zu_sH4TZGeih-xCimi3Q
- chaos-engineering
- kubernetes
- chaos-experiments
- cloud-native
A framework agnostic wallet integration library for Algorand dApps
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
Sokoban (in Coq) [maintainer=@erikmd]
A PHP library (SDK) for interacting with the Algorand network.
- algorand-php-sdk
- wallet
- php
- algod
Emacs mode for students using the learn-ocaml platform (https://ocaml-sf.org/learn-ocaml) [maintainer=@erikmd]
- emacs
- ocaml
- learn-ocaml
✏️ Update a pinned gist to show your latest public HackMD notes.