☆23Apr 28, 2023Updated 2 years ago
Alternatives and similar repositories for MemoryBalancer
Users that are interested in MemoryBalancer are comparing it to the libraries listed below
Sorting:
- Haskell experiments involving TVM AI framework☆20Apr 26, 2019Updated 6 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 3 years ago
- Course website for Advanced Operating Systems☆13Apr 8, 2022Updated 3 years ago
- User defined intrinsics, tailrec optimization☆12Nov 26, 2022Updated 3 years ago
- QUICr parametric abstract domain for sets☆12Jul 2, 2015Updated 10 years ago
- A. Cropper and S.H. Muggleton. Learning efficient logic programs. Machine learning, 2019.☆14Apr 14, 2018Updated 7 years ago
- 基于FPGA实现用户态中断硬件机制与优化操 作系统内核☆10Apr 1, 2025Updated 10 months ago
- Framework of pa code for THU compiler principle course.☆13Dec 18, 2019Updated 6 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 years ago
- ☆17Aug 7, 2024Updated last year
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Dec 21, 2022Updated 3 years ago
- LIMITS is yet another fully open source, interoperable, decentralised real-time communication protocol!☆20Jan 15, 2023Updated 3 years ago
- TiledKernel is a code generation library based on macro kernels and memory hierarchy graph data structure.☆19May 12, 2024Updated last year
- A Rocq version of the miniF2F dataset☆23Oct 27, 2025Updated 4 months ago
- SSA vs ANF☆47Jul 20, 2015Updated 10 years ago
- ☆17Oct 17, 2025Updated 4 months ago
- C++ Compile-Time eValuator for scheme☆21Jun 29, 2020Updated 5 years ago
- Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…☆49Jan 25, 2026Updated last month
- ☆19Jun 16, 2023Updated 2 years ago
- MPIWasm is a WebAssembly Embedder based on Wasmer that enables the high-performance execution of MPI applications compiled to Wasm. (ACM …☆20Jan 30, 2024Updated 2 years ago
- A Hardware Pipeline Description Language☆57Jul 12, 2025Updated 7 months ago
- An optimizing compiler for decision tree ensemble inference.☆18Jul 11, 2025Updated 7 months ago
- An example of an eBPF program hooking into the kill tracepoint☆22May 26, 2023Updated 2 years ago
- A compiler for BLOG probabilistic programming language☆26Dec 2, 2017Updated 8 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆65May 3, 2025Updated 9 months ago
- A collection of small projects to illustrate how to write plugins for Coq☆21Jan 14, 2019Updated 7 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆154Jun 22, 2025Updated 8 months ago
- The Next-gen Language & Compiler Powering Efficient Hardware Design☆36Jan 16, 2025Updated last year
- Automatic Differentiation for Tensor Algebras☆28May 8, 2018Updated 7 years ago
- Duet: static analysis for unbounded concurrency☆30Feb 6, 2026Updated 3 weeks ago
- Zombie chan revive!☆27Feb 27, 2024Updated 2 years ago
- Flexible, high-performance TCP offload to SmartNICs using fine-grained parallelism☆60Feb 27, 2022Updated 4 years ago
- ☆60Feb 27, 2018Updated 8 years ago
- Tacker: Tensor-CUDA Core Kernel Fusion for Improving the GPU Utilization while Ensuring QoS☆34Feb 10, 2025Updated last year
- Take your first step in writing a compiler.☆29May 2, 2021Updated 4 years ago
- WineFS (SOSP 21): a huge-page aware file system for persistent memory☆36Oct 11, 2023Updated 2 years ago
- Wrappers for open source FPU hardware implementations.☆37Nov 27, 2025Updated 3 months ago
- _rqy's codes of OI problems.☆28Jul 11, 2018Updated 7 years ago