Skip to content
View nuclearczy's full-sized avatar

Block or report nuclearczy

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 250 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Lean 4 programming language and theorem prover

Lean 6,445 668 Updated Sep 23, 2025

JPEG XL image format reference implementation

C++ 3,127 313 Updated Sep 23, 2025

Build and share delightful machine learning apps, all in Python. 🌟 Star to support our work!

Python 39,985 3,071 Updated Sep 23, 2025

Streamlit — A faster way to build and share data apps.

Python 41,493 3,738 Updated Sep 23, 2025

The math library of Lean 4

Lean 2,365 793 Updated Sep 23, 2025

12 Weeks, 24 Lessons, AI for All!

Jupyter Notebook 42,061 8,147 Updated Sep 23, 2025

Milvus is a high-performance, cloud-native vector database built for scalable vector ANN search

Go 37,588 3,437 Updated Sep 23, 2025

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Python 33,514 3,176 Updated Sep 23, 2025

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust 66,171 5,356 Updated Sep 23, 2025

LLM inference in C/C++

C++ 86,818 13,116 Updated Sep 23, 2025

iTerm2 is a terminal emulator for Mac OS X that does amazing things.

Objective-C 16,353 1,240 Updated Sep 23, 2025

Read-only mirror of Wireshark's Git repository at https://gitlab.com/wireshark/wireshark. ⚠️ GitHub won't let us disable pull requests. ⚠️ THEY WILL BE IGNORED HERE ⚠️ Upload them at GitLab instead.

C 8,484 2,036 Updated Sep 23, 2025

High-performance runtime for multi-agent systems. Build, run and manage secure multi-agent systems in your cloud.

Python 33,767 4,303 Updated Sep 23, 2025

Next generation frontend tooling. It's fast!

TypeScript 75,421 7,244 Updated Sep 23, 2025

The Prometheus monitoring system and time series database.

Go 60,491 9,802 Updated Sep 23, 2025

The largest collection of PyTorch image encoders / backbones. Including train, eval, inference, export scripts, and pretrained weights -- ResNet, ResNeXT, EfficientNet, NFNet, Vision Transformer (V…

Python 35,325 5,017 Updated Sep 23, 2025

Invoke is a leading creative engine for Stable Diffusion models, empowering professionals, artists, and enthusiasts to generate and create visual media using the latest AI-driven technologies. The …

TypeScript 25,901 2,666 Updated Sep 23, 2025

Open deep learning compiler stack for cpu, gpu and specialized accelerators

Python 12,650 3,660 Updated Sep 23, 2025

Apache Arrow is the universal columnar format and multi-language toolbox for fast data interchange and in-memory analytics

C++ 15,990 3,862 Updated Sep 23, 2025

A conformant OpenGL ES implementation for Windows, Mac, Linux, iOS and Android.

C++ 3,808 680 Updated Sep 23, 2025

Main libjpeg-turbo repository

C 4,050 1,085 Updated Sep 23, 2025

Official mirror of Blender

C++ 16,254 2,504 Updated Sep 23, 2025

WinMerge is an Open Source differencing and merging tool for Windows. WinMerge can compare both folders and files, presenting differences in a visual text format that is easy to understand and handle.

C++ 7,939 894 Updated Sep 23, 2025

An open-source C++ library developed and used at Facebook.

C++ 29,874 5,779 Updated Sep 23, 2025

:electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS

C++ 118,397 16,426 Updated Sep 23, 2025

ncnn is a high-performance neural network inference framework optimized for the mobile platform

C++ 22,082 4,320 Updated Sep 23, 2025

A repository of models, textual inversions, and more

TypeScript 6,834 685 Updated Sep 23, 2025

ArXiv Paper Collector for cs.CV

Python 162 12 Updated Sep 23, 2025

High-efficiency floating-point neural network inference operators for mobile, server, and Web

C 2,117 440 Updated Sep 23, 2025

MNN is a blazing fast, lightweight deep learning framework, battle-tested by business-critical use cases in Alibaba. Full multimodal LLM Android App:[MNN-LLM-Android](./apps/Android/MnnLlmChat/READ…

C++ 13,114 2,063 Updated Sep 23, 2025
Next