rsofaer

Graphs.jl

Working with graphs in Julia

ind_study_fall_2012

Work relating to my independent study in Fall 2012.

nanomunchers_js

Javascript version of nanomunchers for Dr. Ecco

adventure-library

example completed submission

backbone

Give your JS App some Backbone with Models, Views, Collections, and Events

base_ci

bone

Backbone app

Cataclysm-DDA

Cataclysm - Dark Days Ahead. A fork/variant of Cataclysm Roguelike by Whales.

debugging

diaspora

Distributed and contextual social networking

DoubleX

Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale

empty-hw-bdd

hogwarts

installfest_steps

julia

The Julia Language: A fresh approach to technical computing.

julia-studio

An IDE for the Julia Language

MAT.jl

Julia module for reading MATLAB files

notes

A repository for lecture notes and gists

ODGen

ODGen is a tool to detect multiple types of vulnerabilities in Node.js packages.

pi-forall

A demo implementation of a simple dependently-typed language

regex-lesson

rottenpotatoes-rails-intro

rsofaer.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

spacer-on-jupyter

sudokill

A sudokill player

template-proofs

Artifact for PLDI'20 paper: Verifying Concurrent Search Structure Templates.

test2

vellvm

The Vellvm (Verified LLVM) coq development.

wdi6_cook_book_auth_final

wdiportal