jroesch

Jared Roesch's repositories

thesis

My PhD thesis.

Language:TeX4 30

tvm

Open deep learning compiler stack for cpu, gpu and specialized accelerators

Language:C++Apache-2.04 60

gh-news

A tool for generating the TVM newsletter's detailed statistics.

Language:PythonApache-2.02 20

tax

An example of writing a Jax interpreter which uses to TVM to JIT Jax programs.

Language:PythonApache-2.02 2 1

tvm-cli-rs

An example of building a small CLI using TVM and Rust.

Language:CMake2 20

jroesch.github.io

My website generated by Jekyll and served by Github Pages.

Language:HTML1 20

layer-lean

A Spacemacs layer for Lean

Language:Emacs Lisp1 40

mu

A prototype Lean build tool

Language:RustMIT1 20

parsing

A generalized version of data.buffer.parse for Lean.

Language:LeanApache-2.01 20

advice

A Lean hole command for providing advice for the promising prover.

Language:LeanApache-2.0020

chainer

A flexible framework of neural networks for deep learning

Language:PythonMIT020

chat-langchain-octoml

A version of the chat-langchain application using OctoML's Dynamite.

Language:Python010

cv

My curriculum vitae

Language:TeX020

dafny

Dafny is a verification-aware programming language

Language:C#NOASSERTION020

fstar-prims

A Lean package containing primitives required for the F* Lean tactic.

Language:Lean020

HalideIR

Symbolic Expression and Statement Module for new DSLs

Language:C++NOASSERTION030

lean

Lean Theorem Prover

Language:C++Apache-2.0030

leanprover.github.io

www

Language:JavaScriptMIT020

library_dev

Lean standard library (development)

Language:Lean020

mcjs-synthetic-benchmarks

Synthetic benchmarks for MCJS.

Language:JavaScript02 1

melpa

Recipes and build machinery for the biggest Emacs package repo

Language:Emacs LispNOASSERTION020

net

An experimental networking library for Lean

Language:C++Apache-2.0020

nnvm

Bring deep learning to bare metal

Language:C++Apache-2.0020

random

A pseudo-random number generator in Lean.

Apache-2.0020

stanford_alpaca

Code and documentation to train Stanford's Alpaca models, and generate the data.

Language:PythonApache-2.0010

torch_tvm

TVM integration into PyTorch

Language:Python010

torchdynamo

A Python-level JIT compiler designed to make unmodified PyTorch programs faster.

Language:PythonBSD-3-Clause010

tvm-rfcs

A home for the final text of all TVM RFCs.

Apache-2.0010

vllm

A high-throughput and memory-efficient inference and serving engine for LLMs

Language:PythonApache-2.0010

vscode-fstar

A VS Code extension providing support for the F* language.

Language:TypeScriptApache-2.0020