eschkufz

Graft, Incoakland, ca

Pinned Repositories

binder
C++-14 stl-compliant key-value store containers.
Language:C++00
cascade
A Just-In-Time Compiler for Verilog from VMware Research
Language:C++21 6 283
cl
A c++ library for parsing command line arguments.
Language:C++0 3 70
cv
Curriculum Vitae.
Language:TeX00
datalog
A datalog prover, written in haskell.
Language:Haskell11 3 00
latex
Definitions for latex documents.
Language:TeX0 3 10
meta
Templates for c++ meta-programming.
Language:C++0 3 10
patterns
Templated design patterns for c++ projects.
Language:C++1 3 61
stl
Common idioms built on top of the c++ stl.
Language:C++0 3 80
terminal
Environment settings for the terminal.
Language:Shell0 3 00

eschkufz's Repositories

eschkufz/cascade
A Just-In-Time Compiler for Verilog from VMware Research
Language:C++21 6 283
eschkufz/datalog
A datalog prover, written in haskell.
Language:Haskell11 3 00
eschkufz/patterns
Templated design patterns for c++ projects.
Language:C++1 3 61
eschkufz/binder
C++-14 stl-compliant key-value store containers.
Language:C++00
eschkufz/cl
A c++ library for parsing command line arguments.
Language:C++0 3 70
eschkufz/cv
Curriculum Vitae.
Language:TeX00
eschkufz/latex
Definitions for latex documents.
Language:TeX0 3 10
eschkufz/meta
Templates for c++ meta-programming.
Language:C++0 3 10
eschkufz/stl
Common idioms built on top of the c++ stl.
Language:C++0 3 80
eschkufz/terminal
Environment settings for the terminal.
Language:Shell0 3 00
eschkufz/www
Personal Website.
Language:HTML3 0