Discover @jroesch Open Source projects

Jared Roesch (@jroesch)

jroesch

Stars
58
Global Rank 307,272 (Top 11 %)
Followers 355
Following 64
Registered over 13 years ago
Most used languages

Rust
23.3 %

Scala
13.3 %

Haskell
13.3 %

Lean 10.0 %

Ruby
6.7 %

Python
6.7 %

TeX
6.7 %

JavaScript
3.3 %

CoffeeScript
3.3 %

CMake 3.3 %

C++
3.3 %

Emacs Lisp
3.3 %

HTML
3.3 %
Location 🇺🇸 United States
Country Total Rank 61,303
Country Ranking

Lean 68

CMake 772

Haskell
1,119

TeX
1,161

Scala
1,239

Emacs Lisp
1,837

CoffeeScript
2,811

Rust
3,602

290c-reading-list

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

thesis

HTTP-Scala

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

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.

tax

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

acetic

A playground for experimenting with Rust's type system

tvm-cli-rs

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

tarnish

Bridging Ruby and Rust

woven

A place for experiments with Ruby concurrency primitives

jroesch

Hakyll site for my webpage.

SpinalCord

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

HaskellNotes

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

rustv

A tool for managing multiple versions of the Rust compiler.

gh-news

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

Tweak

An small embeddable scripting language in Scala.

CTPSite

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

Cb

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

LispPlusPlus

A simple C++ Lisp Implementation.

homebrew-clojure

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

sl-prolog

Summer vacation experiments.

singletons

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

muri

A build tool for the Lean programming language

molten

A library for exploring type level programming in Rust.

parsing

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

lean.js

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

LearnYouAScala

A light-weight Scala tutorial with examples.

jroesch.github.io

My website generated by Jekyll and served by Github Pages.

mu

A prototype Lean build tool

pg-typeprovider

A macro that implements a type provider for PostgreSQL schema.

layer-lean

A Spacemacs layer for Lean