distillation Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"

goxidize A link shortener

hermit Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.

homebrew-android Homebrew formula for Android SDK Platform-Tools

ACDC A multi-threaded mutator for profiling and benchmarking heap management systems

adeb A debian-based shell environment designed for Android and adb

algorithm_exercise My solutions to some problems

audit-check 🛡️ GitHub Action for security audits

AutoMounter

BigNerdRanch_iOS5e iOS Programming: The Big Nerd Ranch Guide 5th Edition

book The Rust Programming Language

BPC.js A JavaScript library used to generate 68.5KHz BPC which used for Radio controlled timepieces

bpftime Userspace eBPF runtime for fast Uprobe & Syscall hook & Extensions

build-web-application-with-golang A golang ebook intro how to build a web with golang

cargo 📦 GitHub Action for Rust `cargo` command

chapel a Productive Parallel Programming Language

clippy-check 📎 GitHub Action for PR annotations with clippy warnings

crayons Text UI colors for Python.

dacapo-latency-dump-hdrh

dacapobench The DaCapo benchmark suite

dacapobench.github.io Web page

docker-rust Rust loaded docker image.

firesim FireSim: Fast and Effortless FPGA-accelerated Hardware Simulation with On-Prem and Cloud Flexibility

fp-course Functional Programming Course

gem5 The official repository for the gem5 computer-system architecture simulator.

ghcup-hs

homebrew-cask 🍻 A CLI workflow for the administration of macOS applications distributed as binaries

homebrew-cask-drivers 🖨 Casks of Drivers

jaeger-ui Web UI for Jaeger

jdk JDK main-line development https://openjdk.org/projects/jdk

caizixian V2EX 第 42282 号会员，加入于 2013-07-18 14:13:42 +08:00

二手交易 相关的信息，包括已关闭的交易，不会被隐藏