Repositories list

• racets

  Public
  Faceted execution in Racket

  TeX

  •3•11•0•0•Updated Sep 11, 2018Sep 11, 2018

• chat-server-individual

  Public
  Project 2I in 311

  Python

  •1•0•0•0•Updated Mar 22, 2018Mar 22, 2018

• abstract-fairness

  Public
  Racket

  •0•0•0•0•Updated Mar 5, 2018Mar 5, 2018

• dex2jar

  Public
  Unofficial dex2jar updated for Android 8

  Java

  •

  Apache License 2.0

  •2.2k•0•0•0•Updated Oct 1, 2017Oct 1, 2017

• aams

  Public
  Abstract abstract machines

  Racket

  •0•0•0•0•Updated Sep 23, 2017Sep 23, 2017

• fordsec.github.io

  Public
  An ascetic theme for Jekyll. Live at http://lauris.github.io

  CSS

  •

  Apache License 2.0

  •38•0•0•0•Updated Jun 16, 2017Jun 16, 2017