MojmirDocekal

MojmirDocekal's Stars

• sanjib-sen/WebLaTex

  A complete alternative for Overleaf with VSCode + Web + Git Integration + Copilot + Grammar & Spell Checker + Live Collaboration Support. Based on GitHub Codespace and Dev container.

  Language:TeX1k292

• rawlins/lambda-notebook

  Lambda Notebook: Formal Semantics in Jupyter

  Language:Python266

• jeroenjanssens/data-science-at-the-command-line

  Data Science at the Command Line

  Language:HTML3.8k764

• domasx2/gamejs-box2d-car-example

  top down car game example for box2d an gamejs

  Language:JavaScript10230