Alternatives and similar repositories for Following-Special-Friends-Telegram

Users that are interested in Following-Special-Friends-Telegram are comparing it to the libraries listed below

• Enter-tainer / rspb

  View on GitHub
  pastebin written in pure rust. A rewrite of ptpb/pb.
  ☆45Nov 28, 2022Updated 3 years ago
• raptazure / chocolate

  View on GitHub
  Talking about classical logic and abstract algebra in Haskell
  ☆16Feb 12, 2021Updated 5 years ago
• CoelacanthusHex / dotfiles

  View on GitHub
  Dotfiles of Coelacanthus
  ☆21Jan 5, 2026Updated last month
• meraymond2 / idris-ide-client

  View on GitHub
  TypeScript client for Idris IDE-mode.
  ☆13Nov 6, 2022Updated 3 years ago
• owo-lang / Mini-TT

  View on GitHub
  Documented version of a simple type-theoretic language: Mini-TT
  ☆18May 5, 2019Updated 6 years ago
• kernelbin / OI_FansGroup

  View on GitHub
  收集神仙OIer们的粉丝群群号
  ☆10Nov 15, 2020Updated 5 years ago
• TimRichter / CId

  View on GitHub
  a little category theory in Idris
  ☆10Jun 27, 2016Updated 9 years ago
• PhotonQuantum / hithit_bot

  View on GitHub
  打打 bot
  ☆14Feb 9, 2026Updated last week
• raptazure / unifier

  View on GitHub
  A multi-threaded, persistent key/value store
  ☆17Feb 9, 2021Updated 5 years ago
• raptazure / mauve

  View on GitHub
  🍎 Play Bad Apple! with Haskell
  ☆15Jul 22, 2022Updated 3 years ago
• ShellWen / open-keychain-reborn

  View on GitHub
  OpenKeychainReborn is an OpenPGP implementation for Android.
  ☆16Jul 8, 2022Updated 3 years ago
• CoelacanthusHex / archriscv-scriptlet

  View on GitHub
  Useful scripts for Arch RISC-V project
  ☆21Oct 2, 2024Updated last year
• creativenull / vim-lspclient

  View on GitHub
  A highly experimental lsp client for vim. Written in vim9script.
  ☆17Sep 1, 2022Updated 3 years ago
• yukiiiteru / DailySchedule_2020

  View on GitHub
  OS Tutorial Summer of Code 2020
  ☆19Jun 7, 2022Updated 3 years ago
• ZenithalHourlyRate / canokey-esp32

  View on GitHub
  ☆20Apr 7, 2023Updated 2 years ago
• xfoxfu / KagurazakaToilet

  View on GitHub
  分享可♂爱的卫生间
  ☆20Feb 26, 2016Updated 9 years ago
• jmchapman / Relative-Monads

  View on GitHub
  Relative Monad Library for Agda
  ☆24May 29, 2019Updated 6 years ago
• HougeLangley / phytium-kernel-archlinux

  View on GitHub
  飞腾 D2000 上运行的 Arch 内核
  ☆24Oct 30, 2022Updated 3 years ago
• lambda-magic / plt-books

  View on GitHub
  Books on programming language theory and linguistics in general.
  ☆56Jul 16, 2021Updated 4 years ago
• ryanorendorff / functional-linear-algebra

  View on GitHub
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆27Dec 23, 2023Updated 2 years ago
• thautwarm / Quick-Backend

  View on GitHub
  Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
  ☆24Jun 2, 2020Updated 5 years ago
• memset0 / lavandula

  View on GitHub
  mem0 的小玩具 qwq
  ☆26Dec 11, 2022Updated 3 years ago
• James-Fire / Factorio-Tiberium

  View on GitHub
  The tiberium mod for Factorio
  ☆11Jan 19, 2026Updated 3 weeks ago
• meraymond2 / idris-vscode

  View on GitHub
  Idris front-end for VS Code
  ☆61Mar 8, 2023Updated 2 years ago
• sdttttt / gcr

  View on GitHub
  📑 Compact specification git commit tool, it has a variety of practical small functions. (Inspired by git-cz on Node.js)
  ☆28Nov 30, 2025Updated 2 months ago
• axionl / OhMyQt

  View on GitHub
  Qt/QML 女生自用教学课程 | Self-taught Qt/QML Tutorial
  ☆35Sep 20, 2021Updated 4 years ago
• 0AIB / Text-Replace-Bot

  View on GitHub
  Telegram Auto Forward | auto Caption | Auto Text Replace | Movies info bot.
  ☆16Nov 22, 2022Updated 3 years ago
• michielst / auto-poster

  View on GitHub
  Automatically post images from a subreddit to an instagram account.
  ☆10Feb 24, 2022Updated 3 years ago
• ZiyaoZh / BTD6AutoCommunity

  View on GitHub
  Automating Bloons TD 6 gameplay to save time, enhance efficiency, and empower community collaboration. 专注于自动化气球塔防6的游戏流程，节省时间，提高效率，促进社区合作。…
  ☆11Jan 8, 2026Updated last month
• stefan-hoeck / idris2-sop

  View on GitHub
  Idris port of Haskell's sop-core library
  ☆37Aug 14, 2025Updated 6 months ago
• LEODPEN / Where-is-my-tab

  View on GitHub
  Search for tabs in the opened window, may can also search for bookmarks and history in future versions.
  ☆10Jun 2, 2021Updated 4 years ago
• lidongj / yqxx

  View on GitHub
  ☆32Oct 12, 2021Updated 4 years ago
• dannypsnl / write-a-programming-language

  View on GitHub
  How to make a new language(and why we shouldn't?)
  ☆40Aug 8, 2023Updated 2 years ago
• ejnshtein / twitterpicsbot

  View on GitHub
  Get media from Twitter tweets in Telegram.
  ☆10May 3, 2025Updated 9 months ago
• littlebear0729 / Mastodon2TG

  View on GitHub
  Sync mastodon toot and Telegram channel or group in both direction.
  ☆10Aug 24, 2023Updated 2 years ago
• dotStart / go-sstv

  View on GitHub
  Encoding of images into audio using the SSTV standard
  ☆10Sep 15, 2018Updated 7 years ago
• ixxchan / nb

  View on GitHub
  naïve blockchain in Rust
  ☆10Nov 13, 2020Updated 5 years ago
• MoeNetwork / NotEnoughCharacters

  View on GitHub
  不再维护，请使用 https://github.com/GTNewHorizons/NotEnoughCharacters
  ☆13Mar 24, 2020Updated 5 years ago
• marguerite / wenquanyi-ufo3

  View on GitHub
  WenQuanYi Fonts in ufo3 format
  ☆10Feb 9, 2024Updated 2 years ago