Trending Projects

Kani is a Rust-based model checker that helps developers verify the correctness of their Rust programs.

OpenTelemetry Collector distribution with programmable pipelines

A curated list of open-source games with source code available on GitHub.

This appears to be a general-purpose C library or project, not specifically focused on AI coding tools or developer platforms.

Learn Bash shell scripting with Warp for beginners

LeetCode for PyTorch, a Jupyter Notebook-based coding practice platform for AI/ML developers.

This is a repository for Linus Torvalds to learn about analog circuits and build guitar pedals, not a developer discovery platform.

A powerful and easy-to-use video face swapping and editing software built with Python.

Dime is a beautiful expense tracker built with iOS design guidelines in mind.

A Python-based desktop AI assistant that integrates with various LLMs and AI tools for coding, task automation, and more.

A modern TypeScript library for parsing, modifying, and generating PDF documents with a clean API.

A collection of AI-generated tools and utilities for developers, focused on productivity and efficiency.

This GitHub repository appears to be a developer discovery platform focused on vibe coders who build with AI tools.

ClatScope is a powerful OSINT tool for investigators, penetration testers, and researchers to retrieve geolocation, DNS, WHOIS, phone, email, and data breach information.

An open-source programming font with support for advanced OpenType features and ligatures for 'vibe coders'.

A small, lightweight tensor library in C for developers working on AI/ML projects.

A fast, customizable Markdown parser and renderer with full CommonMark support, written in TypeScript.

Docling is an API service for running Docling, a platform for building AI-powered applications.

Sucrose is a wallpaper engine that brings dynamic and interactive wallpapers to your desktop.

An open standard for connecting AI agents, buyers, and businesses to enable seamless purchases.

Config Plugin to setup Apple targets for Expo projects

Personal finance app for self-hosting and development

Modern HTTP benchmarking tool for generating significant load on servers

Embeddable, persistent key-value store for fast storage with LSM design

Bypasses Deep Packet Inspection to circumvent internet censorship

Jenkins is a leading open-source automation server for CI/CD and DevOps workflows.

Generates neural network diagrams in LaTeX for reports and presentations

A simple and powerful tool for automating the release process of Go projects.

This repository teaches Domain-Driven Design, software architecture, and best practices with TypeScript examples.

Open-source code for AlphaFold 2, a powerful AI system for predicting protein structures.

A comprehensive collection of links for free stock photography, videos, and illustrations for developers.

A private messenger for iOS, not focused on AI coding tools.

Terminal bandwidth utilization tool for monitoring and analyzing network traffic.

A collaboration-friendly studio for building NeRF-based 3D reconstructions using PyTorch and other ML tools.

Open-source self-hosted live streaming server with chat, built using the Go programming language.

A lightweight, embeddable JavaScript engine written in C for various applications.

A Docker and Kubernetes networking troubleshooting tool for developers who need to debug network issues.

A server supporting the Signal Private Messenger applications on Android, Desktop, and iOS.

A modular SQL linter and auto-formatter with support for multiple dialects and templated code.

git-crypt is a tool that enables transparent encryption of files in a Git repository, allowing for secure sharing of sensitive data.

A powerful relational ORM for Rust, enabling efficient database interactions in Rust applications.

A modern desktop RSS reader built with Electron, React, and Fluent UI

RSS-Bridge is an open-source RSS feed generator for websites missing it, supporting multiple feed formats.

A specification for standardizing commit messages to enable better tooling around git repositories.

A Python tool for extracting hard-coded subtitles from videos and generating SRT files using deep learning-based OCR.

A collection of software installation scripts for setting up a reverse engineering environment on a Windows VM.

An open-source and free self-hosted SSL certificates automation tool for developers.

Open-source UI component library optimized for fast development, easy maintenance, and accessibility.

Declarative schema migrations with schema-as-code workflows for developers using Go.

A C++ application to export and backup WeChat chat history and data.