Pinned Repositories
AnHaechan.github.io
awesome-tensor-compilers
A list of awesome compiler projects and papers for tensor computation and deep learning.
creusot-test
Playing with a deductive verification tool for Rust, Creusot (https://github.com/xldenis/creusot)
cs220
flux-test
Playing with refinement typing tool for Rust, Flux (https://flux-rs.github.io/flux/index.html).
hello_world
the very first repo
hf_playground
playground for huggingface library
kaist-cp.github.io
kaist-pl.github.io
mesh-transformer-jax
Model parallel transformers in JAX and Haiku
AnHaechan's Repositories
AnHaechan/AnHaechan.github.io
AnHaechan/awesome-tensor-compilers
A list of awesome compiler projects and papers for tensor computation and deep learning.
AnHaechan/creusot-test
Playing with a deductive verification tool for Rust, Creusot (https://github.com/xldenis/creusot)
AnHaechan/cs220
AnHaechan/flux-test
Playing with refinement typing tool for Rust, Flux (https://flux-rs.github.io/flux/index.html).
AnHaechan/hello_world
the very first repo
AnHaechan/hf_playground
playground for huggingface library
AnHaechan/kaist-cp.github.io
AnHaechan/kaist-pl.github.io
AnHaechan/mesh-transformer-jax
Model parallel transformers in JAX and Haiku
AnHaechan/onnx-rust-binding
AnHaechan/onnxruntime-rs
Rust binding for onnxruntime, with version 1.12.1. Only onnxruntime-sys (using c api) is valid.
AnHaechan/prosyslab.github.io
AnHaechan/Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
AnHaechan/prusti-test
Followed the Prusti tutorial(https://viperproject.github.io/prusti-dev/user-guide/intro.html)
AnHaechan/pytorch
For inspecting internals of the torchinductor
AnHaechan/russol-test
Playing with [Leveraging Rust Types for Program Synthesis (Fiala et al., PLDI '23)](https://ilyasergey.net/assets/pdf/papers/russol-pldi23.pdf). Sources from [the artifact](https://zenodo.org/record/7811786). Source repo: https://github.com/JonasAlaif/russol-alpha
AnHaechan/tutorials
PyTorch tutorials.
AnHaechan/tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators