jroesch
CTO @ OctoML, PMC @ Apache TVM, PhD @ UW. Previously Rustc, Lean & F* hacker.
OctoMLSeattle, Washington
Pinned Repositories
290c-reading-list
A reading list with citations for UCSB's CS 290G
acetic
A playground for experimenting with Rust's type system
gh-news
A tool for generating the TVM newsletter's detailed statistics.
HaskellNotes
A repo for the notes, and assignments I use for my talks on Haskell.
HTTP-Scala
A simple HTTP client in Scala for doing GETs and POSTs.
jroesch
Hakyll site for my webpage.
language-lean
An Atom package for the Lean language
scala-by-the-bay-2014
A repository for my talk at Scala by the Bay 2014.
thesis
My PhD thesis.
tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
jroesch's Repositories
jroesch/thesis
My PhD thesis.
jroesch/tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
jroesch/gh-news
A tool for generating the TVM newsletter's detailed statistics.
jroesch/tax
An example of writing a Jax interpreter which uses to TVM to JIT Jax programs.
jroesch/tvm-cli-rs
An example of building a small CLI using TVM and Rust.
jroesch/jroesch.github.io
My website generated by Jekyll and served by Github Pages.
jroesch/layer-lean
A Spacemacs layer for Lean
jroesch/mu
A prototype Lean build tool
jroesch/parsing
A generalized version of data.buffer.parse for Lean.
jroesch/advice
A Lean hole command for providing advice for the promising prover.
jroesch/chainer
A flexible framework of neural networks for deep learning
jroesch/chat-langchain-octoml
A version of the chat-langchain application using OctoML's Dynamite.
jroesch/cv
My curriculum vitae
jroesch/dafny
Dafny is a verification-aware programming language
jroesch/fstar-prims
A Lean package containing primitives required for the F* Lean tactic.
jroesch/HalideIR
Symbolic Expression and Statement Module for new DSLs
jroesch/lean
Lean Theorem Prover
jroesch/leanprover.github.io
www
jroesch/library_dev
Lean standard library (development)
jroesch/mcjs-synthetic-benchmarks
Synthetic benchmarks for MCJS.
jroesch/melpa
Recipes and build machinery for the biggest Emacs package repo
jroesch/net
An experimental networking library for Lean
jroesch/nnvm
Bring deep learning to bare metal
jroesch/random
A pseudo-random number generator in Lean.
jroesch/stanford_alpaca
Code and documentation to train Stanford's Alpaca models, and generate the data.
jroesch/torch_tvm
TVM integration into PyTorch
jroesch/torchdynamo
A Python-level JIT compiler designed to make unmodified PyTorch programs faster.
jroesch/tvm-rfcs
A home for the final text of all TVM RFCs.
jroesch/vllm
A high-throughput and memory-efficient inference and serving engine for LLMs
jroesch/vscode-fstar
A VS Code extension providing support for the F* language.