spo-iitk / ras-frontendView external linksLinks
Frontend for RAS portal of SPO IITK in NextJS
☆16Jan 22, 2026Updated 3 weeks ago
Alternatives and similar repositories for ras-frontend
Users that are interested in ras-frontend are comparing it to the libraries listed below
Sorting:
- Backend for RAS portal of SPO IITK in golang☆17Nov 11, 2025Updated 3 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- [Closed for the time being] Spheron Open Source AI Bounty☆61Mar 29, 2025Updated 10 months ago
- CMSC 430 Design and Implementation of Programming Languages☆51Dec 6, 2025Updated 2 months ago
- Haskell client library for exposing prometheus.io metrics.☆86May 3, 2025Updated 9 months ago
- ALP: Adaptive Lossless Floating-Point Compression☆163Oct 16, 2025Updated 3 months ago
- The adventures of a Haskell compiler☆237Oct 24, 2025Updated 3 months ago
- Unofficial rust implementation of Apache Iceberg with integration for Datafusion☆233Updated this week
- ☆210Jul 9, 2022Updated 3 years ago
- It's just fascinating. How is modern software designed? 🤔 Some design-level considerations for scalability, maintainability eventual con…☆2,145Feb 21, 2024Updated last year
- A minimalist RISC-V system emulator capable of running Linux kernel with efficient event-driven scheduling☆288Jan 3, 2026Updated last month
- BtrBlocks: Efficient Columnar Compression for Data Lakes (SIGMOD 2023 Paper)☆279Apr 7, 2025Updated 10 months ago
- 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
- think-cell core library☆451Apr 26, 2024Updated last year
- A simple native file system for Linux kernel☆471Jan 27, 2026Updated 2 weeks ago
- In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…☆480Dec 15, 2023Updated 2 years ago
- New file format for storage of large columnar datasets.☆690Feb 7, 2026Updated last week
- List of materials about functional programming in C++☆698Jun 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…☆641Sep 9, 2024Updated last year
- list of papers, code, and other resources☆1,041Aug 13, 2025Updated 6 months ago
- cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.☆1,255Updated this week
- Optimized string search routines for Rust.☆1,370Feb 6, 2026Updated last week
- An open source GPU based off of the AMD Southern Islands ISA.☆1,319Aug 18, 2025Updated 5 months ago
- Huge list of videos, talks, courses for Haskell programming language.☆1,148Oct 17, 2017Updated 8 years ago
- A bounded multi-producer multi-consumer concurrent queue written in C++11☆1,477Mar 8, 2024Updated last year
- A model checker for implementing distributed systems.☆1,778Jul 27, 2025Updated 6 months ago
- A declarative Unix terminal UI library written in Haskell☆1,697Updated 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 last month
- Rust cache structures and easy function memoization☆1,959Dec 22, 2025Updated last month
- Resumes generated using the GitHub informations☆62,793Feb 15, 2023Updated 3 years ago
- Extremely fast, in memory, JSON and reflection library for modern C++. BEVE, CBOR, CSV, MessagePack, TOML, YAML, EETF☆2,373Feb 6, 2026Updated last week
- A hash table with consistent order and fast iteration; access items by key or sequence index☆2,292Jan 7, 2026Updated last month
- Cista is a simple, high-performance, zero-copy C++ serialization & reflection library.☆2,173Dec 13, 2025Updated 2 months ago
- A high-performance distributed file system designed to address the challenges of AI training and inference workloads.☆9,706Feb 4, 2026Updated last week
- Genome modeling and design across all domains of life☆3,316Sep 17, 2025Updated 4 months ago
- What I Wish I Knew When Learning Haskell☆2,654Sep 13, 2025Updated 5 months ago
- Solve puzzles. Learn CUDA.☆11,942Sep 1, 2024Updated last year
- Build system, successor to Buck☆4,250Updated this week