Pinned Repositories
atlink
🔗 A telegram bot that turns @ links into instagram links both in private chats and groups. Source code for: https://youtu.be/jhFsFZXZbu4
campfire
Upgrade your Camping Experience
creationDate
⏳ Approximating creation dates for telegram accounts
cross-prom
🔄 cross-prom is a service for cross-promotions in telegram. It can collect channels into a list, and output all of them into one message. It has a system of filtering.
genetic-salesman
🗺 A genetic algorithm to find the shortest path for coordinates on a cartesian plane - solution to the Traveling Salesman
graph-equivalence
Exam scheduling, latin squares and more — exploring problems equivalent to graph coloring in a visually appealing fashion
greenbook
spotify-to-telegram
Posts a song on a Telegram channel as soon as it's liked on Spotify
tagtrack
#️⃣ Telegram macOS Swift bug and suggestions tracker; integrates with Trello.
verified-compiler
⛓️ Simple verified compiler in Lean4
karipov's Repositories
karipov/creationDate
⏳ Approximating creation dates for telegram accounts
karipov/tagtrack
#️⃣ Telegram macOS Swift bug and suggestions tracker; integrates with Trello.
karipov/greenbook
karipov/spotify-to-telegram
Posts a song on a Telegram channel as soon as it's liked on Spotify
karipov/campfire
Upgrade your Camping Experience
karipov/drone
A step-by-step guide to drone photogrammetry with off-the-shelf parts by two undergrads at Brown.
karipov/infected_escape
Infected Escape is a simple turn based PvP surround game.
karipov/verified-compiler
⛓️ Simple verified compiler in Lean4
karipov/genetic-salesman
🗺 A genetic algorithm to find the shortest path for coordinates on a cartesian plane - solution to the Traveling Salesman
karipov/graph-equivalence
Exam scheduling, latin squares and more — exploring problems equivalent to graph coloring in a visually appealing fashion
karipov/art3mis
LDR helper
karipov/compost
ComPost is the first personal garden accessory that encourages users of all backgrounds to actively engage in a community involved with caring for plants.
karipov/cosmocrops
Space agriculture for tomorrow's frontiers
karipov/examplar
A Pyret editor for supporting example-first design.
karipov/final-benchmarks
Final benchmarks for the final homework.
karipov/git_lab
Git Lab for CSCI0190
karipov/gpa-calculator
📊 Calculate your GPA on a 4.0 scale based on your grades.
karipov/graph-coloring
karipov/greenbook-pi
karipov/ilo
🗣 Telegram bot to give farmers and community members the tools needed to combat the systematic use of forced and child labor in Uzbekistan’s cotton industry.
karipov/ImpostorBot
karipov/integer-programming
karipov/karipov
karipov/mini-rust
karipov/MultiPL-E
A multi-programming language benchmark for evaluating the performance of large language model of code.
karipov/munGen
Fine-tuned GPT-2 model for writing Model UN resolutions
karipov/music-editor
🎧 Python audio TAG metadata editor for Telegram.
karipov/orifon
🏛 Official Website of the Orifon Family
karipov/portfolio
karipov/sat-solver
Iterative DPLL SAT Solver with occurrence lists, jeroslow-wang heuristic