Tất cả kho mã

Công cụ kiểm tra mô hình giới hạn C (C Bounded Model Checker)

Plugin bgm.tv cho jellyfin

Trang công bố địa chỉ mới nhất của Bthub

Trường đào tạo RL đa tác nhân có khả năng mở rộng cho xe tự lái.

Một bản triển khai thuần Rust của Bulletproofs sử dụng Ristretto.

Học DevOps từng bước

Trình biên dịch từ OCaml sang Javascript.

🗡️ Pokedex Compose minh họa quá trình phát triển Android hiện đại với Jetpack Compose, Hilt, Coroutines, Flow, Jetpack (Room, ViewModel) và Material Design dựa trên kiến trúc MVVM.

🚀 Lưu trữ nghiên cứu và tái hiện chuyên sâu các lỗ hổng 1Day từ năm 2024 đến nay. Bao gồm các lỗ hổng tài sản giá trị cao như OA, ERP, bảo mật, truyền thông dữ liệu, mô hình lớn và container, tập trung vào thực chiến để hỗ trợ nghiên cứu bảo mật và kiểm tra tuân thủ.

Thực thi WebGPU gốc. Bản sao của https://dawn.googlesource.com/dawn. Báo cáo lỗi tại: https://crbug.com/dawn/new

Sách nhập môn TypeScript 'Survival TypeScript'

Hệ thống tập trung để hiển thị và tạo kiểu cho các chỉ báo tiêu điểm ở bất kỳ đâu trên trang web

Chuyển đến bất kỳ định nghĩa và tham chiếu nào 👁 Trải nghiệm IDE đỉnh cao không có độ trễ 🚀

Thư viện mạng đa nền tảng với C++11

Phân tích định lượng cổ phiếu A mã nguồn mở (kết hợp với các mô hình llm để phân tích nâng cao)

Công cụ Machine Learning dành cho Hacker

Công cụ CLI giám sát thời gian hoạt động với tính năng cảnh báo và cài đặt nâng cao

Công cụ quản lý cấu hình lấy cảm hứng từ Chef, nhưng đơn giản và nhẹ hơn. Trước đây có tên là Lightchef.

Grafana Faro Web SDK, một phần của dự án Grafana Faro, là một SDK web có khả năng cấu hình cao dành cho giám sát người dùng thực (RUM), hỗ trợ ứng dụng frontend trình duyệt thu thập tín hiệu khả năng quan sát. Dữ liệu từ xa của frontend sau đó có thể được tương quan với dữ liệu backend và cơ sở hạ tầng để đạt được khả năng quan sát toàn diện (full-stack observability).

Browser4 — một công cụ trình duyệt gốc AI dành cho các tác nhân tự động, trích xuất thông minh và tự động hóa web quy mô lớn.

Trình duyệt đơn giản, không viền để chụp ảnh màn hình

World2Agent(W2A) là một giao thức mở chuẩn hóa cách các tác nhân AI nhận thức thế giới thực.

Hệ thống tự lập trình cho ứng dụng của bạn — Alan AI SDK cho Cordova

Ví dụ về dự án Kotlin multiplatform

Framework ứng dụng AI dành cho Javascript

Phát hiện các nút DOM mới bằng bộ chọn CSS (650 bytes)

Trình xem kho lưu trữ xuất Slack giúp bạn dễ dàng xem và chia sẻ bản xuất của nhóm Slack của mình

Bộ sưu tập API được cung cấp bởi các client tầng thực thi Ethereum

Nghiên cứu tài chính đầu tư bằng Python Notebooks

Bộ công cụ khởi đầu Emacs dành cho các nhà khoa học và kỹ sư.