Pinned Loading

1. awesome-public-datasets awesome-public-datasets Public

   Forked from awesomedata/awesome-public-datasets

   An awesome list of high-quality open datasets (HQOD) in public domains (on-going).

2. fhetextbook.github.io fhetextbook.github.io Public

   Forked from fhetextbook/fhetextbook.github.io

   TeX

3. free-for-dev free-for-dev Public

   Forked from ripienaar/free-for-dev

   A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev

4. logical-verification-lean logical-verification-lean Public

   Forked from lean-forward/logical_verification_2025

   The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials

   Lean

5. mahdiislam.github.io mahdiislam.github.io Public

   HTML

6. termux-linux-setup termux-linux-setup Public

   Forked from orailnoor/termux-linux-setup

   Shell