Pinned Repositories
CoreJIT
Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler
nuprl.github.io-archive
Build artifacts for prl.ccs.neu.edu - DON'T MAKE CHANGES HERE - go to
website
Source for PRL website
AllYourCpuAreBelongToUs
covert
A remote shell implementation, transmitting data encoded as artificial network latency.
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
p
pinocchio VM
split
split personality webbrosing
rir
o-'s Repositories
o-/AllYourCpuAreBelongToUs
o-/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
o-/rir-rebench-scripts
o-/startup-timer
time linux system startup
o-/ababab
Randomized Search for Kolmogorov Complexity of a byte sequence
o-/benchmarks
Collections of Benchmarks of R
o-/benchR
Set of benchmarks of R
o-/bf
o-/Cockpit
Cockpit Core - Content Platform
o-/cxxr
o-/i3
A better tiling and dynamic window manager
o-/i3-qubes
qubes rpm for i3
o-/ir-iteration-x
iteration x of prototype ir
o-/ir_experiments
o-/listmonk
High performance, self-hosted, newsletter and mailing list manager with a modern dashboard. Single binary app.
o-/ml_hw
o-/Moz2D
Scripts to compile gfx/2d part of Mozilla Firefox as single shared library
o-/perfdiscover
discover perf characteristics, e.g. cache behavior
o-/python-u2flib-host
Python based U2F host library
o-/qubes-core-admin
Qubes component: core-admin
o-/qubes-python-u2flib-host
o-/r-benchmarking
o-/r-source
Read-only mirror of R source code from https://svn.r-project.org/R/, updated hourly. See the build instructions on the wiki page.
o-/repoRt
o-/Rexperiments
o-/rift
Playing with llvm
o-/rir
o-/smntx
o-/sourir
o-/varray