Beast code in Giters

eric schkufza's repositories

A Just-In-Time Compiler for Verilog from VMware Research

Language:C++NOASSERTION21 6 28

A datalog prover, written in haskell.

Language:Haskell11 30

Templated design patterns for c++ projects.

Language:C++1 3 6

C++-14 stl-compliant key-value store containers.

Language:C++000

A c++ library for parsing command line arguments.

Language:C++03 7

Curriculum Vitae.

Language:TeX000

Definitions for latex documents.

Language:TeX02 1

Common idioms built on top of the c++ stl.

Language:C++03 8

Environment settings for the terminal.

Language:Shell000

Personal Website.

Language:HTML030