☆33Dec 19, 2024Updated last year
Alternatives and similar repositories for Sem_3
Users that are interested in Sem_3 are comparing it to the libraries listed below
Sorting:
- ☆23Apr 22, 2025Updated 10 months ago
- ☆17Jul 20, 2024Updated last year
- A repo of the resources available on Moodle (and bodhitree for CS courses) for the courses in my first year at IIT Bombay.☆21Nov 14, 2023Updated 2 years ago
- ☆15Oct 24, 2025Updated 4 months ago
- ☆17Jul 31, 2024Updated last year
- Verilog Design Examples with self checking testbenches. Half Adder, Full Adder, Mux, ALU, D Flip Flop, Sequence Detector using Mealy mach…☆181Jan 29, 2024Updated 2 years ago
- Repository to document courses conducted under TSS 2022☆10Dec 5, 2022Updated 3 years ago
- ☆310Feb 18, 2026Updated 2 weeks ago
- Competitive Programming 3 By Steven Halim, Exercise problems solutions.☆28Aug 23, 2018Updated 7 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Nov 13, 2025Updated 3 months ago
- Animations made using manim-ce☆47Jan 24, 2023Updated 3 years ago
- ☆42Jun 19, 2025Updated 8 months ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Oct 21, 2025Updated 4 months ago
- A fast bitboard-based chess move generator in C++☆66Jan 24, 2023Updated 3 years ago
- Former config files from my home directory☆106Apr 6, 2025Updated 11 months ago
- Set of Jupyter Notebooks, along with datafiles, to get started with Scientific Computing in Astronomy☆189Nov 25, 2023Updated 2 years ago
- The Charm++ parallel programming system. Visit https://charmplusplus.org/ for more information.☆229Feb 25, 2026Updated last week
- Recreation of a classic arcade game remade as a UEFI application for the x86_64 platform.☆499Oct 3, 2025Updated 5 months ago
- screenshots leetcode editorials and problems☆1,070Aug 31, 2023Updated 2 years ago
- ☆239May 16, 2024Updated last year
- A curated list of Zero Knowledge links, mostly focusing on blockchain.☆355Sep 2, 2025Updated 6 months ago
- articles, codes and tools all about zero-knowledge proofs☆921Oct 6, 2024Updated last year
- Ready-to-run cloud templates for RAG, AI pipelines, and enterprise search with live data. 🐳Docker-friendly.⚡Always in sync with Sharepoi…☆56,279Jan 7, 2026Updated 2 months ago
- Liquid Types For Haskell☆1,293Feb 27, 2026Updated last week
- An Interview Primer for Quantitative Finance☆1,501Sep 28, 2019Updated 6 years ago
- Python toolkit for quantitative finance☆9,927Feb 20, 2026Updated 2 weeks ago
- The LaTeX2e kernel☆2,339Updated this week
- A chess library for Python, with move generation and validation, PGN parsing and writing, Polyglot opening book reading, Gaviota tablebas…☆2,760Feb 13, 2026Updated 3 weeks ago
- Main Web Site (Online Books)☆10,203Feb 25, 2026Updated last week
- The Microsoft community Windows Package Manager manifest repository☆10,293Updated this week
- Learning Vim and Vimscript doesn't have to be hard. This is the guide that you're looking for 📖☆14,947Oct 27, 2025Updated 4 months ago
- A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training☆23,746Aug 15, 2024Updated last year
- Oh my tmux! My self-contained, pretty & versatile tmux configuration made with 💛🩷💙🖤❤️🤍☆24,362Feb 21, 2026Updated last week
- WinGet is the Windows Package Manager. This project includes a CLI (Command Line Interface), PowerShell modules, and a COM (Component Obj…☆25,472Updated this week
- Machine Learning From Scratch. Bare bones NumPy implementations of machine learning models and algorithms with a focus on accessibility. …☆30,908Oct 15, 2023Updated 2 years ago
- Fish-like autosuggestions for zsh☆34,927Jun 24, 2025Updated 8 months ago
- A toolkit for developing and comparing reinforcement learning algorithms.☆37,061Oct 11, 2024Updated last year
- Universal memory layer for AI Agents☆48,604Updated this week
- A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IM…☆41,074Updated this week