在 Telegram 上快速模仿迟先生卖弱。
☆10Oct 28, 2021Updated 4 years ago
Alternatives and similar repositories for Chi-Telegram-Inline-Bot
Users that are interested in Chi-Telegram-Inline-Bot are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Jul 13, 2020Updated 6 years ago
- a minimal lisp interpreter written in ruby☆11Apr 15, 2021Updated 5 years ago
- 🌊 A React UI library☆13Feb 2, 2022Updated 4 years ago
- Hall of Shame☆67Nov 13, 2020Updated 5 years ago
- 🍎 Play Bad Apple! with Haskell☆15Jul 22, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- [WIP] BREAD operate system based on X86_64☆50Feb 11, 2021Updated 5 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Dec 16, 2020Updated 5 years ago
- 迟先生语料库☆32May 20, 2021Updated 5 years ago
- 第三次重构!☆16Dec 22, 2020Updated 5 years ago
- All-in-one mirror utility for SJTUG mirror☆53Jul 1, 2026Updated 2 weeks ago
- Just toys☆10Mar 5, 2023Updated 3 years ago
- A multi-threaded, persistent key/value store☆17Feb 9, 2021Updated 5 years ago
- Constructive Interpretations of HoTT☆36Aug 26, 2020Updated 5 years ago
- 🌿 For you, rustaceans from HIT☆26Mar 2, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- pastebin written in pure rust. A rewrite of ptpb/pb.☆45Nov 28, 2022Updated 3 years ago
- Protobuf and gRPC service definition of treehole.space☆10Mar 27, 2022Updated 4 years ago
- EncryptedClipboard☆13Sep 24, 2020Updated 5 years ago
- Generate truth table according to logic expressions☆14Dec 24, 2021Updated 4 years ago
- 十分钟魔法练习☆50Jan 9, 2021Updated 5 years ago
- ☆16Feb 18, 2025Updated last year
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- Mr. Chi simulator!☆26Jul 24, 2020Updated 5 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy☆51May 12, 2023Updated 3 years ago
- GIUEM's Nginx build scripts and configuration.☆14Nov 28, 2020Updated 5 years ago
- Simple example app using Gatsby.js with Purescript☆12Jan 6, 2023Updated 3 years ago
- Get problem statements PDFs from AtCoder, Codeforces, SPOJ.☆11Apr 19, 2023Updated 3 years ago
- A repository builder for ArchLinux☆13Feb 2, 2022Updated 4 years ago
- ☆18Mar 12, 2022Updated 4 years ago
- 在 Telegram 上快速模仿迟先生卖弱。☆16Jul 13, 2026Updated last week
- 网络防沉迷浏览器扩展，防止人沉迷网络，切实保护人身心健康☆17Nov 17, 2023Updated 2 years ago
- 个人简历☆13May 30, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A bridge between different serde implementations.☆16Sep 8, 2025Updated 10 months ago
- 🌈 BlueSense is a long-term project for monitoring Shanghai environment data.☆26Jul 20, 2022Updated 4 years ago
- A minimal esolang based on lambda calculus☆16Jan 13, 2021Updated 5 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- 2nd place solution of ECCV 2020 workshop VIPriors Image Classification Challenge, https://arxiv.org/abs/2008.00261☆13Aug 22, 2021Updated 4 years ago
- A lib to encode/decode Joycon Bluetooth packet.☆88Mar 28, 2023Updated 3 years ago
- 打打 bot☆13Updated this week