Proposal for the next generation of course-oriented IR.
☆10Dec 24, 2021Updated 4 years ago
Alternatives and similar repositories for next-gen-ir-proposal
Users that are interested in next-gen-ir-proposal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Open test cases of PKU compiler course.☆28Dec 2, 2021Updated 4 years ago
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- PSTensor provides a way to hack the memory management of tensors in TensorFlow and PyTorch by defining your own C++ Tensor Class.☆10Feb 10, 2022Updated 4 years ago
- Course website for Operating System course in Peking University.☆14Nov 28, 2021Updated 4 years ago
- This repository provides scripts that can be used to visualize BVH files. These scripts were developed for the GENEA Challenge 2020, and …☆40Feb 23, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Package Tree Management Utility☆11Oct 12, 2026Updated 3 weeks ago
- ☆50Nov 23, 2021Updated 4 years ago
- Book reading☆16Jun 5, 2020Updated 6 years ago
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 3 years ago
- ☆32Sep 26, 2025Updated last year
- 研究生课《网络大数据管理理论和应用》大作业项目代码☆13Dec 31, 2022Updated 3 years ago
- ExtendJ is a Java compiler implemented in reference attribute grammars using JastAdd.☆14Oct 24, 2026Updated 2 weeks ago
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 7 months ago
- This repo is to demo the concept of lossless compression with Transformers as encoder and decoder.☆14May 2, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- AOSC OS package maintenance toolkit (version 4)☆15Oct 31, 2026Updated last week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Updated this week
- Repository of experiment for the paper☆10Feb 5, 2024Updated 2 years ago
- This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algor…☆12Jan 10, 2025Updated last year
- 15-745 note☆13Jul 16, 2020Updated 6 years ago
- Repo for PLAN's verified code generation project☆13Aug 2, 2025Updated last year
- Assigns WireGuard peers unique IPv6 Link-Local Addresses based on a hash of their public key.☆12Aug 2, 2020Updated 6 years ago
- Artifacts for our SIGCOMM'23 paper Ditto☆16Oct 17, 2023Updated 3 years ago
- ☆13Oct 1, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- [work-in-progress] Java parser written in Rust☆19May 19, 2022Updated 4 years ago
- Lean formalization of CFSG☆20Oct 28, 2026Updated last week
- 一条龙服务: 开服从入门到精通☆31Mar 12, 2022Updated 4 years ago
- An In-kernel Transparent Monitoring System for Microservice Systems with eBPF☆22Sep 11, 2022Updated 4 years ago
- 简单的Linux远程控制☆19Jun 3, 2017Updated 9 years ago
- ☆15Oct 21, 2020Updated 6 years ago
- ☆23Jan 7, 2022Updated 4 years ago
- 中文书名<<手把手实现 Rust 链表>>，高质量手翻 Too Many Linked Lists， 是一本非常好的 Rust 实践学习教程☆112Mar 29, 2022Updated 4 years ago
- Code for the creation of the SPoRC dataset☆21Nov 18, 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.
- An addon for 3b1b/manim that generates a PowerPoint presentation from a scene☆26Jan 13, 2020Updated 6 years ago
- Research code for the paper "How Good is Your Tokenizer? On the Monolingual Performance of Multilingual Language Models"☆27Oct 3, 2021Updated 5 years ago
- Personal course notes (in Chinese) for THU CST.☆13Jun 23, 2018Updated 8 years ago
- ☆11Jan 17, 2023Updated 3 years ago
- 在线图书借阅系统 - 2017 THU OOP课大作业☆14Jul 1, 2018Updated 8 years ago
- ☆18Jul 30, 2026Updated 3 months ago
- See http://www.dickgrune.com/Programs/similarity_tester/☆15Dec 2, 2012Updated 13 years ago