Pinned Repositories
3401ijk.github.io
armory
ARMORY Adversarial Robustness Evaluation Test Bed
async-profiler
Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events
binaryen
Compiler infrastructure and toolchain library for WebAssembly
capnproto
Cap'n Proto serialization/RPC system - core tools and C++ library
capnproto-rust
Cap'n Proto for Rust
coz
Coz: Causal Profiling
duckdb-wasm
WebAssembly version of DuckDB
ebpf-verifier
A new eBPF verifier, using abstract interpretation
ECPZ
Rest and review
3401ijk's Repositories
3401ijk/3401ijk.github.io
3401ijk/armory
ARMORY Adversarial Robustness Evaluation Test Bed
3401ijk/async-profiler
Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events
3401ijk/binaryen
Compiler infrastructure and toolchain library for WebAssembly
3401ijk/capnproto
Cap'n Proto serialization/RPC system - core tools and C++ library
3401ijk/capnproto-rust
Cap'n Proto for Rust
3401ijk/coz
Coz: Causal Profiling
3401ijk/duckdb-wasm
WebAssembly version of DuckDB
3401ijk/ebpf-verifier
A new eBPF verifier, using abstract interpretation
3401ijk/foundationdb
FoundationDB - the open source, distributed, transactional key-value store
3401ijk/GemmKernels.jl
Flexible and performant GEMM kernels in Julia
3401ijk/Halide
a language for fast, portable data-parallel computation
3401ijk/jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
3401ijk/kissat
3401ijk/lean4
Lean 4 programming language and theorem prover
3401ijk/mirror-isabelle
Git mirror of https://isabelle.in.tum.de/repos/isabelle
3401ijk/parquet-mr
Apache Parquet
3401ijk/poplibs
Poplar libraries
3401ijk/rust-rocksdb
rust wrapper for rocksdb
3401ijk/sdsl-lite
Succinct Data Structure Library 2.0
3401ijk/seastar
High performance server-side application framework
3401ijk/simple-binary-encoding
Simple Binary Encoding (SBE) - High Performance Message Codec
3401ijk/sled
the champagne of beta embedded databases
3401ijk/sqlancer
Detecting Logic Bugs in DBMS
3401ijk/succinct
Enabling queries on compressed data.
3401ijk/terarkdb
A RocksDB compatible KV storage engine with better performance
3401ijk/timely-dataflow
A modular implementation of timely dataflow in Rust
3401ijk/WRF
The official repository for the Weather Research and Forecasting (WRF) model
3401ijk/z3
The Z3 Theorem Prover
3401ijk/zstd
Zstandard - Fast real-time compression algorithm