Name: Jared Roesch
Type: User
Company: OctoML
Bio: CTO @ OctoML, PMC @ Apache TVM, PhD @ UW. Previously Rustc, Lean & F* hacker.
Twitter: roeschinc
Location: Seattle, Washington
#jroesch.com Source code and templates for my personal website.
poss-class
A repository containing all of our teaching materials for Principles of Safe Software.
presentations
lean-related presentations
programming_in_lean
psyche
A static site generator focused on allowing you to spend time on content instead of code.
random
A pseudo-random number generator in Lean.
reading-list
My current research reading list, and associated notes.
readr
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.
reference
A prototype reference for the Lean programming language
rethinkdb-scala
A typesafe RethinkDB driver in Scala.
rfcs
RFCs for changes to Rust
ruby
The Ruby Programming Language
ruby-kannel
An example Sinatra app that communicates with Kannel to send and receive SMS.
rust
a safe, concurrent, practical language
rust-fuse
Rust library for filesystems in userspace (FUSE)
rust-github
A Rust wrapper for the Github API.
rust-http
Rust HTTP library (server and client) [obsolete but still maintained until teepee/teepee is ready]
rust-mustache
mustache template library for rust
rust-openssl
OpenSSL bindings for Rust
rust-readline
Simple wrapper around readline for the Rust language
rust-sass
Bindings to libSass for Rust.
rustv
A tool for managing multiple versions of the Rust compiler.
scala
The Scala programming language
scala-by-the-bay-2014
A repository for my talk at Scala by the Bay 2014.
scalaz
An extension to the core scala library.
session
Sessioning middleware for the iron web framework.
singletons
An implementation of singleton types in Rust using macros, and type level programming.
sjson
A hand coded recursive descent parser for JSON in Scala.
sl-prolog
Summer vacation experiments.
slack-migration
Scripts for migration from HipChat to Slack
sparse
sparse matrices in Morton order
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
