Jared Roesch

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

A reading list with citations for UCSB's CS 290G

My PhD thesis.

An Atom package for the Lean language

A repository for my talk at Scala by the Bay 2014.

A simple HTTP client in Scala for doing GETs and POSTs.

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

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

A playground for experimenting with Rust's type system

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

Hakyll site for my webpage.

A place for experiments with Ruby concurrency primitives

Bridging Ruby and Rust

A tool for managing multiple versions of the Rust compiler.

A repo for the notes, and assignments I use for my talks on Haskell.

A set of extensions built on Backbone.js to make development easier.

An example of using Lean's backend API to implement a new language backend.

A prototype Lean build tool

A Spacemacs layer for Lean

My website generated by Jekyll and served by Github Pages.

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

A build tool for the Lean programming language

A library for exploring type level programming in Rust.

An implementation of singleton types in Rust using macros, and type level programming.

A macro that implements a type provider for PostgreSQL schema.

Summer vacation experiments.

A simple C++ Lisp Implementation.

A backend blogging engine for use in a class I'm teaching

A homebrew recipe that setups on rlwrap and tab completion in the base Clojure REPL.

A light-weight Scala tutorial with examples.

A compiler for a C like language with ad-hoc polymorphism.

An small embeddable scripting language in Scala.

OpenSSL bindings for Rust

My curriculum vitae

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

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

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

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

A home for the final text of all TVM RFCs.

Tree-based input assistance for unicode and more in Visual Studio Code

A structure for suspended closure composition in Rust

TVM integration into PyTorch

Dafny is a verification-aware programming language

Symbolic Expression and Statement Module for new DSLs

No description.

Lean Theorem Prover

A flexible framework of neural networks for deep learning

Bring deep learning to bare metal

Scalable automatic grading for everyone! (for CS 290B)

A pseudo-random number generator in Lean.

An experimental networking library for Lean

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

Recipes and build machinery for the biggest Emacs package repo

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

mustache template library for rust

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

Lean standard library (development)

A library containing testing primitives for Lean

A prototype reference for the Lean programming language

www

Website: https://ucsb-ccs-computing.github.io

lean-related presentations

An implementation of attoparsec in Lean

An implementation of STLC in Lean

A tool for empirically evaluating the performance of Lean's native compiler

Sessioning middleware for the iron web framework.

Experiments with reasoning about higher order, effectful, imperative programs.

A small verified compiler in Lean

homebrew tap for Lean theorem prover

An experimental IO library for Lean (using my experimental backend).

A code generator for Lean

A repository for hacking around in Lean

Experiments in dependent typing

Hacking around for fun

Scripts for migration from HipChat to Slack

My repository for 290g (S '15) at UCSB

A small Rust standard library for use in CSE 451

An implementation of bit vectors in Coq.

where k = c'

An prototype event loop for Ruby written in Rust using `mio`

A proof assistant.

Simple wrapper around readline for the Rust language

A place to move all my inactive GH repositories

The official supporting materials repository for LambdaConf 2015.

Materials for my talk at LambdaConf 2015

Tooling for grading programming assignments

A Dependently Typed Functional Programming Language

Rust library for filesystems in userspace (FUSE)

The Ruby Programming Language

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Random documentation and wisdom assembled while hacking on Rustc.

A place to stash my experiments in Rust concurrency primitives

Very typed matrices for fun and profit.

a safe, concurrent, practical language

Bindings to libSass for Rust.

A Rust wrapper for the Github API.

An example Sinatra app that communicates with Kannel to send and receive SMS.

A high level implementation of the STG in Rust.

Explorations in adding ghc-mod to Atom.

Rust HTTP library (server and client) [obsolete but still maintained until teepee/teepee is ready]

A Rust library full of extensions to the standard library

A TOML encoding/decoding library for Rust

A static site generator focused on allowing you to spend time on content instead of code.

A set of tools for doing crazy debugging things in Ruby

Parser combinators in Rust

RFCs for changes to Rust

An implementation of a statically typed OO language for teaching static analysis techniques.

Dependently typed parser combinators for Idris.

A final paper for CS290N at UCSB.

An HTTP library for Idris.

Theorem Proving for Dummies

Collections that can scale beyond Int.MaxValue.

A tool for collaborative writing using Tex and Git.

A statically typed Ruby like language tentatively named SRuby.

Doubtfully Distributed Arrays (distributed parallel high performance arrays for CS240).

Distributed things for Haskell.

sparse matrices in Morton order

A small templating library in Clojure.

Simple Web Framework code, built on top WAI.

A Haskell package filled with useful functions for doing simple chemistry

My current research reading list, and associated notes.

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Trac (http://hackage.haskell.org/trac/ghc) or sent to the mailing list ([email protected])

My course work for CMPSC 240 at UCSB

A collection of my work from CS271 (Graduate Distributed Systems) at UCSB.

A Scala implementation of the examples in Chris Okasaki's Purely Functional Data Structures.

Easily manage magic comments for encoding for your ruby 1.9 applications

A library for manipulating Java bytecode and class files.

A static 'import' statement for Coffescript and Javascript.

A tool in the style of hsc2hs for binding to C from Idris.

A set of Homebrew Formulas for the Idris programming language.

Implementations of the languages described in Types and Programming Languages.

Synthetic benchmarks for MCJS.

A repository containing all of our teaching materials for Principles of Safe Software.

Something I'm working on for new students to Computer Science

Web site of typelevel.scala

A hand coded recursive descent parser for JSON in Scala.

SoLoCo

A command line tool for taking a source files with comments, and generating a HTML5 presentation.

A typesafe RethinkDB driver in Scala.

A Dropbox for source files, backed by Git.

A homebrew tap for the Ermine programming language.

The Ermine Programming Language - Join us on irc.freenode.net #ermine

The Scala runtime system for the Ermine programming language

The Scala programming language

A Sunspot wrapper for MongoMapper.

An extension to the core scala library.

A parser combinator library based on the GLL algorithm

An app that allows you to categorize your written content, whether it is exists on the web, is a pdf, an ebook, or plain text.