Jared Roesch's Projects
A reading list with citations for UCSB's CS 290G
A playground for experimenting with Rust's type system
A Lean hole command for providing advice for the promising prover.
Parser combinators in Rust
A proof assistant.
An implementation of bit vectors in Coq.
A library for manipulating Java bytecode and class files.
A compiler for a C like language with ad-hoc polymorphism.
A flexible framework of neural networks for deep learning
A version of the chat-langchain application using OctoML's Dynamite.
A Haskell package filled with useful functions for doing simple chemistry
A command line tool for taking a source files with comments, and generating a HTML5 presentation.
A static 'import' statement for Coffescript and Javascript.
A tool for empirically evaluating the performance of Lean's native compiler
A place to stash my experiments in Rust concurrency primitives
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.
My repository for 290g (S '15) at UCSB
My course work for CMPSC 240 at UCSB
A final paper for CS290N at UCSB.
A backend blogging engine for use in a class I'm teaching
My curriculum vitae
Dafny is a verification-aware programming language
Doubtfully Distributed Arrays (distributed parallel high performance arrays for CS240).
A set of tools for doing crazy debugging things in Ruby
Experiments in dependent typing
Distributed things for Haskell.
A collection of my work from CS271 (Graduate Distributed Systems) at UCSB.
Experiments with reasoning about higher order, effectful, imperative programs.
The Ermine Programming Language - Join us on irc.freenode.net #ermine
The Scala runtime system for the Ermine programming language