Skip to content
View jroesch's full-sized avatar
364 followers · 66 following

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Starstruckx2Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Starstruckx2Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

Organizations

@apache @rust-lang @dmlc @uwsampl @octoml

Block or report jroesch

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • mcjs-synthetic-benchmarks Public

    Synthetic benchmarks for MCJS.

    JavaScript 1 Updated Jul 26, 2024

  • cv Public

    My curriculum vitae

    cv jroesch
    TeX Updated Dec 31, 2023

  • vllm Public

    Forked from vllm-project/vllm

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

    Python Apache License 2.0 Updated Oct 30, 2023

  • stanford_alpaca Public

    Forked from tatsu-lab/stanford_alpaca

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

    Python Apache License 2.0 Updated Mar 16, 2023

  • chat-langchain-octoml Public

    Forked from langchain-ai/chat-langchain

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

    Python Updated Mar 11, 2023

  • tax Public

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

    Python 2 1 Apache License 2.0 Updated Jul 13, 2022

  • torchdynamo Public

    Forked from pytorch/torchdynamo

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

    Python BSD 3-Clause "New" or "Revised" License Updated Mar 16, 2022

  • tvm Public

    Forked from apache/tvm

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

    C++ 4 Apache License 2.0 Updated Dec 10, 2021

  • tvm-rfcs Public

    Forked from apache/tvm-rfcs

    A home for the final text of all TVM RFCs.

    Apache License 2.0 Updated Dec 6, 2021

  • thesis Public

    My PhD thesis.

    TeX 4 1 Updated Dec 28, 2020

  • tvm-cli-rs Public

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

    CMake 2 1 Updated Oct 21, 2020

  • gh-news Public

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

    Python 2 1 Apache License 2.0 Updated Feb 5, 2020

  • torch_tvm Public

    Forked from pytorch/tvm

    TVM integration into PyTorch

    Python Updated Jul 24, 2019

  • HalideIR Public

    Forked from dmlc/HalideIR

    Symbolic Expression and Statement Module for new DSLs

    C++ Other Updated Mar 26, 2019

  • jroesch.github.io Public

    My website generated by Jekyll and served by Github Pages.

    HTML 1 1 Updated Sep 27, 2018

  • chainer Public

    Forked from chainer/chainer

    A flexible framework of neural networks for deep learning

    Python MIT License Updated May 7, 2018

  • nnvm Public

    Forked from dmlc/nnvm

    Bring deep learning to bare metal

    C++ Apache License 2.0 Updated Feb 21, 2018

  • lean Public

    Forked from leanprover/lean3

    Lean Theorem Prover

    C++ Apache License 2.0 Updated Dec 15, 2017

  • parsing Public

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

    Lean 1 Apache License 2.0 Updated Oct 19, 2017

  • random Public

    A pseudo-random number generator in Lean.

    Apache License 2.0 Updated Oct 19, 2017

  • melpa Public

    Forked from melpa/melpa

    Recipes and build machinery for the biggest Emacs package repo

    Emacs Lisp 1 Other Updated Sep 20, 2017

  • dafny Public

    Forked from dafny-lang/dafny

    Dafny is a verification-aware programming language

    C# Other Updated Sep 15, 2017

  • mu Public

    A prototype Lean build tool

    Rust 1 1 MIT License Updated Sep 1, 2017

  • layer-lean Public

    A Spacemacs layer for Lean

    Emacs Lisp 1 1 Updated Jul 11, 2017

  • leanprover.github.io Public

    Forked from leanprover/leanprover.github.io

    www

    JavaScript MIT License Updated Jul 6, 2017

  • net Public

    An experimental networking library for Lean

    C++ Apache License 2.0 Updated Jul 5, 2017

  • advice Public

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

    Lean Apache License 2.0 Updated Jun 20, 2017

  • vscode-fstar Public

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

    TypeScript Apache License 2.0 Updated Jun 17, 2017

  • fstar-prims Public

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

    Lean Updated May 30, 2017

  • library_dev Public

    Forked from avigad/library_dev

    Lean standard library (development)

    Lean Updated May 24, 2017