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
- Toy Compiler for Compiler 2016 Course☆91May 18, 2016Updated 9 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
- Fantasy Ptrace☆23Mar 14, 2018Updated 8 years ago
- Public repository for "Numerical Methods for Data Science" (SJTU, May-June 2019)☆18Jun 13, 2019Updated 6 years ago
- a naive static http server that solves C10K problem☆17Jan 8, 2017Updated 9 years ago
- The offline version of acm-compiler-judge☆13May 16, 2019Updated 6 years ago
- Course material for "Numerical Methods for Data Science" (SJTU, summer 2018)☆40Jul 6, 2018Updated 7 years ago
- Lecture notes of Probability Theory.☆49Jun 20, 2018Updated 7 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Dec 21, 2022Updated 3 years ago
- SSA vs ANF☆47Jul 20, 2015Updated 10 years ago
- Team: bacon-reloaded☆21May 22, 2017Updated 8 years ago
- A RISC-V simulator☆38Aug 27, 2023Updated 2 years ago
- A python low-poly generater.☆14Aug 5, 2015Updated 10 years ago
- Graph Convolutional Networks for multi-image matching☆17Feb 13, 2019Updated 7 years ago
- ☆10Jun 29, 2021Updated 4 years ago
- Raft Consensus Algorithm Implementation in C++ (11)☆25Nov 23, 2014Updated 11 years ago
- 🍋 A Rust/Swift-like modern interpreted programming language. First-class functions, first-class expressions, and functional techniques i…☆11Mar 2, 2021Updated 5 years ago
- Dependency Parsing as Sequence Labeling with BERT☆13Nov 1, 2020Updated 5 years ago
- 🔪Mx-Star Compiler Project☆14May 16, 2020Updated 5 years ago
- A pytorch implementation of answer verifier for un-answerable question answering.☆10Jul 26, 2019Updated 6 years ago
- Linear-chain LSTM-CRFs and Convolutional CRFs in PyTorch.☆22Aug 11, 2017Updated 8 years ago
- Douban Plugin for Jekyll☆20Jan 24, 2016Updated 10 years ago
- ☆13May 4, 2017Updated 8 years ago
- Code for paper "Poisoned classifiers are not only backdoored, they are fundamentally broken"☆26Jan 7, 2022Updated 4 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- ☆10Mar 18, 2020Updated 6 years ago
- 简易TCP/IP协议栈，支持TCP、UDP，支持DHCP动态获取IP，支持keep_alive等☆24Mar 30, 2018Updated 7 years ago
- MAGIS: Memory Optimization via Coordinated Graph Transformation and Scheduling for DNN (ASPLOS'24)☆56May 29, 2024Updated last year
- Prolog specification of TensorFlow layers☆14Jun 12, 2023Updated 2 years ago
- ☆17Jun 13, 2021Updated 4 years ago
- Convert an integer factorization problem into a boolean SATISFIABILITY problem.☆10Jan 14, 2019Updated 7 years ago
- http://spider.oscardhc.com☆12Jul 9, 2020Updated 5 years ago
- ☆18Mar 18, 2024Updated 2 years ago
- [IJCAI 23] APR: Online Distant Point Cloud Registration Through Aggregated Point Cloud Reconstruction☆12Jan 16, 2024Updated 2 years ago
- lecture notes of probability notes☆17Jul 7, 2020Updated 5 years ago
- Co-training for Policy Learning☆13Aug 8, 2019Updated 6 years ago
- Distributed hash table using a chord☆27Apr 17, 2018Updated 7 years ago