Tamar Christina's repositories
ghc-win-io-system
GHC IO manager for Windows using completion ports
arm-gem5-rsk
Official repository of the Arm Research Starter Kit on System Modeling using gem5
async
Run IO operations asynchronously and wait for their results
capstone
Capstone disassembly/disassembler framework: Core (Arm, Arm64, M68K, Mips, PPC, Sparc, SystemZ, X86, X86_64, XCore) + bindings (Python, Java, Ocaml)
checkedc
Checked C is an extension of C that adds bounds checking to C. This repo contains the specification for the extension, test code, and samples.
ck
Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems.
EhTrace
ATrace is a tool for tracing execution of binaries on Windows.
explainshell
match command-line arguments to their help text
file-system-filter
Windows file system filter driver - illustration of the technology
gentelella
Free Bootstrap 3 Admin Template
gitsome
A supercharged Git/GitHub command line interface (CLI).
h2o
H2O - the optimized HTTP/1, HTTP/2 server
hp2any
Haskell space profiling toolset
InfiniTAM
A Framework for the Volumetric Integration of Depth Images
irssi
The client of the future
MTuner
MTuner is a C/C++ memory profiler and memory leak finder for Windows, PS4, PS3, etc.
nghttp2
nghttp2 - HTTP/2 C Library and tools
nofib
Mirror of nofib repository. DO NOT SUBMIT PULL REQUESTS HERE
pdf.js
PDF Reader in JavaScript
tlsf
Two-Level Segregated Fit Memory Allocator
tlsf-bsd
Two Level Segregated Fit (TLSF) memory allocator implementation, BSD License
tufte-pandoc-css
Starter files for using Pandoc Markdown with Tufte CSS
xbmc
ODROID Modifed XBMC