Popular repositories Loading

1. lean-rust-examples lean-rust-examples Public

   linking rust code with lean4

   Rust 4 1

2. miniscule miniscule Public

   a custom jekyll theme i'm writing for my own github pages based on minima

   SCSS 2 1

3. bythors bythors Public

   wrapper and network driver for bythos (a.k.a leansts) (a.k.a veil)

   Rust 2

4. CEP2014 CEP2014 Public archive

   CEP Final Project 2014

   CSS

5. assignment1 assignment1 Public

   CEP Assignment 1 - Django - 2015

   CSS

6. assignment2 assignment2 Public

   Python