Single file interpreter (or naive virtual machine) for my intermediate representation. SSA support has been added.
☆15Apr 27, 2016Updated 9 years ago
Alternatives and similar repositories for LLIRInterpreter
Users that are interested in LLIRInterpreter are comparing it to the libraries listed below
Sorting:
- ☆15Nov 24, 2018Updated 7 years ago
- A compiler for course Compiler 2019☆16Jan 9, 2020Updated 6 years ago
- An implementation of the Raft consensus protocol.☆14Aug 6, 2018Updated 7 years ago
- Public repository for "Numerical Methods for Data Science" (SJTU, May-June 2019)☆18Jun 13, 2019Updated 6 years ago
- DeepLearning Course Assignments☆15Dec 19, 2016Updated 9 years ago
- My personal solutions to some textbook problems☆10Feb 12, 2020Updated 6 years ago
- Course material for "Numerical Methods for Data Science" (SJTU, summer 2018)☆40Jul 6, 2018Updated 7 years ago
- A website for game AI battle.☆12Apr 28, 2016Updated 9 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Dec 21, 2022Updated 3 years ago
- Team: bacon-reloaded☆21May 22, 2017Updated 8 years ago
- SSA vs ANF☆47Jul 20, 2015Updated 10 years ago
- A compiler for the course Compiler 2017 at ACM Class, SJTU.☆80May 26, 2018Updated 7 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- domain-level nucleic acid reaction enumeration☆10Aug 23, 2023Updated 2 years ago
- MAGIS: Memory Optimization via Coordinated Graph Transformation and Scheduling for DNN (ASPLOS'24)☆56May 29, 2024Updated last year
- Convert an integer factorization problem into a boolean SATISFIABILITY problem.☆10Jan 14, 2019Updated 7 years ago
- Repo to hold HammerBlade PyTorch port. Based on PyTorch v1.4.0☆14Oct 4, 2022Updated 3 years ago
- Haskell experiments involving TVM AI framework☆20Apr 26, 2019Updated 6 years ago
- ☆13Feb 10, 2026Updated 2 weeks ago
- Course materials for 11-767☆13Nov 10, 2022Updated 3 years ago
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 3 years ago
- A pure-python implementation of Stable Fluids with stagger grids.☆15Nov 15, 2022Updated 3 years ago
- Prolog specification of TensorFlow layers☆14Jun 12, 2023Updated 2 years ago
- Winner of NeurIPS 2021 student leaderboard. Self-bootstrapping bayesian optimization for SCIP configuration using GNNs.☆13Oct 28, 2022Updated 3 years ago
- My Cornell PhD dissertation: Scaling the Infrastructure of Practical Blockchain Systems☆15Sep 10, 2021Updated 4 years ago
- ☆15Jun 14, 2022Updated 3 years ago
- End to end Tensor IR/DSL stack for deploying deep learning workloads to hardwares☆10Oct 25, 2021Updated 4 years ago
- A code-generating database system with incorporated versioning commands in SQL.☆13Jan 18, 2021Updated 5 years ago
- World of Warcraft addon that provides a powerful and flexible framework to display highly customizable graphics on your screen.☆10Nov 25, 2025Updated 3 months ago
- [IJCAI 23] APR: Online Distant Point Cloud Registration Through Aggregated Point Cloud Reconstruction☆12Jan 16, 2024Updated 2 years ago
- ☆13May 4, 2017Updated 8 years ago
- My solutions to problems in Arora & Barak's textbook Computational Complexity☆17Dec 21, 2011Updated 14 years ago
- Alex Graves' Adaptive Computation Time in PyTorch☆14Jan 9, 2018Updated 8 years ago
- Unofficial Windows wheel package for the Nunchaku (SVDQuant) library.☆14Mar 9, 2025Updated 11 months ago
- ☆12Apr 18, 2019Updated 6 years ago
- Co-training for Policy Learning☆13Aug 8, 2019Updated 6 years ago
- This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs (#158)” in ICSE2022☆12Nov 15, 2022Updated 3 years ago
- A basic Docker-based installation of TVM☆11Jun 23, 2022Updated 3 years ago
- A Homework for Computer Architecture at SJTU☆14Jan 4, 2020Updated 6 years ago