eeide
Research Associate Professor, University of Utah Kahlert School of Computing
University of UtahSalt Lake City, UT, USA
Pinned Repositories
creduce
C-Reduce, a C and C++ program reducer
csmith
Csmith, a random generator of C programs
acmart
ACM consolidated LaTeX styles
Cloudlab-Auto-Extending-Tool
creduce
C-Reduce, a C program reducer
csmith
Csmith, a random generator of C programs
frog
Frog is a static web site generator implemented in Racket, targeting Bootstrap and able to use Pygments.
jsys-website
Code behind the JSys website.
kgpu
augmenting Linux with the CUDA GPU
racket-racr
RACR: Scheme metacompiler library based on reference attribute grammar controlled rewriting
eeide's Repositories
eeide/kgpu
augmenting Linux with the CUDA GPU
eeide/racket-racr
RACR: Scheme metacompiler library based on reference attribute grammar controlled rewriting
eeide/acmart
ACM consolidated LaTeX styles
eeide/Cloudlab-Auto-Extending-Tool
eeide/creduce
C-Reduce, a C program reducer
eeide/csmith
Csmith, a random generator of C programs
eeide/frog
Frog is a static web site generator implemented in Racket, targeting Bootstrap and able to use Pygments.
eeide/jsys-website
Code behind the JSys website.
eeide/Mirai
Source code for the Mirai botnet - Not going anywhere anytime soon
eeide/pdflatex-makefile
Simple Makefile for pdflatex-produced documents
eeide/racr
Racket package of RACR, a library for reference attribute grammar controlled rewriting
eeide/repro-in-cs
Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
eeide/Snow
Main Ems repository
eeide/sockets-python
This is an experiment to introduce socket programming in Python.
eeide/teachlog
teachlog - A logic language for teaching language creation