Pinned Repositories
CodableXPC
Implementation of Encoder and Decoder Protocols targeting libxpc
dotfiles
hipeds-group-project
klee
KLEE Symbolic Execution Engine
labts_helpers
Scripts for dealing with LabTS as a PPT
llvm-project
This is the canonical git mirror of the LLVM subversion repository. Please see http://llvm.org/ for instructions on contributing to LLVM.
swift
The Swift Programming Language
swift-docc
Documentation compiler that produces rich API reference documentation and interactive tutorials for your Swift framework or package.
turtle-graphics
Sample code and material for teaching programming to young first timers
website
My personal website
daniel-grumberg's Repositories
daniel-grumberg/CodableXPC
Implementation of Encoder and Decoder Protocols targeting libxpc
daniel-grumberg/dotfiles
daniel-grumberg/hipeds-group-project
daniel-grumberg/klee
KLEE Symbolic Execution Engine
daniel-grumberg/labts_helpers
Scripts for dealing with LabTS as a PPT
daniel-grumberg/turtle-graphics
Sample code and material for teaching programming to young first timers
daniel-grumberg/website
My personal website
daniel-grumberg/llvm-project
This is the canonical git mirror of the LLVM subversion repository. Please see http://llvm.org/ for instructions on contributing to LLVM.
daniel-grumberg/swift
The Swift Programming Language
daniel-grumberg/swift-docc
Documentation compiler that produces rich API reference documentation and interactive tutorials for your Swift framework or package.
daniel-grumberg/imperial-immortals-afc
Website for the Imperial Immortals American Football Club
daniel-grumberg/klee-uclibc
KLEE's version of uClibc
daniel-grumberg/pin_strace
Strace implemented with DBI
daniel-grumberg/robotics_cw
bantz
daniel-grumberg/SaBRe
Load-time selective binary rewriting
daniel-grumberg/swift-cmark
CommonMark parsing and rendering library and program in C
daniel-grumberg/syscall_intercept_strace
strace implementation using syscall_intercept