🎒 💻 Material for Computer Club Classes
☆53Sep 30, 2024Updated last year
Alternatives and similar repositories for 2022-23-Classes
Users that are interested in 2022-23-Classes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository contains solution of problems on interviewbit.com☆21Aug 20, 2020Updated 5 years ago
- Simple web based system monitor built with Go☆13Dec 10, 2024Updated last year
- List of methods of applying proxy settings for MNNIT internet☆10Oct 10, 2022Updated 3 years ago
- A Rubik's Cube scrambler written in C++, very sketchy. Intended to make a programming language based on Rubik's cube.☆18Jul 30, 2023Updated 2 years ago
- Notes on Linear Mathematics, by Neil Strickland☆10Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A starter notebook for the Kitchenware classification competition on Kaggle☆15Jan 6, 2023Updated 3 years ago
- Red-Black Tree and Completely Fair Scheduler Simulation and Visualization☆17Apr 5, 2014Updated 12 years ago
- A private board for your favorite Bible verses, sermons, and anything else you need to be encouraged when life happens. Built with NextJS…☆15Feb 2, 2026Updated 5 months ago
- Suggested conventions and examples for Lean formalization of IMO problem statements☆16Jul 16, 2026Updated last week
- An attempt at bypassing the first steps of Google's hiring process by triggering a Foobar invitation through searching for different comb…☆17Jan 21, 2024Updated 2 years ago
- The Dart implementation of atSDK used for implementing Atsign's technology into other software☆1,438Updated this week
- ITMO University Computer Science Department home work projects☆14Dec 31, 2022Updated 3 years ago
- Building Monopoly in Python!☆17Feb 4, 2023Updated 3 years ago
- Yet Another Streaming Tool☆36May 14, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Collections-Tamil-Tanslation☆26Apr 5, 2023Updated 3 years ago
- A guide to the intrepid adventurer.☆22Nov 23, 2021Updated 4 years ago
- Set Theory Game☆27Jan 20, 2026Updated 6 months ago
- Full Stack Web Development || Following Angela Yu☆24Jul 23, 2020Updated 6 years ago
- How to read Lean☆28Jan 30, 2025Updated last year
- Αντικειμενοστραφής Προγραμματισμός (C++)☆23Jan 12, 2026Updated 6 months ago
- Stash of course resource of my courses @IITB CSE☆25Aug 1, 2023Updated 2 years ago
- Java Design Pattern Essentials (Second Edition) - book source code☆23Dec 3, 2014Updated 11 years ago
- Collection of coding questions (with solutions) appearing in online assessment of top software companies during campus placements at IIT/…☆320Mar 13, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The solutions written in Common Lisp for problems on Project Euler☆25Oct 12, 2025Updated 9 months ago
- Type Checking in Lean 4☆38Mar 22, 2026Updated 4 months ago
- A web app developed using Flask that compiles all the Problems on Codeforces that you have attempted (submitted at least once) but could …☆62Feb 16, 2023Updated 3 years ago
- List of gre words collected from various sources. [8813 words]☆28Apr 10, 2023Updated 3 years ago
- Book about using Lean with How To Prove It☆28Jun 10, 2026Updated last month
- My solutions to the ant book (プログラミングコンテストチャレンジブック [第2版], aka 蟻本, aka 白书)☆25Apr 3, 2022Updated 4 years ago
- ☆31Aug 18, 2021Updated 4 years ago
- Deployed model for classification of Garbage as Cardboard, Glass, Metal, Paper, Plastic or Trash, using Convolution Neural Networks.☆29Jul 24, 2022Updated 4 years ago
- ☆31Jul 16, 2025Updated last year
- 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.
- 《数据结构教程》（第六版）（李春葆）个人全部题解，实现了涉及的全部基础数据结构。☆24Apr 27, 2025Updated last year
- This tutorial explains how to add Polytonic characters to an existing Monotonic Greek typeface. In terms of the Google Fonts Glyph Sets/G…☆33Oct 24, 2022Updated 3 years ago
- All DSA Solutions in one repo! You are free to contribute your code.☆30Feb 21, 2024Updated 2 years ago
- Lean for Scientists and Engineers, course taught in Summer 2024☆38Jan 6, 2025Updated last year
- Collection of exercises from the FrontendExpert Course☆52Jun 21, 2024Updated 2 years ago
- My own HackerRank coding interview solutions☆54May 18, 2026Updated 2 months ago
- A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.☆69May 22, 2026Updated 2 months ago