jroesch/jroesch.github.io

Stars
1
Language
HTML
Created over 12 years ago
Updated about 6 years ago

jroesch/jroesch.github.io

jroesch

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

My website generated by Jekyll and served by Github Pages.

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.

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