spo-iitk / ras-backendView external linksLinks
Backend for RAS portal of SPO IITK in golang
☆17Nov 11, 2025Updated 3 months ago
Alternatives and similar repositories for ras-backend
Users that are interested in ras-backend are comparing it to the libraries listed below
Sorting:
- Frontend for RAS portal of SPO IITK in NextJS☆16Jan 22, 2026Updated 3 weeks ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated 11 months ago
- A User Space Threading Library☆20May 9, 2024Updated last year
- ☆59Aug 27, 2024Updated last year
- ALP: Adaptive Lossless Floating-Point Compression☆163Oct 16, 2025Updated 3 months ago
- Unofficial rust implementation of Apache Iceberg with integration for Datafusion☆233Updated this week
- A minimalist RISC-V system emulator capable of running Linux kernel with efficient event-driven scheduling☆289Jan 3, 2026Updated last month
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆331Dec 9, 2024Updated last year
- Project Management App Build☆352Sep 9, 2024Updated last year
- Standard library for linear types in Haskell.☆352Jan 27, 2026Updated 2 weeks ago
- Multi-Threaded FP32 Matrix Multiplication on x86 CPUs☆377Apr 21, 2025Updated 9 months ago
- Stevan Apter-style trees in C++17☆373Dec 17, 2023Updated 2 years ago
- A toolkit for SAT-based prototyping in Python☆444Feb 4, 2026Updated last week
- My own templates and implementation of important algorithms and data structures for competitive programming☆425Apr 22, 2025Updated 9 months ago
- A simple native file system for Linux kernel☆471Jan 27, 2026Updated 2 weeks ago
- A list of operating systems and stuff☆2,115Aug 14, 2025Updated 6 months ago
- Build a full-stack Real Estate app from scratch with Google Authentication, dynamic routing, and more. Master essential skills for scalab…☆656Aug 7, 2025Updated 6 months ago
- New file format for storage of large columnar datasets.☆690Updated this week
- This project showcases the latest features of Next.js 15, including Next.js Form for seamless client-side form submissions, Unstable Afte…☆953Oct 29, 2024Updated last year
- A heap memory profiler for Linux☆3,985Feb 6, 2026Updated last week
- All things systems design. Resources, Interview questions, e.t.c☆1,028Aug 27, 2021Updated 4 years ago
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,163Jan 21, 2026Updated 3 weeks ago
- OpenSource GPU, in Verilog, loosely based on RISC-V ISA☆1,249Nov 22, 2024Updated last year
- cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.☆1,255Updated this week
- An open source GPU based off of the AMD Southern Islands ISA.☆1,319Aug 18, 2025Updated 5 months ago
- A bounded multi-producer multi-consumer concurrent queue written in C++11☆1,475Mar 8, 2024Updated last year
- An experimental pure-Rust x86 bootloader☆1,616Feb 3, 2026Updated last week
- A declarative Unix terminal UI library written in Haskell☆1,697Updated this week
- C++14 lock-free queue.☆1,814Jan 31, 2026Updated 2 weeks ago
- A fast bump allocation arena for Rust☆2,096Jan 12, 2026Updated last month
- Write your own virtual machine for the LC-3 computer!☆1,972Sep 9, 2025Updated 5 months ago
- This is a code repository for the corresponding YouTube video. In this tutorial we are going to build and deploy a real time chat applica…☆2,094May 3, 2024Updated last year
- A hash table with consistent order and fast iteration; access items by key or sequence index☆2,292Jan 7, 2026Updated last month
- A high-performance distributed file system designed to address the challenges of AI training and inference workloads.☆9,706Feb 4, 2026Updated last week
- A minimal GPU design in Verilog to learn how GPUs work from the ground up☆11,290Aug 18, 2024Updated last year
- Resumes generated using the GitHub informations☆62,793Feb 15, 2023Updated 2 years ago
- Demonstration of various hardware effects.☆2,963Feb 29, 2024Updated last year
- Tutorial created by Enyel Sequeira, taught by JavaScript Mastery☆3,498Jul 18, 2024Updated last year
- High-velocity, monorepo-scale workflow for Git☆3,990Feb 6, 2026Updated last week