Mehmet Emre's repositories
tic-tac-toe
A tic-tac-toe implementation in Java for CS 112 demo at University of San Francisco
behavioral-model
The reference P4 software switch
compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
emacs-scala-mode
The definitive scala-mode for emacs
Jld2Mat.jl
A utility and Julia package to create MAT files form JLD files
jpf-inputs
Some input programs that can JPF/SPF can run.
OCanren
Statically typed embedding of miniKanren relational programming language into OCaml
ox-tufte
Emacs' Org-mode export backend for Tufte HTML
p4c
P4_16 reference compiler
say
A tool to generate polyphonic compositions according to common practice in Western classical music
sbt-pit-config
An example for using PITest with SBT and scripts to download & setup the SBT plugins
typed-prolog
A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.