#Established

FStarLang

FStar

★ 3,144

A Proof-oriented Programming Language. [fstar-mode.el]: Emacs mode for F* [fstar-vscode-assistant]: VS Code plugin for F* More details on [editor support] are available on the [F\* wiki].

envoyproxy

gateway

★ 3,144

Manages Envoy Proxy as a Standalone or Kubernetes-based Application Gateway.

apache

cloudstack

★ 3,134

Apache CloudStack is an opensource Infrastructure as a Service (IaaS) cloud computing platform.

SciSharp

BotSharp

★ 3,117

Project brief: AI Multi-Agent Framework in .NET. Out-of-the-box machine learning algorithms allow ordinary programmers to develop artificial intelligence applications faster and easier.

petergoldstein

dalli

★ 3,112

High performance memcached client for Ruby. Valid examples: :, /, |, ., -, _, # Security Note By default, Dalli uses Ruby's Marshal for serialization.

0xsline

OpenChatCut

★ 3,103

Open-source, local-first conversational AI video editor with a professional multi-track timeline, Agent Skills, MCP integration, and Remotion rendering.

sveltia

sveltia-cms

★ 3,090

Project brief: Leading Git-based headless CMS. Successor to Netlify/Decap CMS. Modern UX, first-class i18n support, mobile support + 100s of improvements. Framework-agnostic, open source & free.

GoogleCloudPlatform

professional-services

★ 3,089

Common solutions and tools developed by Google Cloud's Professional Services team. This repository and its contents are not an officially supported Google product.

google

osv.dev

★ 3,060

Project brief: Open source vulnerability DB and triage service. Using the scanner We provide a Go based tool that will scan your dependencies, and check them against the OSV database for known vulnerabilities via the OSV API.

tox-dev

pipdeptree

★ 3,035

A command line utility to display dependency tree of the installed Python packages.

acepanel

panel

★ 3,034

Project brief: AcePanel - Enterprise server operation and maintenance management panel.

nicknisi

dotfiles

★ 3,004

vim, zsh, git, homebrew, neovim - my whole world

zcaceres

markdownify-mcp

★ 3,004

A Model Context Protocol server for converting almost anything to Markdown.

ModelTC

LightX2V

★ 3,004

Project brief: Lightweight Image Video Action Generation Inference Framework. February 27, 2026: We now support FP8 and NVFP4 quantization for autoregressive video generation models (Self Forcing)!

tscircuit

tscircuit

★ 2,995

Project brief: Create real electronics with Typescript and React. Think of tscircuit as "React for Electronics" It allows you to design real-world electronic circuits using Typescript and React.

chrisryugj

kordoc

★ 2,991

, HWP HWPX PDF Office Markdown . CLI MCP | Convert Korean documents (HWP, HWPX, PDF, Office) to Markdown, CLI and MCP server with form filling and diff.

lnreader

lnreader

★ 2,985

Light novel reader for Android. LNReader LNReader is a free and open source light novel reader for Android, inspired by Tachiyomi.

betterleaks

betterleaks

★ 2,978

Scan the world (for secrets). | New Sources | Support for sources like GitHub, GitLab, Hugging Face, S3, and more.

snapotter-hq

SnapOtter

★ 2,976

Project brief: Open-source, self-hosted file-processing tool. Convert, compress, OCR, transcribe & run local AI across image, video, audio, PDF & documents, via UI, REST API & pipelines. Your files never leave your network.

Taiko2k

Tauon

★ 2,965

The music player of today! :citysunrise: