Trending Projects

A minimalist Minecraft server for memory-restrictive embedded systems

Lean 4 math library for Lean 4

Free V2Ray configurations for bypassing internet censorship with protocols like Shadowsocks, Trojan, and VLESS

A comprehensive list of music resources for music lovers to discover new music.

Real-time repository to build Revanced and Revanced Extended non-root Android apps

Flow Control is a text editor with a focus on developer productivity, leveraging Zig and the language server protocol.

verl-agent is a Python framework for training LLM/VLM agents using reinforcement learning.

A reinforcement learning-based approach to scale training of variational autoencoders (VLAs) used in AI tools.

A robotics simulation platform for training generalist robots on everyday tasks.

A Compose-based multi-source light novel reader with features like epub export, custom backgrounds, and update notifications.

A TypeScript library for profiling and audiolizing React component performance.

Swiss Army knife for developers with 30+ tools for common tasks.

Python wrapper for Telegram Bot API

Curated list of resources for college students in programming and tech

Static type checker for Python

A Next.js SaaS starter kit with Postgres, Stripe, and a UI library for quick app development.

Docker-based solution for running Android emulators with noVNC and video recording support for mobile app testing.

JuiceFS is a distributed POSIX file system built on top of Redis and S3 for big data and cloud-native applications.

Borg is a deduplicating archiver with compression and authenticated encryption, suitable for backup purposes.

An open-source framework for change data capture from various databases using Apache Kafka.

The Z3 Theorem Prover is a powerful open-source SMT solver used for program verification and analysis.

A collection of resources for beginner bug bounty hunters

A command-line productivity tool powered by AI large language models like GPT-4.

The OWASP Web Security Testing Guide is a comprehensive open-source guide for security testing of web applications and services.

Curated list of chatgpt prompts from top-rated GPTs in the GPTs Store

Pydoll is a Python library for automating chromium-based browsers without a WebDriver, offering realistic interactions.

Lidarr is a music collection manager for Usenet and BitTorrent users, with features similar to those found in Sonarr.

Chronos is a pretrained model for time series forecasting, leveraging large language models and transformers.

A template for creating academic project pages, featuring a clean and minimalist design.

A fork of EhViewer with Material Design 3 and Kotlin, a developer-focused app for Android.

A zero-dependency, TypeScript-based docking layout manager for building flexible, drag-and-drop user interfaces.

OpenDeepWiki is an open-source knowledge management and collaboration platform for developers working with AI tools.

This repository provides configurations and color schemes for the Shadowrocket proxy app, primarily for vibe coders.

A Python proxy for accessing the OpenAI API, allowing developers to use the Claude language model without direct access to the OpenAI API.

HolmesGPT is an AI agent that helps SREs and DevOps teams solve incidents faster with automatic correlations, investigations, and more.

A collection of Agent Skills for seamless collaboration with AI models and tools

A Python-based communication platform for AI coding agents to coordinate and collaborate with each other.

Go implementation of Ethereum protocol

Event-driven orchestration platform for workflows with UI and YAML

Curated list of public APIs from around the web

Monospace font for coding with ligatures and multiple styles

High-quality SVG icon library for web projects with 6000+ icons

FlameGraph: Stack trace visualizer for developers

Atmosphère is a customized firmware for the Nintendo Switch, not a developer platform for AI tools.

Bring portraits to life with this Python library for face animation and video generation.

UPX is a powerful open-source executable packer that can reduce the size of executable files.

Rust-analyzer is a Rust compiler front-end that provides IDE-level features and language support.

ZAP is an open-source web application security scanner that helps developers identify and fix security vulnerabilities.

Tamagui is a React fast style library with parity on React Native and Web, providing an optional UI kit for optimizing compiler.

A repository of LIVE malwares for analysis and research purposes.