Frontend for RAS portal of SPO IITK in NextJS
☆11Jul 21, 2026Updated last week
Alternatives and similar repositories for ras-frontend
Users that are interested in ras-frontend are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Assignment submissions of the semester 2020-21-II offering of CS220 at IIT Kanpur☆12May 4, 2021Updated 5 years ago
- Infrastructure for thousands of task-specialised models that learn continuously from every interaction.☆89Updated this week
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆93Updated this week
- CS 771A: Introduction to Machine Learning, IIT Kanpur, 2022-23-autumn offering☆135Jul 2, 2026Updated 3 weeks ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆356Dec 9, 2024Updated last year
- 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.
- Unofficial rust implementation of Apache Iceberg with integration for Datafusion☆241Jul 22, 2026Updated last week
- Tutorials on tinygrad☆480Oct 10, 2025Updated 9 months ago
- The Airport extension for DuckDB, enables the use of Arrow Flight with DuckDB☆345Updated this week
- An x86 monolithic kernel and operating system written in modern C++. Comes with in-house graphical applications and command line utilitie…☆644Sep 9, 2024Updated last year
- Book Code for Competitive Programming☆633Updated this week
- MOROS: Obscure Rust Operating System 🦉☆1,091Updated this week
- GPU programming related news and material links☆2,245Jun 15, 2026Updated last month
- Emanate a structured view of your plain-text notes☆953Updated this week
- A bounded multi-producer multi-consumer concurrent queue written in C++11☆1,554Mar 8, 2024Updated 2 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.
- OpenSource GPU, in Verilog, loosely based on RISC-V ISA☆1,355Nov 22, 2024Updated last year
- An experimental pure-Rust x86 bootloader☆1,673Updated this week
- 🧘♂️ Open-source no-code & code web app builder☆4,067Aug 11, 2023Updated 2 years ago
- An open source GPU based off of the AMD Southern Islands ISA.☆1,398Aug 18, 2025Updated 11 months ago
- C++14 concurrent lock-free low-latency queue.☆1,880Jul 21, 2026Updated last week
- Cista is a simple, high-performance, zero-copy C++ serialization & reflection library.☆2,232Jul 16, 2026Updated last week
- Open Source Introductory Systems Programming Textbook for the University of Illinois☆1,545Jul 9, 2026Updated 2 weeks ago
- Playing around "Less Slow" coding practices in C++ 20, C, CUDA, PTX, & Assembly, from numerics & SIMD to coroutines, ranges, exception ha…☆1,916Updated this week
- Obsidian 🤝 Neovim☆6,161Jun 4, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The C++ Standard Library for Parallelism and Concurrency☆2,880Updated this week
- A fast bump allocation arena for Rust☆2,286Updated this week
- A heap memory profiler for Linux☆4,132Updated this week
- ✨ Build a machine learning model from a prompt☆2,590Mar 6, 2026Updated 4 months ago
- Resiliency patterns for golang☆2,344Feb 23, 2025Updated last year
- The seL4 microkernel☆5,661Updated this week
- Solve puzzles. Learn CUDA.☆12,347Sep 1, 2024Updated last year
- A plain text note-taking assistant☆2,737Updated this week
- A minimal GPU design in Verilog to learn how GPUs work from the ground up☆12,780Aug 18, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A guide to writing a DNS Server from scratch in Rust☆4,654Apr 28, 2025Updated last year
- High-velocity, monorepo-scale workflow for Git☆4,105Jul 15, 2026Updated 2 weeks ago
- Extremely fast, in memory, serialization, reflection, and RPC library for C++. JSON, BEVE, BSON, CBOR, CSV, JSONB, MessagePack, TOML, YAM…☆2,928Updated this week
- Learn Rust by writing Entirely Too Many linked lists☆3,588Jul 30, 2024Updated last year
- Light LDAP implementation☆6,400Jul 19, 2026Updated last week
- Kanidm: A simple, secure, and fast identity management platform☆5,182Updated this week
- An implementation of Shazam's song recognition algorithm.☆5,588Nov 19, 2025Updated 8 months ago