Pinned Loading

1. shecanman shecanman Public

   Forked from rezdh/shecanman

   A simple lightweight utility script to use Shecan DNS servers temporarily on Linux. (I have fixed the issue with networkmanager in this fork)

   Shell 3

2. focalboard focalboard Public

   Forked from mattermost-community/focalboard

   Focalboard is an open source, self-hosted alternative to Trello, Notion, and Asana.

   TypeScript 4

3. farsibenevis.com farsibenevis.com Public

   مجموعه نکاتی درباره ی املا، نگارش و ویراستاری در زبان فارسی.

   8 4

4. elevator-model-checking elevator-model-checking Public

   Modeling an elevator with formal methods of software engineering (For formal methods in software engineering university course)

   Promela

5. QPI QPI Public

   Forked from UralmashFox/QPI

   the original code was outdated, updating some of the codes to actually run

   Jupyter Notebook