2023秋PKU编译原理lab，以及Koopa IR C++接口的文档
☆16Feb 12, 2024Updated 2 years ago
Alternatives and similar repositories for pku-compiler
Users that are interested in pku-compiler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- AeroAgentSim is a discrete-event simulation toolkit and developer workbench for low-altitude autonomous systems.☆65Mar 27, 2026Updated 3 weeks ago
- This project is a Python re-implementation for Windows (and other platforms) of the functionalities found in the azrilaiman2003/augment-…☆18May 29, 2025Updated 10 months ago
- [USENIX'25] HateBench: Benchmarking Hate Speech Detectors on LLM-Generated Content and Hate Campaigns☆14Mar 1, 2025Updated last year
- The final project of PKU course Compilers: Principles in Spring 2023, a SysY to RISC-V compiler. Document:：https://pku-minic.github.io/on…☆21Jun 15, 2023Updated 2 years ago
- Releasing open-sourced version of the code used in the paper "Perceptron-based Prefetch Filtering (ISCA 2019)"☆10May 27, 2022Updated 3 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.
- A caching framework for microservice applications☆24Apr 22, 2024Updated last year
- 中国人民大学本科生毕业论文（2021年修订版）latex模板☆17Mar 23, 2022Updated 4 years ago
- The implementation of AlphaEval: A Comprehensive and Efficient Evaluation Framework for Formula Alpha Mining(https://www.arxiv.org/abs/25…☆171Oct 8, 2025Updated 6 months ago
- ☆13Aug 2, 2023Updated 2 years ago
- Examples using MetaProgramming for writing tactics etc.☆20Nov 26, 2025Updated 4 months ago
- ☆19May 30, 2024Updated last year
- ☆53Mar 12, 2026Updated last month
- 把公司技术文档蒸馏成按职位方向过滤的结构化技术报告 | Inspired by colleague-skill & ex-skill☆130Apr 6, 2026Updated last week
- FLOPS counter for all your GPU benchmarking needs☆13Aug 8, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆22Jan 19, 2023Updated 3 years ago
- ☆22May 5, 2025Updated 11 months ago
- ☆22May 19, 2016Updated 9 years ago
- ☆31Aug 5, 2015Updated 10 years ago
- A cpp threadpool for c++11 c++14 c++17 c++20☆15Jun 30, 2023Updated 2 years ago
- 🦙🦙.🦀☆28Sep 24, 2023Updated 2 years ago
- Developing mathematics in Coq from the ground up☆25Mar 15, 2026Updated last month
- PKUAutoElective for 2022 spring semester☆113Sep 6, 2022Updated 3 years ago
- This repository provides the official implementation for Prototype-Guided Continual Adaptation for Class-Incremental Unsupervised Domain …☆35Jul 15, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆40Dec 14, 2025Updated 4 months ago
- I love computer networks.☆28Dec 25, 2024Updated last year
- ☆19Apr 30, 2024Updated last year
- MLIR dialect for libgccjit☆23Dec 3, 2024Updated last year
- ☆112Dec 26, 2025Updated 3 months ago
- Two Stones Hit One Bird: Bilevel Positional Encoding for Better Length Extrapolation, ICML 2024☆23Jun 26, 2024Updated last year
- To better understand the ggml library☆28Jun 13, 2025Updated 10 months ago
- Lab 5 project of MIT-6.5940, deploying LLaMA2-7B-chat on one's laptop with TinyChatEngine.☆18Dec 1, 2023Updated 2 years ago
- A SolarSystem Demo for openGL☆22Aug 6, 2016Updated 9 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Lightning-fast LLM inference engine - Built with Rust (inspiration from https://github.com/GeeeekExplorer/nano-vllm)☆34Jun 24, 2025Updated 9 months ago
- A Pytorch implementation of: "Deep Functional Maps: Structured Prediction for Dense Shape Correspondence"☆21Jun 9, 2021Updated 4 years ago
- Verified efficient algorithms in Lean4.☆37Jan 3, 2026Updated 3 months ago
- ECE408 (Applied Parallel Programming) Fall 2022 MP☆20Mar 24, 2023Updated 3 years ago
- Gallatin is a general-purpose memory manager for CUDA that allows for threads to quickly malloc and free memory of arbitrary size inside …☆25Updated this week
- APRIL: Active Partial Rollouts in Reinforcement Learning to Tame Long-tail Generation. A system-level optimization for scalable LLM tra…☆56Oct 11, 2025Updated 6 months ago
- [ICLR 2026] GenCompositor: Generative Video Compositing with Diffusion Transformer☆152Mar 16, 2026Updated last month