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:
- 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 3 years ago
- AeroAgentSim is a discrete-event simulation toolkit and developer workbench for low-altitude autonomous systems.☆63Mar 27, 2026Updated 4 months ago
- A caching framework for microservice applications☆24Apr 22, 2024Updated 2 years ago
- ☆13Aug 2, 2023Updated 2 years ago
- 中国人民大学本科生毕业论文（2021年修订版）latex模板☆18Mar 23, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- [USENIX'25] HateBench: Benchmarking Hate Speech Detectors on LLM-Generated Content and Hate Campaigns☆15Mar 1, 2025Updated last year
- This project is a Python re-implementation for Windows (and other platforms) of the functionalities found in the azrilaiman2003/augment-…☆18May 29, 2025Updated last year
- Lock-free ARENA allocator and a set of lock-free data structures based on the ARENA allocator.☆17Mar 14, 2026Updated 4 months ago
- ☆19May 30, 2024Updated 2 years ago
- The data and code of the paper "Mem-PAL: Towards Memory-based Personalized Dialogue Assistants for Long-term User-Agent Interaction" (AAA…☆32Nov 26, 2025Updated 8 months ago
- ☆22Jan 19, 2023Updated 3 years ago
- ☆31Aug 5, 2015Updated 10 years ago
- FLOPS counter for all your GPU benchmarking needs☆13Aug 8, 2024Updated last year
- ☆23May 19, 2016Updated 10 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.
- Examples using MetaProgramming for writing tactics etc.☆19Nov 26, 2025Updated 8 months ago
- A Valgrind extension for CUDA, unofficial mirror for https://www.hlrs.de/organization/av/spmt/research/cudagrind/☆10Aug 5, 2015Updated 10 years ago
- Developing mathematics in Coq from the ground up☆25Mar 15, 2026Updated 4 months ago
- PKUAutoElective for 2022 spring semester☆113Sep 6, 2022Updated 3 years ago
- I love computer networks.☆29Dec 25, 2024Updated last year
- This repository provides the official implementation for Prototype-Guided Continual Adaptation for Class-Incremental Unsupervised Domain …☆35Jul 15, 2022Updated 4 years ago
- 🦙🦙.🦀☆28Sep 24, 2023Updated 2 years ago
- ECE408 (Applied Parallel Programming) Fall 2022 MP☆21Mar 24, 2023Updated 3 years ago
- The implementation of AlphaEval: A Comprehensive and Efficient Evaluation Framework for Formula Alpha Mining(https://www.arxiv.org/abs/25…☆208Oct 8, 2025Updated 9 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- MLIR dialect for libgccjit☆24Dec 3, 2024Updated last year
- ☆22May 5, 2025Updated last year
- [NSDI'26] PolyRL is a reinforcement learning framework for LLM that harvest spot instances on the cloud to reduce cost.☆19Mar 30, 2026Updated 3 months ago
- Two Stones Hit One Bird: Bilevel Positional Encoding for Better Length Extrapolation, ICML 2024☆24Jun 26, 2024Updated 2 years ago
- InfiniCCL is a unified, cross-platform collective communication library designed for heterogeneous accelerator environments.☆17Jul 21, 2026Updated last week
- A lightweight, single-header C++11 Jinja2 template engine for LLM chat templates.☆20Mar 4, 2026Updated 4 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
- ☆19Feb 23, 2026Updated 5 months ago
- A Pytorch implementation of: "Deep Functional Maps: Structured Prediction for Dense Shape Correspondence"☆21Jun 9, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆22May 14, 2026Updated 2 months ago
- A cpp threadpool for c++11 c++14 c++17 c++20☆16Jun 30, 2023Updated 3 years ago
- ☆20Apr 30, 2024Updated 2 years ago
- A SolarSystem Demo for openGL☆22Aug 6, 2016Updated 9 years ago
- 非常的新鲜，非常的美味☆31Mar 25, 2025Updated last year
- PKU CS专业课作业。目前包括AI引论、代数结构与组合数学、信息论、数据库概论、数据结构与算法、数理逻辑、概率统计、算法设计与分析、编译原理、计算机网络、计算理论导论、随机过程引论、集合论与图论等。☆145Jun 21, 2025Updated last year
- Code for "Towards Revealing the Mystery behind Chain of Thought: a Theoretical Perspective"☆21Jul 16, 2023Updated 3 years ago