Pinned Repositories
cadmium
rasim
A simple radio network simulator
Rasim.jl
A time-slot based radio network simulator written in Julia
susam
A storage manager project written as a lecture assignment
tic-tac-toe
A tic-tac-toe implementation in Java for CS 112 demo at University of San Francisco
maemre's Repositories
maemre/Rasim.jl
A time-slot based radio network simulator written in Julia
maemre/cadmium
maemre/rasim
A simple radio network simulator
maemre/susam
A storage manager project written as a lecture assignment
maemre/tic-tac-toe
A tic-tac-toe implementation in Java for CS 112 demo at University of San Francisco
maemre/behavioral-model
The reference P4 software switch
maemre/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
maemre/emacs-scala-mode
The definitive scala-mode for emacs
maemre/Jld2Mat.jl
A utility and Julia package to create MAT files form JLD files
maemre/jpf-inputs
Some input programs that can JPF/SPF can run.
maemre/jpf-swag
Somewhat Working Assertion Generator
maemre/mae
major area exam
maemre/neptune
A mostly concurrent garbage collector for Julia
maemre/OCanren
Statically typed embedding of miniKanren relational programming language into OCaml
maemre/ox-tufte
Emacs' Org-mode export backend for Tufte HTML
maemre/p4c
P4_16 reference compiler
maemre/say
A tool to generate polyphonic compositions according to common practice in Western classical music
maemre/sbt-pit-config
An example for using PITest with SBT and scripts to download & setup the SBT plugins
maemre/typed-prolog
A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.