acx0

acx0's Stars

• ArchiveBox/ArchiveBox

  🗃 Open source self-hosted web archiving. Takes URLs/browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more...

  Language:Python22.9k1749751.2k

• jdx/mise

  dev tools, env vars, task runner

  Language:Rust12.5k311.5k350

• 89luca89/distrobox

  Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available at: https://gitlab.com/89luca89/distrobox

  Language:Shell10.3k551.1k429

• real-logic/aeron

  Efficient reliable UDP unicast, UDP multicast, and IPC message transport

  Language:Java7.5k358795898

• maharmstone/btrfs

  WinBtrfs - an open-source btrfs driver for Windows

  Language:C6.1k139625231

• cjdelisle/cjdns

  An encrypted IPv6 network using public-key cryptography for address allocation and a distributed hash table for routing.

  Language:C5.2k2990589

• tokio-rs/console

  a debugger for async rust!

  Language:Rust3.7k29183145

• cozodb/cozo

  A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

  Language:Rust3.5k44151111

• jepsen-io/maelstrom

  A workbench for writing toy implementations of distributed systems.

  Language:Clojure3.1k2736190

• microsoft/retina

  eBPF distributed networking observability tool for Kubernetes

  Language:Go2.8k29223215

• asatarin/testing-distributed-systems

  Curated list of resources on testing distributed systems

  Language:HTML2.5k902227

• mbcrawfo/GenericMakefile

  A generic makefile for use with small/medium C and C++ projects.

  Language:Makefile1.7k7213317

• tlaplus/Examples

  A collection of TLA⁺ specifications of varying complexities.

  Language:TLA1.3k4641201

• StanfordSNR/gg

  The Stanford Builder

  Language:C++988323871

• kdave/btrfsmaintenance

  Scripts for btrfs maintenance tasks like periodic scrub, balance, trim or defrag on selected mountpoints or directories.

  Language:Shell952366579

• umbrae/reddit-top-2.5-million

  This is a dataset of the all-time top 1,000 posts, from the top 2,500 subreddits by subscribers, pulled from reddit between August 15–20, 2013.

  617735313

• lemmy/BlockingQueue

  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

  Language:TLA49112722

• CHIP-SPV/chipStar

  chipStar is a tool for compiling and running HIP/CUDA on SPIR-V via OpenCL or Level Zero APIs.

  Language:C++2321043834

• mchehab/rasdaemon

  Rasdaemon is a RAS (Reliability, Availability and Serviceability) logging tool. It records memory errors, using the EDAC tracing events. EDAC is a Linux kernel subsystem with handles detection of ECC errors from memory controllers for most chipsets on i386 and x86_64 architectures. EDAC drivers for other architectures like arm also exists.

  Language:C213146182

• milvus-io/knowhere

  Knowhere is an open-source vector search engine, integrating FAISS, HNSW, etc.

  Language:C++2081419984

• mit-pdos/perennial

  Verifying concurrent crash-safe systems

  Language:Coq167162437

• lvmteam/lvm2

  Mirror of upstream LVM2 repository

  Language:C1352114673

• SystemsApproach/tcpcc

  TCP Congestion Control -- Micro-book

  Language:Python121101618

• t3nsor/us-immigration-faq

  US immigration FAQ with a focus on the tech industry

  10813116

• mgehre/llvm-project

  The home of the clang-based implementation of lifetime safety warnings.

  Language:C++396874

• hotsphink/sfink-tools

  Steve Fink's random development tools

  Language:HTML14400

• mit-pdos/6.1600-notes

  Language:TeX4801

• tfreedman/SocialLink

  Language:HTML4200

• tfreedman/Hindsight

  The Entire History of You.

  Language:Ruby3200

• osandov/btrfs-fscrypt-dev

  Development scripts and notes for Btrfs fscrypt

  Language:Shell2200