Mohsen-Liaghat

Mohsen-Liaghat's Stars

• public-apis/public-apis

  A collective list of free APIs

  Language:Python315k4.2k63133.6k

• hmemcpy/milewski-ctfp-pdf

  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  Language:TeX10.9k244162587

• dgurkaynak/8-puzzle-solver

  A web-app that can solve 8-puzzle and visualize the search tree

  Language:HTML855143

• BelegCuthalion/lean-exc

  Language:Lean3202

• BelegCuthalion/logic00

  Material for the logic course

  Language:TeX1200