Web version of the MiniDecaf compiler.
☆13Sep 17, 2020Updated 5 years ago
Alternatives and similar repositories for minidecaf
Users that are interested in minidecaf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 清华大学2021春季学期图形学真实感渲染大作业的一个rust实现☆15Aug 10, 2021Updated 4 years ago
- The MiniDecaf test cases.☆18May 15, 2025Updated 11 months ago
- 《日常》☆18Sep 18, 2021Updated 4 years ago
- 清华大学2019计网联合实验第一组☆28Jan 15, 2020Updated 6 years ago
- A gameboy emulator written for the Pypy-Toolchain☆16Oct 4, 2012Updated 13 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- rCore_tutorial_tests☆11Aug 8, 2021Updated 4 years ago
- 操作系统课程实验设计☆12Mar 16, 2025Updated last year
- ☆14Feb 20, 2022Updated 4 years ago
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 2 years ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Jun 29, 2022Updated 3 years ago
- ☆21May 30, 2025Updated 11 months ago
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- ☆31Jun 1, 2023Updated 2 years ago
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- InstAttention: In-Storage Attention Offloading for Cost-Effective Long-Context LLM Inference☆17Mar 30, 2025Updated last year
- 在线图书借阅系统 - 2017 THU OOP课大作业☆13Jul 1, 2018Updated 7 years ago
- 基于Rust语言的OS Kernel -- zCore☆19Feb 24, 2022Updated 4 years ago
- Chinese Guide for Alveo Getting Started☆12May 18, 2020Updated 5 years ago
- Project template for Artix-7 based Thinpad board☆52Sep 13, 2025Updated 7 months ago
- Operating System Simulator☆18Jun 18, 2019Updated 6 years ago
- ☆15Oct 21, 2020Updated 5 years ago
- A scalable RAID system to aggregate performance and capacity of the next-generation storage.☆15Jan 3, 2024Updated 2 years ago
- A database management system implemented in Rust from scratch.☆21Jul 24, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ScalaCache: Scalable User-Space Page Cache Management with Software-Hardware Coordination (USENIX ATC'24)☆16Jul 19, 2024Updated last year
- A hardware accelerated IP packet forwarder running on programmable ICs☆15Jan 21, 2023Updated 3 years ago
- 基于arceos unikernel的轻量组件化宏内核 starry-next, 位列支持linux app的宏内核排行榜：https://learningos.cn/oscomptest-grading , starry-next指导书：https://azure-sta…☆21Nov 26, 2025Updated 5 months ago
- 中文版 Parallel Programming for FPGAs☆15Nov 20, 2019Updated 6 years ago
- 可运行OS的RISCV-64的硬件模拟器设计与实现☆23Mar 26, 2021Updated 5 years ago
- Prolog specification of TensorFlow layers☆14Jun 12, 2023Updated 2 years ago
- Replication package for ICSE 2022 submission titled "Automatic Merge Conflict Resolution Tools: The Current State and Barriers to Adoptio…☆12Sep 14, 2021Updated 4 years ago
- TFHE is a popular algorithm for homomorphic encryption. Staring with a C/C++ specification of TFHE to be provided, This project rewrite t…☆21May 27, 2024Updated last year
- http://os.cs.tsinghua.edu.cn/oscourse/OS2018spring/projects/g04☆18Oct 10, 2018Updated 7 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.
- The new Decaf compiler, rewritten in "modern" Java☆67Jul 21, 2020Updated 5 years ago
- A Portable Linux-based Firmware for NVMe Computational Storage Devices☆31Jun 10, 2025Updated 10 months ago
- 《WebAssembly原理与核心技术》WebAssembly解释器的Python实现☆22Sep 17, 2020Updated 5 years ago
- Auto push message to DingTalk while release published.☆24Apr 12, 2022Updated 4 years ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- MOSFHET: Optimized Software for FHE over the Torus☆22Aug 24, 2025Updated 8 months ago
- A Rocq version of the miniF2F dataset☆23Apr 8, 2026Updated 3 weeks ago