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 last month
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Assignment submissions of the semester 2020-21-II offering of CS220 at IIT Kanpur☆12May 4, 2021Updated 4 years ago
- A User Space Threading Library☆20May 9, 2024Updated last year
- Containers for building C++ on CI☆48Sep 20, 2024Updated last year
- Reading, writing and manipulating ".tar" archive files.☆42Oct 1, 2025Updated 5 months ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆82Updated this week
- A minimal Tensor Processing Unit (TPU) inspired by Google's TPUv1.☆198Aug 10, 2024Updated last year
- The adventures of a Haskell compiler☆236Oct 24, 2025Updated 4 months ago
- It's just fascinating. How is modern software designed? 🤔 Some design-level considerations for scalability, maintainability eventual con…☆2,153Feb 21, 2024Updated 2 years ago
- Multi-Threaded FP32 Matrix Multiplication on x86 CPUs☆379Apr 21, 2025Updated 10 months ago
- Stevan Apter-style trees in C++17☆374Dec 17, 2023Updated 2 years ago
- Tutorials on tinygrad☆459Oct 10, 2025Updated 4 months ago
- A toolkit for SAT-based prototyping in Python☆446Updated this week
- think-cell core library☆456Apr 26, 2024Updated last year
- A list of operating systems and stuff☆2,131Aug 14, 2025Updated 6 months ago
- List of materials about functional programming in C++☆700Jun 27, 2020Updated 5 years ago
- An x86 monolithic kernel and operating system written in modern C++. Comes with in-house graphical applications and command line utilitie…☆640Sep 9, 2024Updated last year
- Open Source Introductory Systems Programming Textbook for the University of Illinois☆768Feb 10, 2026Updated 3 weeks ago
- A heap memory profiler for Linux☆4,010Feb 20, 2026Updated 2 weeks ago
- cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.☆1,268Updated this week
- A repo for boilerplate code for testing, deploying, and shipping chainlink solidity code.☆1,282Jan 10, 2026Updated last month
- A free book: "The Science of Functional Programming"☆1,478Feb 8, 2026Updated last month
- An experimental pure-Rust x86 bootloader☆1,626Updated this week
- Playing around "Less Slow" coding practices in C++ 20, C, CUDA, PTX, & Assembly, from numerics & SIMD to coroutines, ranges, exception ha…☆1,900Dec 23, 2025Updated 2 months ago
- Here record some tips about pwn. Something is obsoleted and won't be updated. Sorry about that.☆1,820Jun 8, 2019Updated 6 years ago
- A fast bump allocation arena for Rust☆2,127Feb 26, 2026Updated last week
- Write your own virtual machine for the LC-3 computer!☆1,973Sep 9, 2025Updated 6 months ago
- Extremely fast, in memory, JSON and reflection library for modern C++. BEVE, CBOR, CSV, MessagePack, TOML, YAML, EETF☆2,408Updated this week
- Collection of tech talks, papers and web links on Distributed Systems, Scalability and System Design.☆2,211Nov 8, 2023Updated 2 years ago
- A high-performance distributed file system designed to address the challenges of AI training and inference workloads.☆9,749Updated this week
- A minimal GPU design in Verilog to learn how GPUs work from the ground up☆11,859Aug 18, 2024Updated last year
- The C++ Standard Library for Parallelism and Concurrency☆2,800Updated this week
- Resources and Implementations of Generative Adversarial Nets: GAN, DCGAN, WGAN, CGAN, InfoGAN☆3,098Sep 8, 2017Updated 8 years ago
- High-velocity, monorepo-scale workflow for Git☆4,009Mar 2, 2026Updated last week
- List of awesome university courses for learning Computer Science!☆66,776May 4, 2023Updated 2 years ago
- Netflix's Hystrix latency and fault tolerance library, for Go☆4,483Feb 24, 2024Updated 2 years ago
- A guide to writing a DNS Server from scratch in Rust☆4,578Apr 28, 2025Updated 10 months ago
- git commit --fixup, but automatic☆5,418Feb 14, 2026Updated 3 weeks ago