Backend for RAS portal of SPO IITK in golang
☆17Nov 11, 2025Updated 4 months ago
Alternatives and similar repositories for ras-backend
Users that are interested in ras-backend are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Frontend for RAS portal of SPO IITK in NextJS☆16Jan 22, 2026Updated 2 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- [ICML 2025] LaCache: Ladder-Shaped KV Caching for Efficient Long-Context Modeling of Large Language Models☆18Nov 4, 2025Updated 4 months ago
- A high-performance, multi-threaded Formula 1 telemetry data generator and processing system.☆26Dec 30, 2025Updated 2 months ago
- ☆12Oct 24, 2025Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A simple XY-oscilloscope written in Go.☆22Mar 15, 2026Updated 2 weeks ago
- like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation☆16Apr 8, 2017Updated 8 years ago
- Large object allocator for Rust☆21Mar 16, 2026Updated last week
- Built Simple memory datastore like redis to learn how it works internally and how databases are built , it has set,get, transactions (mul…☆30Oct 30, 2023Updated 2 years ago
- my archlinux dotfiles☆82May 1, 2024Updated last year
- A minimal Tensor Processing Unit (TPU) inspired by Google's TPUv1.☆199Aug 10, 2024Updated last year
- A minimalist RISC-V system emulator capable of running Linux kernel with efficient event-driven scheduling☆293Mar 23, 2026Updated last week
- dot files :)☆178Feb 15, 2021Updated 5 years ago
- ☆199Sep 22, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- The adventures of a Haskell compiler☆239Mar 18, 2026Updated last week
- It's just fascinating. How is modern software designed? 🤔 Some design-level considerations for scalability, maintainability eventual con…☆2,161Feb 21, 2024Updated 2 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆331Dec 9, 2024Updated last year
- dude, is my code constant time?☆201Mar 19, 2024Updated 2 years ago
- Notebooks for "Probabilistic Machine Learning" book☆203May 4, 2022Updated 3 years ago
- Unofficial rust implementation of Apache Iceberg with integration for Datafusion☆233Mar 18, 2026Updated last week
- A list of operating systems and stuff☆2,144Aug 14, 2025Updated 7 months ago
- A toolkit for SAT-based prototyping in Python☆448Mar 5, 2026Updated 3 weeks ago
- BtrBlocks: Efficient Columnar Compression for Data Lakes (SIGMOD 2023 Paper)☆280Apr 7, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆210Jul 9, 2022Updated 3 years ago
- A heap memory profiler for Linux☆4,029Updated this week
- Parallel Hyperparameter Tuning in Python☆417Mar 11, 2026Updated 2 weeks ago
- Standard library for linear types in Haskell.☆354Feb 27, 2026Updated last month
- Tutorials on tinygrad☆464Oct 10, 2025Updated 5 months ago
- An open infrastructure to democratize and decentralize the development of superintelligence for humanity.☆645Updated this week
- Beautiful Interactive tables in your Flask templates.☆311Nov 22, 2024Updated last year
- Task abstraction for building executors☆587Feb 13, 2026Updated last month
- Atropos is a Language Model Reinforcement Learning Environments framework for collecting and evaluating LLM trajectories through diverse …☆943Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Open Source Introductory Systems Programming Textbook for the University of Illinois☆772Feb 10, 2026Updated last month
- Book Code for Competitive Programming☆626Jan 30, 2026Updated 2 months ago
- New file format for storage of large columnar datasets.☆703Updated this week
- cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.☆1,275Updated this week
- MOROS: Obscure Rust Operating System 🦉☆1,063Updated this week
- Collection of LaTeX resources and examples.☆559Nov 3, 2022Updated 3 years ago
- awesome-SLAM-list☆633Aug 16, 2018Updated 7 years ago