eeide

Eric Eide's repositories

augmenting Linux with the CUDA GPU

Language:CNOASSERTION2 10

RACR: Scheme metacompiler library based on reference attribute grammar controlled rewriting

Language:SchemeMIT1 10

ACM consolidated LaTeX styles

Language:TeX000

Language:Python000

C-Reduce, a C program reducer

Language:C++NOASSERTION010

Csmith, a random generator of C programs

Language:C++NOASSERTION010

Frog is a static web site generator implemented in Racket, targeting Bootstrap and able to use Pygments.

Language:CSS000

Code behind the JSys website.

Language:SCSSCC-BY-SA-4.0000

Source code for the Mirai botnet - Not going anywhere anytime soon

Language:C010

Simple Makefile for pdflatex-produced documents

Language:TeX010

Racket package of RACR, a library for reference attribute grammar controlled rewriting

Language:RacketMIT030

Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)

Language:TeX010

Main Ems repository

Language:TeX000

This is an experiment to introduce socket programming in Python.

MIT000

teachlog - A logic language for teaching language creation

Language:RacketNOASSERTION010