Lumos-metaverse / KodeinKGP-SubmissionsView external linksLinks
This repository is to handle all the assignments form the students at IIT KGP
☆84Aug 7, 2023Updated 2 years ago
Alternatives and similar repositories for KodeinKGP-Submissions
Users that are interested in KodeinKGP-Submissions are comparing it to the libraries listed below
Sorting:
- Search for question papers when the library can't save you.☆29Updated this week
- ☆12Dec 20, 2023Updated 2 years ago
- ☆12Jan 12, 2024Updated 2 years ago
- JNFP: a robust and open-source nofit polygon generator library in Java.☆10Sep 30, 2016Updated 9 years ago
- ☆12Jan 19, 2024Updated 2 years ago
- Basic Notes keeping repository for my learnings in Rust☆14Jun 25, 2025Updated 7 months ago
- ☆13May 10, 2024Updated last year
- A retro style Snake game reimagined with clone mechanics, juicy UI and CRT-inspired shader effects. Built in C using Raylib.☆20Aug 14, 2025Updated 6 months ago
- OCaml + Fly.io☆11Nov 21, 2025Updated 2 months ago
- A fully scriptable UEFI bootloader.☆13Aug 30, 2024Updated last year
- ☆11Nov 20, 2025Updated 2 months ago
- Watch videos together with your friends!☆13Jul 25, 2023Updated 2 years ago
- [FIC] Legislación y Seguridad Informática☆11Mar 3, 2014Updated 11 years ago
- Python parser for the Feed Item Query Language (FIQL)☆11Sep 3, 2023Updated 2 years ago
- ☆14Mar 13, 2025Updated 11 months ago
- Stands for Feedback-ERP. Automation extension for IIT KGP ERP feedback☆43Apr 17, 2024Updated last year
- 京东联盟新版接口PHPSDK☆11Dec 26, 2018Updated 7 years ago
- Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)☆13Mar 18, 2025Updated 10 months ago
- Historical L1Block snapshotter for OP Stack chains☆16Jul 12, 2023Updated 2 years ago
- Digital Ocen v2 API Client☆13Oct 14, 2017Updated 8 years ago
- Simple update checker for iOS apps☆175Mar 30, 2015Updated 10 years ago
- Starting template for https://react-book.melange.re☆10Jun 25, 2024Updated last year
- ☆15Oct 24, 2025Updated 3 months ago
- ☆14Apr 1, 2025Updated 10 months ago
- BS3: Block device in S3☆13Apr 19, 2022Updated 3 years ago
- A safer FFI interface for OCaml☆11Jul 20, 2024Updated last year
- Information repository and Solutions on IIT KGP Internet Problems.☆52Oct 15, 2025Updated 4 months ago
- Smart enums for c++☆12May 6, 2017Updated 8 years ago
- ☆13Feb 6, 2026Updated last week
- KPU - the RISC based Open Source CPU☆17Nov 4, 2017Updated 8 years ago
- GHHC-HACKBAR is an Advanced Web Penetration Testing Tool. Modified from Anon HackBar.☆14Jun 15, 2023Updated 2 years ago
- ReScript support for Zed editor☆21Jan 13, 2026Updated last month
- ☆11Feb 25, 2024Updated last year
- Get terminal size on Linux and Windows☆13Feb 19, 2017Updated 8 years ago
- SUSTech CS202/CS214 Computer Organization Project. Streams Bad Apple.☆10Dec 11, 2023Updated 2 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Mar 23, 2023Updated 2 years ago
- GoLang port of microsoft/TypeChat: library that makes it easy to build natural language interfaces using types.☆13Aug 15, 2023Updated 2 years ago
- A Rust implementation of a constant time LFU cache☆14May 21, 2024Updated last year
- KMB & LWB combined headway ETA☆14Apr 7, 2023Updated 2 years ago